কোনও ভাষার জন্য একটি এলআর (1) অটোমেটন সম্পর্কিত এলআর (0) অটোমেটনের চেয়ে কত বড় হতে পারে?

একটি এলআর (0) পার্সারে, প্রতিটি রাজ্যে এলআর (0) আইটেমের সংকলন থাকে, যা একটি অবস্থানের সাথে বর্ণিত প্রোডাকশন। একটি এলআর (1) পার্সারে, প্রতিটি রাজ্যে এলআর (1) আইটেমের সংকলন থাকে, যা একটি অবস্থান এবং বর্ণনামূলক চরিত্রের সাহায্যে বর্ণিত প্রোডাকশন।

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

আমার প্রশ্ন এলআর (1) অটোমেটনের পরিমাণ কত বড় হতে পারে। থাকে তাহলে ব্যাকরণ বর্ণমালায় স্বতন্ত্র টার্মিনাল প্রতীক, তারপর নীতিগতভাবে আমরা এল আর (0) যন্ত্রমানব অন্তত একবার ঐ উপসেট প্রতি প্রতিটি রাষ্ট্র প্রতিলিপি করতে হতে পারে একটি এল আর নেতৃস্থানীয় স্বতন্ত্র টার্মিনাল প্রতীক, সম্ভাব্য (1 ) অটোমেটন যা মূল এলআর (0) অটোমেটনের চেয়ে times গুণ বড়। প্রদত্ত যে এলআর (0) অটোমেটনে প্রতিটি স্বতন্ত্র আইটেম বিভিন্ন এলআর (0) আইটেমের একটি সেট নিয়ে গঠিত, আমরা আরও বড় ধাক্কা পেতে পারি। $n$ $n$ $2^n$

এটি বলেছিল, আমি ব্যাকরণের একটি পরিবার গঠনের কোনও উপায় খুঁজে পাচ্ছি না যার জন্য LR (1) অটোমেটন সম্পর্কিত এলআর (0) অটোমেটনের চেয়ে উল্লেখযোগ্য পরিমাণে বড়। আমি যা কিছু চেষ্টা করেছি সেগুলি আকারে একটি হালকা বৃদ্ধি পেয়েছে (সাধারণত 2-4x এর কাছাকাছি), তবে আমি এমন কোনও প্যাটার্ন খুঁজে পেতে পারি না যা বড় ধাক্কা মারার দিকে নিয়ে যায়।

প্রসঙ্গমুক্ত ব্যাকরণের কি পরিচিত পরিবার রয়েছে যার এলআর (1) অটোমেটা সংশ্লিষ্ট এলআর (0) অটোমেটার চেয়ে তাত্পর্যপূর্ণভাবে বড়? বা এটি কি জানা যায় যে সবচেয়ে খারাপ ক্ষেত্রে আপনি আসলে একটি ক্ষতিকারক ব্লোআপ পেতে পারেন না?

ধন্যবাদ!

context-free parsers lr-k

— templatetypedef
সূত্র

এগুলির মতো সমস্যাগুলি কখনও কখনও পরীক্ষামূলকভাবে পরীক্ষামূলক হয়ে যায়। আপনি এলোমেলোভাবে উত্পন্ন পৃথক দৃষ্টান্তগুলির সম্পর্কে কী ভাববেন যা (নির্বাচিত হয়) প্রদর্শন ব্লোআপ? এই ধরণের প্রশ্নের একটি প্যাটার্ন রয়েছে যা "এলোমেলো চেহারার"

— নির্মাণগুলি

সবচেয়ে খারাপ ক্ষেত্রে উদাহরণগুলি এলোমেলোভাবে নমুনা দ্বারা সন্ধান করা শক্ত, কমপক্ষে যদি গড় ক্ষেত্রে উল্লেখযোগ্যভাবে ভাল হয়।

— রাফেল

PS আপনি যদি পোস্টে

— এনইসি

ধারণা / সীসা: এলআর পার্সিং ক্রুষ্টি (cstheory.se)

— vzn

LALR (1) সাধারণত অনেক কম রাজ্যের (ড্রাগনের বইয়ের শব্দ ব্যবহার করার জন্য ) দরকারী হওয়ার জন্য LR (1) পাওয়ারের কাছে পর্যাপ্ত পর্যায়ে যাওয়ার উপায় হিসাবে উপস্থাপিত হয় । আমি ভাবছি যদি এলএলআর (1) আবিষ্কার না হওয়া অবধি এলআর (1) কে নিষিদ্ধ হিসাবে 2 থেকে 4 এর মধ্যে কেবল একটি উপাদানই যথেষ্ট ছিল? যদি আমি সেগুলি অ্যাক্সেসযোগ্য হয় তখন এটি সম্পর্কে যদি আমি চিন্তা করি তবে আমি আহো ও ওলম্যান পার্সিং, অনুবাদ এবং সংকলন তত্ত্ব এবং গ্রুন পার্সিং প্রযুক্তিতে যদি তাদের সংখ্যার বিষয়ে কিছু থাকে তবে আমার একবার দেখতে হবে।

— এপ্রোগ্রামার

উত্তর:

ব্যাকরণ

\begin{array}{l} এস \to {টি}_{0} \\ {টি}_{এন} \to একটি {টি}_{এন + + 1} \\ {টি}_{এন} \to খ {টি}_{এন + + 1} \\ {টি}_{এন} \to খ {টি}_{এন + + 1} {টি}_{এন} \\ {টি}_{এন} \to {টি}_{এন} \end{array}

$\begin{array}{l} S \rightarrow T_0 \\ T_n \rightarrow a \; T_{n+1} \\ T_n \rightarrow b \; T_{n+1} \\ T_n \rightarrow b \; T_{n+1} \; t_n \\ T_N \rightarrow t_N \end{array}$

এলআর (0) রাজ্যের has রয়েছে

{টি}_{এন} \to {টি}_{এন} \dot{}

$T_N \rightarrow t_N \dot \\$ প্রসারিত

এল আর এ রূপ (1) সব পার্টিশন হিসাবে অটোমাটা

সম্ভব বর্ণন-মাথা যা বিভিন্ন প্রেক্ষিতে প্রদর্শিত হয়। অন্যদিকে এলআর (0) অটোমেটনে রাজ্যের সংখ্যা

মেয়াদে রৈখিক । সুতরাং

ক্রমের একটি বিস্তৃতি ফ্যাক্টর সম্ভব।

2^{N}

$2^N$

{t_{0} \dots t_{N - 1}}

$\{t_0 \dots t_{N-1}\}$

N

$N$

2^{N} / N

$2^N/N$

সম্পাদনা করুন: আমি আরও সময় নেওয়ার পরে আমাকে পরে যাচাই করতে হবে, আমার মনে হয় করা প্রায় সমস্ত এলআর (0) রাজ্যে ঘনিষ্ঠ ফ্যাক্টর দেবে। $T_N \rightarrow T_0$ এটি একটি শিফট-হ্রাস দ্বন্দ্বের ফলাফল।

— AProgrammer
সূত্র

এই জাতীয় নিম্ন সীমানা কখনও কখনও নির্মাণ করা কঠিন এবং গভীর সিএস তত্ত্ব উত্সাহিত করতে পারে (উদাহরণস্বরূপ, জটিলতা শ্রেণি বিচ্ছেদ)। এই কাগজটি মনে হয় একটি তাত্ত্বিক নির্মাণ / নিম্ন সীমা যেমন আপনি থিওরেম 5 এ খুঁজছেন যা মোট চিহ্নগুলির উপর একটি নিচে আবদ্ধ রাখে এবং তাই এটিও উল্লেখ করে। উল্লেখগুলি অন্যান্য অনুরূপ নির্মাণ / নিম্ন সীমাও অন্তর্ভুক্ত করে।

$f(n,k) = 2^{\frac{1}{4}(n - k)} / n^2$ $k = 0,1;...,n−1$ $L_n$ $n \geq 3$ $f(n,k)$ $f(n,k)$

পার্সার এবং এলআর (কে) -গ্রামার্স / লেউঙ্গা, ওয়াটস্কেব আকারে

— vzn
সূত্র

2^{(n - 1) / 4} / n^{2}

$2^{(n-1)/4}/n^2$

2^{n / 4} / n^{2}

$2^{n/4}/n^2$ সেই ভাষার জন্য LR (0) অটোমেটনের আকারের উপর আবদ্ধ। সুতরাং এই উত্তরটি জিজ্ঞাসা করা প্রশ্নের উত্তর দেয় না।

— DW

1.1892

$1.1892$

ডাব্লুডাব্লু মনে করে যে আপনার আপত্তি উভয়ই বৈধ এবং চুলের ছড়িয়ে দেওয়ার পদ্ধতির কাছে। স্পষ্টতা / বিশদ জন্য THX অনেক। এটি তার প্রশ্নের একটি প্রাসঙ্গিক / প্রায় প্রত্যক্ষ বৈজ্ঞানিক উত্তর / যা এলআর (এন) এর সবচেয়ে খারাপ ক্ষেত্রে ভাষা নির্মাণ (গুলি) / ব্লোআপ সম্পর্কে মূলত is এটি সম্ভবত (প্রায়?) এই অঞ্চলে "সর্বাধিক পরিচিত ফলাফল"। প্রশ্নের বৈধ উত্তর হ'ল negativeণাত্মক হতে পারে, নাহ, প্রশ্নকারীর (যেমন তিনি এখনও বাস্তবে কোনও প্রদর্শিত হয়নি) বা সাহিত্যে এর চেয়ে ভাল ফলাফল আর পাওয়া যায় না। অধীর আগ্রহে আমার আর কোনও সুনির্দিষ্ট উত্তরের অপেক্ষা !

— vzn