এই প্রশ্নের উত্তর দেওয়ার জন্য আমাদের যে কোনও অনুমতি দেওয়া দরকার । সুতরাং আসুন ভাবুন যে এল 2 একটি খুব জটিল ভাষা (বলুন, কিছু অনির্বাচিত ভাষা))এল2এল2
সহজ প্রশ্ন থেকে শুরু করা যাক: (প্রশ্নের অংশ 2) নিন এল 2 undecidable হবে, এবং এল = { ε } । কি ঘটেছে?একজনঠ( এল )এল2এল = { ε }
(নৈতিক: সর্বদা "চূড়ান্ততা" পরীক্ষা করুন: খালি , এল = { ε } এবং এল = Σ ∗ ...)এলএল = { ε }L=Σ∗
এখন জন্য । এটি একটি দুর্দান্ত প্রশ্ন (সাধারণত ফাইনাল / হোমওয়ার্কগুলিতে বোনাস প্রশ্ন)। প্রকৃতপক্ষে, নিয়মিত ভাষাগুলি যে কোনও ভাষার L 2 এর জন্য এ আর এর অধীনে বন্ধ রয়েছে । এমনকি undecidable এল 2 । ঠিক আছে তো?ArArL2L2
সুতরাং আমরা কীভাবে জন্য একটি অটোমেটন তৈরি করতে পারি যদি এল 2 গ্রহণ না করে এমন কোনও মেশিন না থাকে ?Ar(L)L2
এখানে "বিমূর্ত চিন্তা", অর্থাত, জাদু আসে অস্তিত্ববাদের প্রমাণ । কেউ আমাদের দেয় তাহলে আমরা এই তথ্য ব্যবহার দেখানোর জন্য যে পারেন বিদ্যমান কিছু যন্ত্রমানব সমাধানের জন্য একজন ( এল ) । এখন বিস্তারিত।L2A(L)
আমরা এর অটোমেটন থেকে শুরু করি (কলটি ডি এফ এ এল )। ধরে নিন যে এক্স প্রসেসিংয়ের পরে আমরা একটি রাজ্য Q এ শেষ করব । আমরা যদি অস্তিত্ব আছে স্বীকার করতে Y ∈ এল 2 যেমন যে যদি আমরা থেকে অবিরত কুই প্রক্রিয়াকরণ Y আমরা একটি চূড়ান্ত অবস্থায় শেষ হবে ডি এফ একজন এল । কোন যন্ত্র যা আমাদের বলতে পারেন যদি Y হয় এল 2 , কিন্তু আমরা করতে পারেন কুই একটি চূড়ান্ত রাষ্ট্র ডি এফ একজন একজন এলLDFALxqy∈L2qyDFALyL2qDFAALউপরের শর্তটি যদি ধরে রাখে, অর্থাত্ যদি কিছু থাকে তবে আমরা যদি q থেকে শুরু করি এবং y প্রসেস করি তবে আমরা D F A L এর একটি চূড়ান্ত অবস্থায় শেষ করব ।y∈L2qyDFAL
তাই build এ আমরা রাজ্যের প্রতিটি পরীক্ষা ডি এফ একজন এল এবং প্রতিটি রাষ্ট্র করতে কুই একটি গ্রহণ রাষ্ট্র যদি আমরা কিছু সময় লাগতে পারে Y ∈ এল 2 এবং এই Y থেকে আমাদের নেতৃত্ব দেবেন কুই একজন গ্রহণ অবস্থায় ডি এফ এ এল ।DFAALDFALqy∈L2yqDFAL
তাই ঠিক আছে, অসীম, এবং আমরা সব শব্দকেই লিস্টে কোন কম্পিউটার থাকতে পারে এল 2 , কিন্তু এই সব না ব্যাপার ... উপরে যন্ত্রমানব ভালভাবে সংজ্ঞায়িত করা হয় না, এমনকি যদি আমি এটা আঁকতে পারছিনা আপনাকে রাষ্ট্র দ্বারা রাষ্ট্র। ম্যাজিক।L2L2