শিফট-সমাধান পার্সিং

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

আমি সমাধানটি সম্পর্কে আমার গ্রহণের বর্ণনা দিতে যাচ্ছি (যদি এটি সঠিক হয় তবে আমি বিশ্বাস করি যে কৌশলটি বোঝার চেষ্টা করা অন্যান্য ব্যক্তিদের পক্ষে এটি সহায়ক হতে পারে) এবং এর পরে অতিরিক্ত প্রশ্ন জিজ্ঞাসা করুন। কোনও ভুল বোঝাবুঝি না হওয়ার বিষয়টি নিশ্চিত করতে, আমি নিম্নলিখিত মানক স্বরলিপিটি ব্যবহার করব: , , , এবং কাগজে যেমন বোঝাতে সংখ্যা । তবে, আমি সম্ভবত মূল কাগজের চেয়ে ধারণার জন্য আলাদা আলাদা নাম ব্যবহার করব। $a, b, c, ... \in T$ $A, B, C, ... \in N$ $... X, Y, Z \in N \cup T$ $\alpha, \beta, \gamma, ... \in \{N \cup T\}^*$ $A \xrightarrow{i} \omega$ $i$

এছাড়াও, পুরো বিবরণ জুড়ে, সমতুল্য সম্পর্ক ব্যবহৃত হয়। $\kappa_0$

নির্মাণ

পার্সিং অভ্যন্তরে দুটি ধরণের আইটেম রয়েছে: ফর্মের সাধারণ LR (0) আইটেমগুলি যা আমি শিফট আইটেম এবং ফর্মের আইটেমগুলিকে কল করি যাকে আমি সমাধান আইটেম বলি ; এগুলি পার্সারকে ইনপুট প্রবাহকে চিহ্নগুলি পুশ করতে এবং তারপরে number প্রথম চিহ্নের উপর নিয়ম সংখ্যা দ্বারা হ্রাস করতে বলে । $A \xrightarrow{i} \alpha \bullet \beta$ $A \xrightarrow{i} \alpha \bullet \beta, m, n$ $n$ $m$ $\beta$

ব্যাকরণটি নিয়মের সাথে যুক্ত হয় এবং প্রাথমিক অবস্থায় শিফট আইটেম with দিয়ে নির্মাণ শুরু হয় the $S' \xrightarrow{0} S \$$ $S' \xrightarrow{0} \bullet S \$$

এখন, অটোম্যাটনটি তৈরি করতে, প্রতিটি আইটেমের জন্য এই বিকল্পগুলির মধ্যে একটি রাষ্ট্রের : $q$

আইটেম একটি শিফট আইটেমটি হয় তাহলে , একটি রূপান্তরটি হবে যন্ত্রমানব, যেখানে প্রথম প্রতীক । $A \xrightarrow{i} \alpha \bullet \beta$ $q \xrightarrow{X} q'$ $X$ $\beta$
যদি আইটেমটি একটি সমাপ্ত শিফট আইটেম , তবে প্রতিটি নিয়মের জন্য । $A \xrightarrow{i} \omega \bullet$ $B \xrightarrow{j} \alpha A \bullet \beta, i, 0$ $B \xrightarrow{j} \alpha A \beta$
আইটেমটি যদি সমাধানের আইটেম হয় , প্রথম প্রতীক হতে দিন । যদি তবে প্রতিটি নিয়মের জন্য একটি শিফট আইটেম যুক্ত করুন । তাহলে আর অন্য আইটেম আছে , তাদের ডট lookahead যেমন একটি রূপান্তর জুড়তে যন্ত্রমানব করতে। প্রতিটি সমাধান আইটেম , সমাধানের আইটেম এর ফলাফল করবে $A \xrightarrow{i} \alpha \bullet \beta, m, n$ $X$ $\beta$ $X \in N$ $X \xrightarrow{j} \bullet \omega$ $X \xrightarrow{j} \omega$ $A \xrightarrow{i} \alpha \bullet \beta, m, n$ $X$ $q \xrightarrow{X} q'$ $C \xrightarrow{i} \alpha \bullet X \beta, m, n$ $q$ $C \xrightarrow{i} \alpha X \bullet \beta, m, n + 1$ $q'$ ।
আইটেমটি যদি একটি সমাধান আইটেম এটি কোনও চেহারা সম্পর্কিত তথ্য অবদান রাখবে না এবং তা ফেলে দেওয়া যেতে পারে, তবে প্রথমে একটি সমাধান আইটেম প্রতিটি নিয়মের জন্য । $A \xrightarrow{i} \omega \bullet, m, n$ $B \xrightarrow{j} \alpha A \bullet \beta, m, n$ $B \xrightarrow{j} \alpha A \beta$

এটি অবশ্যই ঠিক একটি স্কেচ; প্রকৃতপক্ষে, রাষ্ট্রের একটি বন্ধের হিসাব অবশ্যই প্রথমে করা উচিত এবং তারপরেই আমরা স্থানান্তর / শিফট এবং রেজোলিউশনগুলি মোকাবেলা করতে পারি।

অটোমেটনকে শিফট-রেজোলিউশন পার্সিং টেবিলে রূপান্তর করা তত্কালীন; কেবলমাত্র একটি স্বল্প প্রকরণ হিসাবে, কাগজের লেখকরা একটি রেজোলিউশনকে interpret গ্রহণযোগ্য ক্রিয়া হিসাবে ব্যাখ্যা করে। ফলস্বরূপ অটোমেটন দেওয়া, আমি এটি গ্রহণযোগ্য ক্রিয়া হিসাবে কেবল a একটি শিফটকে চিকিত্সা করতে হ্যান্ডিয়ার হিসাবে দেখতে পেলাম । $r_{0,0}$ $\$$

প্রশ্নাবলি

প্রথমটি হ'ল স্পষ্টত, উপরে বর্ণিত প্রক্রিয়াটি সঠিক কিনা।

দ্বিতীয়টি হচ্ছে সমতুল্য সম্পর্ক সম্পর্কে। আমি কেবল অনুমান করতে পারি যে সমপরিমাণ সম্পর্ক হ'ল কোনও সমাপ্ত শিফট আইটেমটি দেখা গেলে কোন সমাধান আইটেম নিয়ে আসে তা সিদ্ধান্ত নেওয়ার জন্য দায়বদ্ধ। ফলাফল দেখতে এলএসএলআর পার্সারগুলির সেটগুলির মতো আকর্ষণীয় in কাগজ 11 পৃষ্ঠায় একটি "সূক্ষ্ম সমতুল্য সম্পর্ক" বর্ণনা করে; স্বজ্ঞাত পদার্থে এই সম্পর্কটি ব্যাখ্যা করার কোনও উপায় আছে কি? অন্য সম্পর্ক কি জানা আছে? $\kappa$ $\kappa_0$ $FOLLOW_{LM}$

এবং চূড়ান্ত একটি বিরোধ নিষ্পত্তি সম্পর্কে। একটি কাগজটি শিফট-রেজোলিউশন অটোমেটনে অপ্রতুলতাটিকে কী বলে বোঝায়; inতিহ্যবাহী এলআর পার্সারে বিরোধ নিষ্পত্তি করার পদ্ধতির মতো এই অপ্রতুলতাগুলি সমাধান করার কোনও উপায় আছে কি? অগ্রাধিকার এবং সাহসিকতার মাধ্যমে ইয়্যাক- স্টাইল বিরোধের সমাধানের মতো কোনও কিছু কি কোনও ShRe পার্সার জেনারেটরে প্রয়োগ করা যেতে পারে?

ধন্যবাদ আপনি যদি এই সমস্ত কিছু পড়ে থাকেন এবং কোনও উত্তর ব্যাপকভাবে প্রশংসা করা হবে :)

— জাকুব লডল
সূত্র

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

— vzn

খুব সুন্দর একটি তাত্ত্বিক অনুশীলন (যদিও আমি প্রযুক্তিগুলির দিকে নজর দিইনি)। প্রদত্ত যে এলআর (কে) এর সম্পূর্ণ শক্তি প্রায়শই ব্যবহার করা হয় না, কেউ ব্যবহারিক প্রভাব সম্পর্কে অবাক হতে পারে। আমি এই ধরণের কাজের সাথে ২ টি সমস্যা দেখতে পাচ্ছি: (১) যেহেতু অ্যালগোরিদম আরও জটিল হয়ে ওঠে, তখনও মানব মনের পক্ষে ব্যাকরণকে ঘুরিয়ে দেওয়া এবং পরিণতিগুলি বোঝা সম্ভব হয়, যখন এটি কাজ না করে। এটি প্রায়শই সত্য যে অত্যন্ত পরিশীলিত কৌশলগুলি যখন তারা কাজ করে তখন খুব পুরস্কৃত হয় তবে যখন তারা কাজ না করে তখন আরও খারাপ করে তোলে। (২) সাধারণ সিএফ অ্যালগরিদমগুলি রৈখিক না হলে ক্ষেত্রে এটি লিনিয়ার হবে।

— বাবু

এটি এনসাইক্লোপিডিক ডি গ্রুন, সিজেএইচ জ্যাকবস, "পার্সিং টেকনিক্স: একটি প্রাকটিক্যাল গাইড" (স্পঞ্জার, ২০০৮) এ আলোচনা করা হয়েছে কিনা তা পরীক্ষা করুন । যদি তা না হয় তবে সম্ভবত এটি আলোচিত কৌশলটির মতোই যথেষ্ট similar

— vonbrand
সূত্র

শিফট-সমাধান পার্সিং - প্রশ্ন

নির্মাণ

প্রশ্নাবলি