متن زیر چه موضوعی را مورد بحث قرار داده است؟

متن: در یک ماشین حالت متناهی معمولی، انتقال در ارتباط با مجموعه‌ای از شرایط بولی به عنوان ورودی و مجموعه‌ای از توابع بولی به عنوان خروجی است. در یک مدل ماشین حالت متناهی محدود (efsm)، انتقال می‌تواند با یک «عبارت اگر» که شامل مجموعه‌ای از شرایط محرک است، بیان شود. اگر همه شرایط محرک، ارضا شوند، انتقال خاتمه می‌یابد و ماشین را از حالت جاری به حالت بعدی می‌برد و عملیات داده‌ای خاص را اجرا می‌کند. 
موضوع:
ماشین حالت متناهی گسترش یافته