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

متن: در نظریه محاسبه، یک ماشین حالت متناهی غیر قطعی تعمیم‌یافته (gnfa)، که همچنین به عنوان ماشین بیان یا ماشین حالت متناهی غیر قطعی تعمیم‌یافته شناخته می‌شود، تغییری از nfa است، که در آن هر انتقال با هر عبارت منظم برچسب گذاری شده است. gnfa بلوک نمادهایی از ورودی را که از رشته‌ای که به عنوان عبارت منظم در انتقال تعریف‌شده است، می‌خواند. تفاوت‌های زیادی بین یک ماشین حالت متناهی استاندارد و یک ماشین حالت متناهی غیر قطعی تعمیم‌یافته وجود دارد. gnfa فقط باید یک وضعیت شروع و یک وضعیت پذیرش داشته باشد، و اینها نمی‌توانند وضعیت‌های یکسانی باشند. در حالیکه یک nfa یا dfa اجازه انتقال‌های زیادی بین وضعیت‌ها را می‌دهد. 
موضوع:
ماشین متناهی غیر قطعی تعمیم یافته