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

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