সমস্ত প্রবন্ধমুক্ত এবং নিয়মিত ভাষাগুলি কীভাবে কার্যকরভাবে সিদ্ধান্ত নেওয়া যায়?

Question

আমি এই চিত্রটি জুড়ে এসেছি যা দেখায় যে প্রসঙ্গমুক্ত এবং নিয়মিত ভাষাগুলি দক্ষ সমস্যার (অনুমিতভাবে ) ) proper আমি পুরোপুরি বুঝতে পেরেছি যে দক্ষ সমস্যাগুলি হ'ল সিদ্ধান্ত গ্রহণযোগ্য সমস্যার একটি উপসেট কারণ আমরা সেগুলি সমাধান করতে পারি তবে এটি খুব দীর্ঘ সময় নিতে পারে।$\mathrm{P}$

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

Comments

কৌতূহলের বাইরে আপনি এই চিত্রটি কোথায় পেলেন? এটি ব্যাখ্যা করার জন্য প্রসঙ্গ থাকতে সাহায্য করতে পারে, কারণ "দক্ষ" কোনও আনুষ্ঠানিক ধারণা নয় এবং বিভিন্ন লোক এটি বিভিন্ন জিনিস বোঝাতে ব্যবহার করতে পারে।

— গিলস 16'10 এ 12

যদি "দক্ষ" এর অর্থ " " (যেমনটি সাধারণ) হয়, তবে "দক্ষ" এর অর্থ "খুব দীর্ঘ সময় নয়" কারণ বহুপদীগুলিও বিশাল মান অর্জন করে। জটিলতার একটি মৌলিক ফলাফল নোট করুন যে সমস্যাগুলির সীমাহীন ক্রম রয়েছে, প্রতিটি সঠিকভাবে পরবর্তীটির চেয়ে সহজ। এই উভয় ভেতরে ও বাইরে ঝুলিতে । $\in \mathrm{P}$$\mathrm{P}$

— রাফেল

@ রাফেল: এই প্রসঙ্গে, দক্ষ ভাষাগুলির একটি শ্রেণি যা বহু-কালীন সময়ে সিদ্ধান্ত গ্রহণযোগ্য। অনস্বীকার্য সমস্যার বিপরীতে সিদ্ধান্ত গ্রহণযোগ্য সমস্যার জন্য আমি "এটি একটি দীর্ঘ সময় নিতে পারে" ব্যবহার করেছি যার জন্য আমরা কোনও সীমাবদ্ধ সময়ের সমাধান খুঁজে পাই না।

— জিগিলি

এটি বলার সঠিক প্রযুক্তিগত উপায়টি হ'ল ডাব্লুএইচ যেখানে শব্দ এবং এল একটি ভাষা আছে তা নির্ধারণ করা হয় P. অর্থাত্ / ওরফে "ভাষার স্বীকৃতি"

— vzn

Answer 1

নিয়মিত ভাষার সদস্যপদ সময়ের মধ্যে ভাষার (ন্যূনতম) ডিএফএ (যা প্রাকটিকৃত করা হয়েছে) অনুকরণ করে সিদ্ধান্ত নেওয়া যেতে পারে ।$\cal{O}(n)$

প্রসঙ্গ নিখরচায় ভাষা সদস্যতার সিদ্ধান্ত সিওয়াইকে অ্যালগরিদম দ্বারা স্থির করা যেতে পারে ।$\cal{O}(n^3)$

সেখানে নির্ধার্য ভাষা নেই হয় যেমন ঐ হিসাবে, ।E X P T I M E ∖ $\sf{P}$$\sf{EXPTIME}\setminus \sf{P}$

Comments

আপনি প্রসঙ্গমুক্ত গ্র্যামারগুলির জন্য ম্যাট্রিক্স গুণিত অ্যালগরিদম উল্লেখ করতে চাইতে পারেন যার চলমান সময় আরও ভাল আছে এবং এই অ্যালগরিদমটি যে কোনও ব্যবহারিক প্রসঙ্গ-মুক্ত ব্যাকরণ সম্পর্কে খুব দক্ষতার সাথে (রৈখিকভাবে) কাজ করে: বিজ্ঞান

— অ্যালেক্স টেন ব্রিঙ্ক

@ অ্যালেক্সটেনব্রিংক আমি মনে করি না যে এই প্রশ্নটি "বহুভিত্তিক বা না" এর চেয়ে সূক্ষ্ম গ্রানুলারিটির জন্য বলেছে।

— রাফেল

মনে রাখবেন যে যতক্ষণ না এটি নির্বিচারে আপনার ন্যূনতম অটোমেটনের প্রয়োজন হবে না। চলমান সময় এখনও , কারণ প্রতিটি পদক্ষেপে একটি অনন্য সম্ভাব্য "পরবর্তী পদক্ষেপ" রয়েছে। $O(n)$

— জানোমা

প্রকৃতপক্ষে, নিয়মিত ভাষার জন্য আপনার স্পষ্টতই ডিটারমিনিস্টিক অটোমেটার প্রয়োজন নেই। আপনি বিদ্যুৎ নির্মাতাকে নকল করে সমস্ত রাজ্যের ট্র্যাক রেখে সমান্তরালভাবে সমস্ত গণনা অনুকরণ করেন।

— হেন্ডরিক

@ ডেভ: এখানে দেওয়া অন্যান্য জটিলতার মতো একটি নির্দিষ্ট নিয়মিত ভাষার জন্য ইনপুট স্ট্রিংয়ের দৈর্ঘ্যের ক্ষেত্রে রৈখিক।

— হেনড্রিক জানুয়ারি

Answer 2

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

তদুপরি, ব্যাকরণের আকারের সবচেয়ে খারাপ ক্ষেত্রে ফোলাটি [নোট 4] রূপান্তর ক্রমের উপর নির্ভর করে। | জি | ব্যবহার করা হচ্ছে মূল ব্যাকরণ জি এর আকার বোঝাতে, রূপান্তর অ্যালগরিদমের উপর নির্ভর করে, সবচেয়ে খারাপ ক্ষেত্রে আকারের ধাক্কা থেকে range পর্যন্ত হতে পারে [[]]: range2 2 | জি $|G|^2$$2^{2 |G|}$

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

• সবচেয়ে কঠিন প্রসঙ্গমুক্ত ভাষা / গ্রিবাচ