অটোমেটা এবং নিয়মিত ভাষায় রাষ্ট্রের জটিলতার তাত্পর্য?

Question

আমি "পড়া করছি নিয়মিত ভাষাসমূহ এবং Descriptional জটিলতা সংযুক্তকরণ " গালিনা Jiraskova, 2009 দুটি নিয়মিত ভাষা (গালিনা Jiraskova দ্বারা) এর সংযুক্তকরণের ফলে রাষ্ট্র জটিলতার উপর, কিন্তু আমি বুঝতে পারছি না রাষ্ট্র জটিলতা ব্যবহারিক বিষয় হবে কি । প্রথম তুচ্ছ চিন্তা আমাকে আঘাত করেছিল যে উচ্চতর জটিলতার জন্য মেশিনের দ্বারা আরও সময় এবং স্থান প্রয়োজন হবে and এটা কি সঠিক? এছাড়াও কি অন্য কোনও জায়গা রয়েছে যেখানে রাষ্ট্রীয় জটিলতা প্রাসঙ্গিক এবং স্বাক্ষরযুক্ত?

সম্পাদনা করুন: কোনও নিয়মিত ভাষার রাষ্ট্র জটিলতা হ'ল কোনও স্বৈরশাসক সসীম অটোমেটনের (ডিএফএ) ভাষা স্বীকার করার ক্ষেত্রে রাজ্যের সংক্ষিপ্ত সংখ্যা। একটি নিয়মিত ভাষার অবিচ্ছিন্ন রাষ্ট্রীয় জটিলতা ভাষার জন্য যে কোনও ননডেস্ট্রিমেন্টিক সসীম অটোমেটনের (এনএফএ) মধ্যে ক্ষুদ্রতম সংখ্যক রাষ্ট্র হিসাবে সংজ্ঞায়িত হয়।

Comments

ঠিক. প্রশ্ন সম্পাদিত!

— এয়ারমাইন

মনে হচ্ছে আপনি যে কাগজটি পড়ছেন তাতে কিছুটা প্রশ্নের উত্তর দেওয়া সম্ভব ...? আপনি কি এটিকে আরও বিশদে উদ্ধৃত করতে পারবেন যেমন শিরোনাম এবং যদি পাওয়া যায় তবে পিডিএফ-এর কোনও লিঙ্ক? এফএসএম রাষ্ট্রের জটিলতা অনেকগুলি অ্যাপ্লিকেশনে প্রদর্শিত হয় এবং এর তাত্ত্বিক

— প্রভাবও

হ্যাঁ, আমি কাগজটি দেখেছি এবং রেফারেন্সগুলি দিয়ে দেখেছি। রাষ্ট্র জটিলতার অ্যাপ্লিকেশনগুলির সাথে খুব বেশি সম্পর্কিত সন্ধান করতে পারেনি।

— এয়ারমাইন

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

— ভিজেএন

হুবহু "ব্যবহারিক" নয়, তবে রাজ্য জটিলতা রিভেস্ট এবং স্ক্যাপায়ার দ্বারা সীমাবদ্ধ অটোম্যাটাকে বৈচিত্র্য ভিত্তিক অনুকরণে ভূমিকা পালন করে : [সম্মেলন ; জার্নাল ]।

— নিল ইয়ং

Answer 1

রাষ্ট্রীয় জটিলতা আসলে কোনও বস্তুর সংক্ষিপ্ত বিবরণ সম্পর্কে (এই ক্ষেত্রে, একটি নিয়মিত ভাষা), গণনার জটিলতা সম্পর্কে নয়। সাহিত্যে সাধারণ বিষয়টিকে "বর্ণনামূলক জটিলতা" বলা হয় এবং এর অনুপ্রেরণাটি আঁকেন, অংশ হিসাবে মায়ার এবং ফিশারের ক্লাসিক ১৯ paper১ এর পেপার থেকে "অটোমাতা, ব্যাকরণ এবং ফরমাল সিস্টেমগুলি দ্বারা প্রকাশিত অর্থনীতি" শিরোনাম (দেখুন HTTP: // মানুষ .csail.mit.edu / মেয়র / অর্থনীতি-এর বিবরণ.পিডিএফ )। এটি এখনও একটি বার্ষিক সম্মেলন (ডিসিএফএস - ফরমাল সিস্টেমগুলির বর্ণনামূলক জটিলতা) সহ একটি সক্রিয় অঞ্চল।

অ্যাপ্লিকেশনগুলির ক্ষেত্রে, আপনার প্রোগ্রামটি যে কোনও জায়গাতেই মূলত একটি সসীম-রাষ্ট্রীয় মেশিনের উপর নির্ভর করে (যেমন, পার্সারস) এই সীমাবদ্ধ-রাষ্ট্রীয় মেশিনটিকে যতটা সম্ভব ছোট করা ভাল।

Comments

ওহ ঠিক আছে. সুতরাং মূলত রাষ্ট্রের জটিলতা হ্রাস প্রক্রিয়াটিকে আরও সহজ করার পরিবর্তে প্রদত্ত ভাষার ন্যূনতম উপস্থাপনা অর্জনে সহায়তা করে?

— এয়ারমাইন

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

— ডেনিস

Answer 2

জেফ্রি শালিতের দুর্দান্ত উত্তরে আমি একটি কংক্রিটের উদাহরণ যুক্ত করি।

মনে করুন আপনি একটি স্ক্র্যাবল (টিএম) অভিধান তৈরি করতে চান। আপনি আপনার অভিধানটি উপস্থাপনের বিভিন্ন উপায় সম্পর্কে ভাবতে পারেন, যেমন শব্দের তালিকা, চেষ্টা (অক্ষর গাছ) বা ডিটারমিনিস্টিক অটোমেটা। [১] অনুসারে, একটি ডগের উপর একটি ট্রাই কমিয়ে আনা [= ডিএফএ] মহাকাশে একটি আশ্চর্যজনক সঞ্চয় উত্পাদন করে; নোডের সংখ্যা 117,150 থেকে 19,853 এ কমে গেছে। কাঁচা শব্দের তালিকা হিসাবে উপস্থাপিত অভিধানটি প্রায় 780 কেবিটস লাগে, যখন আমাদের ডগ 175 কেবাইটে প্রতিনিধিত্ব করতে পারে।

আপনি দেখতে পাচ্ছেন, রাষ্ট্রের জটিলতা সত্যিই এই ক্ষেত্রে গুরুত্বপূর্ণ, বিশেষত যদি আপনি কোনও দক্ষ প্রোগ্রাম লিখতে চান লেখকদের মতো।

[1] অ্যাপেল এবং জ্যাকবসন ওয়ার্ল্ডের দ্রুততম স্ক্র্যাবল প্রোগ্রাম , এসিএম এর যোগাযোগ 31 , 572-578 (1988)।

Answer 3

যে প্রমাণ নির্ধারণযোগ্য যে নির্বিচারে নির্বিচারে প্রবণতা-মুক্ত ব্যাকরণ (বা সমানভাবে একটি ডিটারমিনিস্টিক পুশডাউন অটোম্যাটন) একই ভাষা বর্ণনা করে এমন একটি সমতুল্য সসীম রাষ্ট্র অটোমেটন মূলত নির্বিচার প্রসঙ্গ-মুক্ত ভাষায় বর্ণিত সীমাবদ্ধ অটোমেটনের রাষ্ট্রীয় জটিলতার প্রমাণ হিসাবে প্রমাণিত হয়: নির্ধারক অটোমেটনের ক্ষেত্রে এই সীমাবদ্ধ অটোমেটনের আকারের উপর ভিত্তি করে সিদ্ধান্ত প্রক্রিয়াটির দৈর্ঘ্যের সীমাবদ্ধতা দেয়।

বিশদ তথ্যের জন্য, " লেসেলি জি ভ্যালিয়েন্টের " নিয়মিততা এবং ডিটারমিনিস্টিক পুশডাউন অটোমেটার জন্য সম্পর্কিত সমস্যাগুলি দেখুন ।