2
সসীম অটোমেটার পরিবর্তিত সংস্করণগুলি দ্বারা গৃহীত ভাষাগুলি
ডিটারমিনিস্টিক সসীম অটোমেটন (ডিএফএ) একটি স্টেট মেশিন মডেল যা সমস্ত এবং শুধুমাত্র নিয়মিত ভাষা গ্রহণ করতে সক্ষম। ডিএফএগুলি এমনভাবে সংজ্ঞায়িত করা যেতে পারে (এবং সাধারণত এটি হয়) যে প্রতিটি রাজ্যকে অবশ্যই ইনপুট বর্ণমালার সমস্ত উপাদানগুলির জন্য কিছু সংক্রমণ সরবরাহ করতে হবে; অন্য কথায়, ট্রানজিশন ফাংশন একটি (মোট) ফাংশন হওয়া উচিত।δ:Q×Σ→Qδ:Q×Σ→Q\delta …