নিয়মিত এবং প্রসঙ্গমুক্ত ভাষায় দ্ব্যর্থহীনতা

Question

আমি নীচের দাবিগুলি সত্য বলে বুঝতে পেরেছি:

1. প্রদত্ত সিএফজিতে একটি স্ট্রিংয়ের দুটি স্বতন্ত্র ডারাইভেশন কখনও কখনও একই প্যারাস গাছটিকে স্ট্রিংকে দায়ী করতে পারে।
2. যখন কোনও প্রদত্ত সিএফজিতে কিছু স্ট্রিংয়ের বিকাশ ঘটে যা বিভিন্ন পার্স গাছের বৈশিষ্ট্য দেয়, তখন সিএফজি দ্বিধাগ্রস্ত হয়।
3. দ্ব্যর্থহীন সিএফজির দ্বারা উত্পন্ন কয়েকটি প্রসঙ্গ-মুক্ত ভাষাও দ্ব্যর্থহীন সিএফজি দ্বারা উত্পাদিত হয়।
4. কিছু ভাষা এমন যে কেবলমাত্র সিএফজি সেগুলি উত্পন্ন করতে পারে (এবং এমন কিছু রয়েছে) অস্পষ্ট।

চতুর্থাংশ 1। উপরের পয়েন্ট 3 এর অর্থে একটি স্বেচ্ছাসেবী সিএফজি দ্বিধাহীন কিনা তা আমি অনস্বীকার্যও বোধ করি। বা এটি বরং অনিন্দ্য যে প্রসঙ্গ-মুক্ত ভাষা অস্পষ্ট, পয়েন্ট 4 এর অর্থে? না উভয়ই অনির্বচনীয়?

Q2 এর। "নিয়মিত" সাথে "প্রসঙ্গ-মুক্ত" প্রতিস্থাপন করা হলে 1-4 এর কোন পয়েন্টটি মিথ্যা হয়ে যায়? নিয়মিত ব্যাকরণ এবং ভাষাগুলি কি সবসময় দ্ব্যর্থহীন?

Comments

৪ নং পয়েন্টে আপনি যে ভাষাগুলির উল্লেখ করেছেন সেগুলি হ'ল "সহজাতভাবে দ্বিধা"। কিউ 1 এর জন্য, আমি মনে করি যে গ্র্যামার অস্পষ্ট কিনা তা অনস্বীকার্য। সুতরাং 3 এবং 4 উভয়ই অনস্বীকার্য।

— লামিন

ডান, পয়েন্ট 4 টি ভাষাকে "সহজাত অস্পষ্ট" বলা হয়।

— dubiousjim

প্রশ্ন 1: উভয়ই অনস্বীকার্য। Q2: 1 সম্ভব নয়, কারণ এখানে কোনও সংক্ষিপ্ত আকারে সর্বাধিক একটি অ টার্মিনাল উপস্থিত রয়েছে, সুতরাং যে কোনও উত্সটি বাম এবং ডানদিক উভয়ই; 2 এটি এখনও সত্য; 3 আপনি যদি 'বিট' কেও সরিয়ে থাকেন তবে এখনও সত্য; 4 আর সত্য নয়, উদাহরণস্বরূপ আপনার ব্যাকরণ নির্ধারণের মাধ্যমে আপনি একটি দ্ব্যর্থহীন পাবেন।

— সিলভাইন

@ সাইলভাইন একটি উত্তর দেয়?

— যুবাল ফিল্মাস

@ সিলভাইন, ধন্যবাদ, এবং হ্যাঁ একটি উত্তর দিন make আমি কি বুঝতে পেরেছি বুঝতে পেরেছি? পুনরায় 2: সুতরাং একটি নিয়মিত ব্যাকরণ রয়েছে যা বিভিন্ন পার্স গাছের সাথে একই স্ট্রিং তৈরি করতে পারে? (এর পরে আমি "দ্ব্যর্থহীন এনএফএস" এর একটি রেফারেন্স নিয়ে এসেছি, তবে আমি নিশ্চিত নই যে এটি "আমি যেভাবে অর্থে আছি" সেটি ব্যবহার করছি)। 3 এবং 4, আমি মনে করি আপনি বলছেন যে কিছু নিয়মিত ভাষা অস্পষ্ট নিয়মিত ব্যাকরণ দ্বারা উত্পাদিত হতে পারে, তবে কি সর্বদা একটি আনাম্বিগ নিয়মিত ব্যাকরণ দ্বারা উত্পাদিত হবে?

— dubiousjim

Answer 1

প্রশ্নোত্তর সম্পর্কে: উভয় অস্পষ্টতা সমস্যা (একটি সিএফজি দেওয়া, এটি অস্পষ্ট কিনা) এবং অন্তর্নিহিত অস্পষ্টতা সমস্যা (কোনও সিএফজি দেওয়া হয়, এর ভাষা অন্তর্নিহিত অস্পষ্ট কিনা, অর্থাত্ কোনও সমমানের সিএফজি অস্পষ্ট কিনা) অনস্বীকার্য id এখানে মূল উল্লেখ রয়েছে:

• অস্পষ্টতার অনিশ্চয়তা ক্যান্টর (১৯62২) , ফ্লয়েড (১৯62২) এবং চমস্কি এবং স্কটজেনবার্গার (১৯63৩ ) দ্বারা প্রমাণিত হয়েছিল । পাঠ্যপুস্তকগুলির প্রমাণগুলি সাধারণত পোস্ট চিঠিপত্রের সমস্যা থেকে হ্রাস পায়।
• সহজাত অস্পষ্টতার অনিশ্চয়তা জিন্সবার্গ এবং উলিয়ান (১৯ 19ian) দ্বারা প্রমাণিত হয়েছিল ।

---

প্রশ্নোত্তর সম্পর্কে: একটি নিয়মিত ব্যাকরণ হ'ল "একপেশে রৈখিক" প্রসঙ্গমুক্ত ব্যাকরণ, যেখানে কোনও নিয়মে ডান-অংশে একটি অন্তর অন্তর্ভুক্ত থাকে এবং যেখানে ননটার্মিনালটি সর্বশেষে থাকে ( ডান লিনিয়ার ব্যাকরণগুলিতে) বা প্রথম (এখানে) বাম লিনিয়ার ব্যাকরণ) অবস্থান। এই জাতীয় ব্যাকরণগুলি সহজেই সমতুল্য সসীম-রাষ্ট্রীয় অটোমাতাতে অনুবাদ করা হয় (মোটামুটি প্রতিটি অযৌক্তিককে একটি রাষ্ট্র হিসাবে বিবেচনা করে), যা যদি নিয়মিত ব্যাকরণটি দ্ব্যর্থহীন হয় তবে তা দ্ব্যর্থহীন। দ্ব্যর্থহীন নিয়মিত ব্যাকরণ এবং দ্ব্যর্থহীন অটোমাতার ক্লাসটি বিশেষত স্টার্নস এবং হান্ট (1985) দ্বারা অধ্যয়ন করেছে , যারা দেখায় যে তারা অন্তর্ভুক্তি সমস্যার জন্য ট্র্যাকটেবল অ্যালগরিদম উপভোগ করেন।

1. $\beta A\gamma\Rightarrow \beta\alpha\gamma$$A\to\alpha$$A$$X_1,\dots,X_m$$A\to X_1\cdots X_m$

   $\gamma A\eta B\theta$$A$$B$$A\to\alpha$$\gamma\alpha\eta B\theta$$B\to\beta$$\gamma A\eta\beta\theta$$\gamma\alpha\eta\beta\theta$(সর্বদা কোনো বাক্যগত আকারে বামদিকের nonterminal আহরিত) অথবা ডানদিকের derivations শিক্ষাদীক্ষা গাছ পরিদর্শন করার জন্য একটি নির্দিষ্ট অর্ডার আরোপ করে, এবং সেখানে তারপর একটি প্রদত্ত শিক্ষাদীক্ষা গাছ জন্য একটি একক শিক্ষাদীক্ষা নেই।

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

2. $w$$w$$w$

3. এবং ৪. যদি আপনি সসীম-রাষ্ট্রীয় অটোমেটা ভিউ গ্রহণ করেন তবে একই ভাষার জন্য একটি দ্ব্যর্থহীন অটোমেটন পেতে আপনার দ্ব্যর্থহীন অটোমেটন নির্ধারণ করা যথেষ্ট: যে কোনও শব্দের জন্য একক রান থাকবে। এই নির্বিচারক অটোমেটন একটি স্পষ্ট নিয়মিত ব্যাকরণের সমতুল্য।$~$

   $S\to A\mid B,\,A\to a,\,B\to a$$a$$S\Rightarrow A\Rightarrow a$$S\Rightarrow B\Rightarrow a$$S\to a$

$O(|G|^2)$$(q,q')$$q\neq q'$

Answer 2

$G$$\Sigma^*$

আপনি কী কী ভাষায় কথা বলবেন সে সম্পর্কে আমি বেশিরভাগভাবে জানতে পারি নি Every প্রতিটি সিএফ-ভাষাতে একটি দ্ব্যর্থক ব্যাকরণ থাকে।

Q2 এর। আপনার যদি নিয়মিত ব্যাকরণের সাথে ডিল হয় তবে সবকিছুই নির্ধারণযোগ্য। আপনার কেবলমাত্র ন্যূনতম ডিএফএ তৈরি করা উচিত এবং এটি ব্যবহার করে আপনি দ্ব্যর্থহীন ব্যাকরণ তৈরি করতে পারেন। আপনার যদি সিএফ-ব্যাকরণ দ্বারা নির্ধারিত নিয়মিত ভাষার সাথে কোনও চুক্তি হয় তবে উত্তরটি হ'ল - Q1 দেখুন।

Comments

ধন্যবাদ, ভাল ব্যাখ্যা আবার কিউ 2। নিয়মিত ভাষা সম্পর্কে প্রশ্নগুলি সিদ্ধান্ত নিতে পারে যদি ভাষাটি একটি নিয়মিত ব্যাকরণ দ্বারা নির্দিষ্ট করা থাকে; তবে এর অর্থ এখনও এই নয় যে ভাষাটি যদি কোনও সিএফজি দ্বারা নির্দিষ্ট করা হয় তবে তারা সিদ্ধান্ত গ্রহণযোগ্য --- আপনি ঠিক তাই বলছেন? সুতরাং আমরা কী জানি যে নিয়মিত ভাষা তৈরির ক্ষেত্রে যেসব সিএফজির ক্ষেত্রে সীমাবদ্ধ থাকে সে ক্ষেত্রে অস্পষ্টতা সম্পর্কিত প্রশ্নগুলি এবং যেগুলি স্বেচ্ছাসেবী সিএফজির জন্য অনস্বীকার্য সেগুলিও অনস্বীকার্য?

— dubiousjim

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

— আলেকজান্ডার রুবতসভ

@ আলেকজান্ডার-রুবতসভ "আপনি যখন নিয়মিত ব্যাকরণ দ্বারা বর্ণিত কোনও ভাষা ব্যবহার করেন, আপনার পছন্দসই কোনও প্রশ্নই সিদ্ধান্ত নেওয়া যায়"। এটি একটি ওভার আশাবাদী বক্তব্যের মতো দেখাচ্ছে ...

— জে.ই.

ধন্যবাদ, আমি বোঝাতে চেয়েছিলাম "হতে পারে" এর অলঙ্কৃত ফাংশনে, "কে জানে?" অর্থে নয়?

— dubiousjim

@ জে.ই.পিন হ্যাঁ আমার আরও সূক্ষ্ম হওয়া উচিত ছিল «অস্পষ্টতার মতো সমস্ত প্রাকৃতিক প্রশ্ন»

— আলেকজান্ডার রুবতসভ

Answer 3

আপনি কেবল 'ভাষা (গুলি) এর সামনে' বা 'ব্যাকরণ (গুলি) এর সামনে' নিয়মিত 'দিয়ে' প্রসঙ্গ-মুক্ত 'প্রতিস্থাপন করবেন কিনা তা নির্ভর করে।

সমস্ত নিয়মিত ভাষা নিয়মিত ব্যাকরণ দ্বারা এবং বিশেষত, দ্ব্যর্থহীন নিয়মিত ব্যাকরণ দ্বারা উত্পাদিত হয় , যেমন এলএল (1) ডান-নিয়মিত ব্যাকরণ, যা সমস্তই দ্ব্যর্থহীন।