আমরা টুরিং মেশিনের টেপ সামগ্রীকে সেনটেনশনাল ফর্মগুলিতে এনকোড করেছি; অ-টার্মিনালগুলির একটি বিশেষ সেট বর্তমান অবস্থাকে এনকোড করে। সময়ে যে কোনও সময়ে সেনটেনশিয়াল ফর্মে কেবল তাদের মধ্যে একটিই থাকতে পারে, টিএম বর্তমানে যে চিহ্নটি দেখিয়েছে তার ডানদিকে স্থাপন করা হয়েছে।
দ্বিতীয় গুরুত্বপূর্ণ ধারণাটি হ'ল আমাদের প্রক্রিয়াটি বিপরীত করতে হবে: টিএমএস শব্দটিকে ইনপুট হিসাবে গ্রহণ করে এটিকে বা রূপান্তরিত করে , বা তারা শেষ করে না। ব্যাকরণ অবশ্য শব্দটি তৈরি করতে হবে। ভাগ্যক্রমে, ব্যাকরণগুলি সহজাতভাবে অ-সংজ্ঞাবাদী, তাই আমরা কেবল "অনুমান" করতে পারি যে গ্রহণকারী কোথা থেকে এসেছে; সমস্ত শব্দ যা টিএমকে স্বীকার করে নিয়েছে সেগুলি তখন তৈরি করা যেতে পারে।0 1101
আসুন সেট; wlog কে স্টার্টিং-স্টেট-ননটার্মিনাল এবং F গ্রহণযোগ্য-রাজ্য-নন-টার্মিনালগুলির সেট করুন। প্রথমত, আমাদের এমন সমস্ত নিয়ম শুরু করা দরকার যা সমস্ত সম্ভাব্য গ্রহণযোগ্য কনফিগারেশন তৈরি করে:Q 0 Q F ⊆ Qপ্রশ্ন ={ প্রশ্ন0, … , প্রশ্নট}প্রশ্নঃ0প্রশ্নঃএফ⊆ প্রশ্ন
এস→ # 1 প্রশ্নচ# সমস্ত for এর জন্য ।প্রশ্নঃচ∈ প্রশ্নএফ
একইভাবে, আমরা প্রথম অবস্থানে যথা প্রথম অবস্থানে সঠিক অবস্থানে প্রথম অবস্থানে "পৌঁছনাম" যখন শেষ করি:
# একটি প্রশ্ন0→ # ক সমস্ত for এর ।a ∈ Σ
আসল রাষ্ট্রের রূপান্তরগুলি অনুবাদ করা সরাসরি-এগিয়ে:
aQaQbabQ→cQ′ for a,c∈Σ∧(a,Q,N)∈δ(c,Q′)→acQ′ for a,b,c∈Σ∧(b,Q,L)∈δ(c,Q′)→cQ′b for a,b,c∈Σ∧(a,Q,R)∈δ(c,Q′)
আয়রন করার জন্য কিছু প্রযুক্তিগত কিঙ্কস রয়েছে; উদাহরণস্বরূপ, আপনাকে সীমানা চিহ্নিতকারীগুলি থেকে মুক্তি দিতে হবে শেষে। এটি শেষ হওয়ার পরিবর্তে দুটি বিশেষ ননটারমিনাল তৈরি করে, শেষগুলিগুলিকে অদলবদল করে এবং তারপরে মুছে ফেলার মাধ্যমে এটি করা যেতে পারে। তদুপরি, চাহিদা অনুসারে আরও তৈরি করতে হবে; এর জন্য দিয়ে কিছু হ্যাকিংয়ের প্রয়োজন ।# # ডি = ####d=#
এছাড়াও, টিএম যদি নন-ইনপুট চিহ্ন ব্যবহার করে তবে নির্মাণটি আরও জটিল হয়ে উঠবে। সেক্ষেত্রে সমাপ্তির বিধিগুলি ভুল হতে পারে: টেপের কোথাও যদি কোনও ইনপুট চিহ্ন না থাকে, আমরা সঠিক শব্দটি তৈরি করি নি। এটি অপসারণের জন্য একইভাবে স্থির করা যেতে পারে : থেকে একটি বিশেষ অ-টার্মিনাল যা ডানদিকে অদলবদল করা হয় এবং কেবলমাত্র সমস্ত চিহ্নগুলি থেকে থাকলে তা সরানো হয় ।প্রশ্ন 0 Σ#Q0Σ