বুচি-এলগট-ট্রাখটেনব্রোট উপপাদ্য

আনুষ্ঠানিক ভাষা তত্ত্বে, বুচি-এলগট-ত্রাখতেনব্রট উপপাদ্য বলে যে, একটি ভাষা নিয়মিত হয় যদি এবং কেবল যদি এটি মনাডিক দ্বিতীয়-ক্রম যুক্তিতে সংজ্ঞায়িত করা যায় (এম. এস. ও. MSO): প্রতিটি এম. এস. ও. সূত্রের জন্য, আমরা একই ভাষা সংজ্ঞায়িত করে একটি ফাইনিট-স্ট্যাট অটোমেশন খুঁজে পেতে পারি, এবং প্রতিটি ফাইনিট-স্ট্যাট অটোমেশনের জন্য, আমরা একটি এম. এস. ও. সূত্র খুঁজে পেতে পারি যা একই ভাষাকে সংজ্ঞায়িত করে। এই উপপাদ্যটি জুলিয়াস রিচার্ড বুচি, ক্যালভিন এলগট, এবং বরিস ট্র্যাখটেনব্রট দ্বারা উপস্থাপিত হয়েছিল।

তথ্যসূত্র

বিষয়শ্রেণী:রৌপ ভাষা
বিষয়শ্রেণী:গাণিতিক যুক্তিবিজ্ঞান