ডিটারমিনিস্টিক সসীম অটোমেটন (ডিএফএ) একটি স্টেট মেশিন মডেল যা সমস্ত এবং শুধুমাত্র নিয়মিত ভাষা গ্রহণ করতে সক্ষম। ডিএফএগুলি এমনভাবে সংজ্ঞায়িত করা যেতে পারে (এবং সাধারণত এটি হয়) যে প্রতিটি রাজ্যকে অবশ্যই ইনপুট বর্ণমালার সমস্ত উপাদানগুলির জন্য কিছু সংক্রমণ সরবরাহ করতে হবে; অন্য কথায়, ট্রানজিশন ফাংশন একটি (মোট) ফাংশন হওয়া উচিত।
কল্পনা করুন আমরা কী দ্বিগুণ ডিটারমিনিস্টিক সসীম অটোমেটন (ডিডিএফএ) বলব। এটি একটি ডিএফএর সাথে একইভাবে সংজ্ঞায়িত হয়েছে, দুটি ব্যতিক্রম ব্যতীত: প্রথমত, প্রতিটি সম্ভাব্য ইনপুট প্রতীকের জন্য এক রাজ্য থেকে অন্য রাজ্যে যাওয়ার পরিবর্তনের পরিবর্তে, এটি অবশ্যই দুটি স্বতন্ত্র অবস্থানে নিয়ে যেতে পারে; দ্বিতীয়ত, একটি স্ট্রিং গ্রহণ করতে, সমস্ত সম্ভাব্য পাথকে নিম্নলিখিত শর্তগুলির মধ্যে একটি বা অন্যটি সন্তুষ্ট করতে হবে:
- ডিডিএফএর মাধ্যমে সমস্ত সম্ভাব্য পথগুলি একটি গ্রহণযোগ্য রাষ্ট্রের দিকে নিয়ে যায় (আমরা এটিকে একটি টাইপ -১ ডিডিএফ কল করব)।
- ডিডিএফএর মাধ্যমে সমস্ত সম্ভাব্য পথগুলি একই গ্রহণযোগ্য রাষ্ট্রের দিকে নিয়ে যায় (আমরা এটিকে একটি টাইপ -2 ডিডিএফএ বলব)।
এখন আমার প্রশ্নের জন্য:
টাইপ -1 এবং টাইপ -2 ডিডিএফএগুলি কোন ভাষা গ্রহণ করে? বিশেষত, এটি কি , এল (ডিডিএফএ) = এল (ডিএফএ) , বা এল (ডিডিএফএ) \ সাবসেটেক এল (ডিএফএ) ? যদি যে এল (DDFA) \ neq এল (DFA তে) , সেখানে একজন সহজ বিবরণ এল (DDFA) ?
প্রুফগুলি (বা কমপক্ষে মাঝারিভাবে মাংসে আউট স্কেচগুলি) প্রশংসা করা হয়, যদি তারা খুব জটিল না হয়।