কীভাবে একটি প্রাসঙ্গিক মুক্ত ভাষাটিকে দ্ব্যর্থহীন সিদ্ধান্তহীন বলে প্রমাণিত করা হচ্ছে?

Question

আমি কোথাও পড়েছি যে একটি টিউরিং মেশিন এটি গণনা করতে পারে না এবং তাই এটি অনস্বীকার্য তবে কেন? কেন কোনও যন্ত্রের জন্য পার্স গাছের উত্পন্ন এবং সিদ্ধান্ত নেওয়া কম্পিউটারের পক্ষে অসম্ভব? সম্ভবত আমি ভুল এবং এটি করা যেতে পারে?

Comments

হ্যাঁ আপনি ঠিক বলেছেন, একটি টিউরিং মেশিন প্রসঙ্গ-মুক্ত ভাষা অস্পষ্ট কিনা তা সিদ্ধান্ত নিতে পারে না, এবং এটি পোস্টের চিঠিপত্রের সমস্যা থেকে হ্রাস করা যেতে পারে , এটি অনস্বীকার্য। নোট করুন যে একটি পার্স গাছটি অসীম আকারে বড় হতে পারে এবং আমরা কখন গণনা বন্ধ করব তা আমরা সিদ্ধান্ত নিতে পারি না।

— হিসিয়েন-চিহ চাং 之

হিসিয়েন-চিহ, আপনি কি ভাষায় শব্দের জন্য "পার্স গাছ" উল্লেখ করছেন (অর্থাত ব্যর্থ পার্সস), বা আপনি কী বলছেন যে পার্স-গাছগুলি নির্বিচারে বড় হতে পারে ?

— রাফেল

Answer 1

আমরা পোস্টের চিঠিপত্রের সমস্যা থেকে হ্রাস করি । ধরুন আমরা, আসলে, ভাষা সিদ্ধান্ত নিতে পারেন ।$\{\langle G\rangle\vert G\textrm{ a CFG and }L(G)\textrm{ ambiguous}\}$

প্রদত্ত : নীচের সিএফজি : , (যেখানে নতুন অক্ষর যুক্ত হয়েছে, যেমন নতুন অক্ষর যুক্ত হয়েছে )। জি = ( ভ , Σ , আর , এস ) ভি = { এস , এস 1 , এস 2 } আর = { এস → এস 1 | এস 2 , এস 1 → α 1 এস 1 σ 1 | ⋯ | $\alpha_1, \ldots, \alpha_m, \beta_1, \ldots, \beta_m$$G = (V,\Sigma,R,S)$$V = \{S, S_1, S_2\}$$R = \{S\rightarrow S_1\vert S_2, S_1\rightarrow \alpha_1 S_1 \sigma_1 \vert \cdots \vert \alpha_m S_1 \sigma_m \vert \alpha_1 \sigma_1 \vert \cdots \vert \alpha_m \sigma_m, S_2\rightarrow \beta_1 S_2 \sigma_1\vert \cdots \vert \beta_m S_2 \sigma_m \vert \beta_1 \sigma_1\vert \cdots \vert \beta_m \sigma_m\}$$\sigma_i$$\sigma_i = \underline{i}$

ভাষাটি যদি অস্পষ্ট হয় তবে দুটি স্ট্রিংয়ের দুটি ভিন্ন উপায়ে হয়। ধরা যাক, ব্লগ, যে বিবর্তনগুলি উভয়ই নিয়ম রাইটেরো এস_1 দিয়ে শুরু হয় , নতুন অক্ষরগুলি শেষ না হওয়া পর্যন্ত পড়া শেষ না হওয়া অবধি নিশ্চিত করে তোলে যে কেবলমাত্র একটি বিকাশ হতে পারে, তাই এটি সম্ভব নয়। সুতরাং, আমরা দেখতে পাচ্ছি যে একমাত্র অস্পষ্টতা একটি এবং একটি 'সূচনা' থেকে আসতে পারে । কিন্তু তারপর, এর সাবস্ট্রিং গ্রহণ নতুন অক্ষর প্রারম্ভে পর্যন্ত, আমরা পিসিপি (যেহেতু তাদের পয়েন্ট পরে ব্যবহার সূচকের স্ট্রিং মেলে) একটি সমাধান আছে।$w$$S\rightarrow S_1$$S_1$$S_2$$w$

একইভাবে, যদি কোন অস্পষ্টতা হয়, তাহলে পিসিপি, যে শুধু অনুসরণ করে সমাধান করা যায় না যেহেতু একটি সমাধান একটি দ্ব্যর্থতা সূচিত করা হবে এবং , যেখানে হ'ল এবং ( matching match 'র ম্যাচ থেকে) মিলনের স্ট্রিং ।$S\Rightarrow S_1\Rightarrow^* \alpha\tilde{\sigma}$$S\Rightarrow S_2\Rightarrow^* \beta\tilde{\sigma}$$\alpha = \beta$$\alpha$$\beta$$\tilde{\sigma}$

অতএব, আমরা পিসিপিতে হ্রাস পেয়েছি এবং যেহেতু এটি অনস্বীকার্য, আমরা শেষ করেছি।

(আমি যদি অস্থির মাথায় কিছু করে ফেলেছি তবে আমাকে জানান!)

Comments

ভালো \ textrm চেষ্টা করুন,: $\{\langle G\rangle \mid G \textrm{ a CFG and } L(G) \textrm{ ambiguous}\}$

— শিয়েন-Chih চ্যাং張顯之