প্রসঙ্গে সংবেদনশীল (প্রকার 1) ভাষার তাত্পর্যটি কী?

Question

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

Comments

যেহেতু আপনি এখানে জিজ্ঞাসা করছেন এবং সিটিওরি.এসই নয়, (যেমনটি @ সুনিল প্রস্তাবিত), তাই আমি আপনাকে 1 টাইপের সংক্ষিপ্ত বিবরণ / সংজ্ঞা যুক্ত করার পরামর্শ দিচ্ছি, যা সবার জন্য পরিচিত শব্দ হতে পারে না।

— জানোমা

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

— sepp2k

@ জানোমা: সহজে দেখা যেতে পারে এমন তথ্য (এটি কি গোলমাল হিসাবে গণ্য হবে না) অন্তর্ভুক্ত করতে কেন এটি সহায়তা করবে?

— বিটমাস্ক

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

— sepp2k

প্রতিটি কম্পিউটার সায়েন্স মেজর চামস্কি হায়ারার্কি জানেন (বা জানা উচিত)। বাকি সবাই এটিকে 20 এর দশকে দেখতে পাবে। সম্ভবত উইকিপিডিয়ায় একটি লিঙ্ক এখানে যথেষ্ট।

— রাফেল

Answer 1

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

0 টি ভাষা টাইপ করার সাথে এটির তুলনা করে এর অর্থ আপনি ভাষাটি স্বীকৃতি দিতে কতক্ষণ সময় নেয় সে সম্পর্কে আপনি কমপক্ষে কিছু বলতে পারেন । একটি টাইপ 0 ভাষা এমনকি নির্ধারণযোগ্যও না হতে পারে: সমস্ত টুরিং মেশিনের ভাষা যে থামে তা টাইপ 0 ভাষা, তবে এই ভাষাটিকে স্বীকৃতি হিসাবে হ'ল থামানো সমস্যা, এটি সিদ্ধান্ত গ্রহণযোগ্য নয়।

প্রসঙ্গে সংবেদনশীল ব্যাকরণ খুব কার্যকর নয়। প্রসঙ্গ- মুক্ত ব্যাকরণগুলির সাথে কাজ করার জন্য স্বজ্ঞাত, তবে উইকিপিডিয়ায় প্রদর্শিত উদাহরণ হিসাবে , প্রসঙ্গে- সংবেদনশীল ব্যাকরণগুলি খুব দ্রুত অগোছালো হয়ে যায়। বহুপদী স্থান ব্যবহার প্রোগ্রাম আরো অনেক কিছু সহজেই ডিজাইন করা হয় (এবং -completeness গ্যারান্টী কিছু সমতুল্য CSG যে শুধুমাত্র polynomially আপনার আলগোরিদিম স্থান ব্যবহার চেয়ে বড় অস্তিত্ব)।$PSPACE$

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

সীমাবদ্ধ ব্যাকরণগুলি এমনকি অদ্ভুত হয়ে ওঠে: সম্ভবত কোনও প্রসঙ্গের উপর নির্ভর করে একটি অবিচ্ছিন্ন 'প্রসারিত' এবং এটি একটি উত্পাদন দিয়ে প্রতিস্থাপনের ধারণা নেই। আপনাকে নিখরচায় প্রসঙ্গটিও সংশোধন করার অনুমতি দেওয়া হয়েছে। এটি সীমিত ব্যাকরণগুলির সাথে কাজ করার জন্য এমনকি স্বল্পতর স্বজ্ঞাত করে তোলে: প্রোগ্রামগুলি সমতুল্য এবং অনেক বেশি স্বজ্ঞাত।

Comments

কিন্তু প্রসঙ্গ-সংবেদী ভাষায় হয় দরকারী! উদাহরণস্বরূপ, এই আলোচনা দেখুন ।

— রাফেল

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

— অ্যালেক্স দশ ব্রিংক

তবে আপনি আপনার উত্তরের বেশিরভাগ অংশে ভাষা সম্পর্কে কথা বলতে পারেন। ব্যাকরণ সম্পর্কিত, ymmw। সিএফজি এবং সিএসজির মধ্যে এমন ব্যাকরণ মডেল রয়েছে যার মধ্যে প্রাকৃতিক মডেলিং অ্যাপ্লিকেশন রয়েছে, যেমন- মিলিত- / মাল্টি-সিএফজি।

— রাফেল

আপনি ঠিক বলেছেন, আমি যে ভাষাগুলি এবং ব্যাকরণ দেখি তার মধ্যে পার্থক্যটি নিয়ে আমি ম্লান হয়েছি। আমি আমার উত্তর আপডেট করেছি।

— অ্যালেক্স দশ ব্রিংক

Answer 2

সাধারণভাবে বলতে গেলে, আপনি সাধারণত একটি ছোট্ট ভাষাটি যা একটি প্রদত্ত ভাষা এল । এর কারণ এটি হ'ল ছোট শ্রেণিগুলি সহজ পদ্ধতির (অটোমেটা, ব্যাকরণ, নিয়মিত প্রকাশ ইত্যাদি) দ্বারা স্বীকৃত / গৃহীত / উত্পন্ন হতে পারে, যা আকাঙ্ক্ষিত।$L$

উদাহরণস্বরূপ, নিয়মিত ভাষার ক্লাসে ভাল বন্ধ করার বৈশিষ্ট্য রয়েছে এবং একটি ডিএফএ দেওয়া আপনি রৈখিক সময়ে পরীক্ষা করতে পারেন যে কোনও শব্দ এল ( এ ) এর সাথে সম্পর্কিত । বিপরীতে, একটি ট্যুরিং মেশিনের সাথে আপনার আউটপুট পড়ার জন্য রৈখিক সময় প্রয়োজন, যা সাধারণত প্রক্রিয়া শুরু করার আগে সাধারণত ঘটে ।$\mathcal{A}$$L(\mathcal{A})$

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

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

Comments

"সংক্ষেপে, ছোট শ্রেণীর জন্য কোনও শব্দ ভাষার অন্তর্ভুক্ত কিনা তা সিদ্ধান্ত নেওয়ার সমস্যা সমাধানের জন্য আপনার কম গণনার শক্তি প্রয়োজন" " ঠিক যেমন, তবে এটি কীভাবে টাইপ 1 বনাম টাইপ 0 তে প্রযোজ্য? ঠিক এটাই প্রশ্ন!

— বিটমাস্ক

$c$$cn$

Answer 3

প্রসঙ্গ-মুক্ত ভাষায়, ইনপুট পার্সিংয়ের যে কোনও সময়ে, অটোম্যাটন একটি স্ট্যাক দ্বারা সংজ্ঞায়িত অবস্থায় থাকে। ইনপুট যেখানে ব্যবহৃত হয় তা নির্বিশেষে প্রতিটি উত্পাদনের ব্যবহার একই রকম হয়।

এটি আকর্ষণীয় সম্পত্তির দিকে নিয়ে যায় যে প্রতিটি উত্পাদন স্ট্যাকের গভীরতর দ্বারা উত্পাদিত একটির উপ-ভাষা উত্পন্ন করে এবং এইভাবে প্রতিটি জুড়ির A এবং B উত্পাদন এবং উত্পাদিত যে কোনও নির্দিষ্ট ইনপুটটিতে আমাদের উত্পাদন সম্ভাব্য তিনটি ক্ষেত্রে থাকে:

• একটি: এ দ্বারা গ্রাহিত ইনপুট সম্পূর্ণভাবে বি দ্বারা গ্রাহিত ইনপুটটিতে থাকে; অথবা
• বি: এ দ্বারা গ্রাহিত ইনপুটটিতে বি দ্বারা গ্রাহিত ইনপুট সম্পূর্ণভাবে থাকে; অথবা
• সি: এ দ্বারা ব্যবহৃত ইনপুটটি বি দ্বারা গ্রহণ করা ইনপুট থেকে সম্পূর্ণ বিচ্ছিন্ন is

এটি বোঝায় যে নিম্নলিখিতগুলি কখনই ঘটে না:

• ডি: এ দ্বারা ব্যবহৃত ইনপুট আংশিকভাবে বি দ্বারা গ্রাহিত ইনপুটকে ওভারল্যাপ করে

এর বিপরীতে, প্রসঙ্গে-সংবেদনশীল ভাষাগুলিতে, প্রতিটি উত্পাদনের ব্যবহারটি এটি কোথায় ব্যবহৃত হয় তার উপর নির্ভর করে, সুতরাং কোনও উত্পাদনে ব্যবহৃত ইনপুট স্ট্যাকের গভীরতরগুলির একটি উপ-ভাষা নয় (আসলে, এটির সাথে এটি প্রক্রিয়াজাতকরণ) স্ট্যাক কাজ করবে না)। এবং আমাদের যে সম্ভাবনা d ঘটতে পারে।

আসল বিশ্বে, একটি প্রসঙ্গ-সংবেদনশীল ভাষা বোঝাতে পারে এমন একটি ক্ষেত্রে <b> গা bold় পাঠ্য </ b>, <i> তাতালিক </ i> এবং <u> আন্ডারলাইন করা পাঠ্য </ u> এই এইচটিএমএল ট্যাগগুলি এবং সেগুলিকে ওভারল্যাপ করা যাক, "এটি <i> মিশ্র </ u> ওভারল্যাপিং ট্যাগ </ i> সহ <u> পাঠ্য" " এটি বিশ্লেষণের জন্য এটি পর্যবেক্ষণ করুন এবং দেখুন যে সমস্ত প্রারম্ভিক ট্যাগগুলি শেষের ট্যাগগুলির সাথে মেলে, একটি পিডিএ তা করবে না কারণ এটি প্রসঙ্গমুক্ত নয়, তবে একটি এলবিএ সহজেই করবে।

Answer 4

সমাপ্তি সম্পত্তি

চমস্কি শ্রেণিবিন্যাসের সমস্ত ভাষার ক্লাসগুলির মধ্যে কেবল নিয়মিত এবং প্রসঙ্গে সংবেদনশীল ভাষা পরিপূরক হিসাবে বন্ধ রয়েছে । সুতরাং এটি প্রাসঙ্গিক সংবেদনশীল ভাষার এক ধরণের অনন্য বৈশিষ্ট্য।

প্রসঙ্গ-মুক্ত ভাষার বিপরীতে, সিএসও ছেদ এবং শফল পণ্যের অধীনে বন্ধ রয়েছে ।

Answer 5

টাইপ 1 এর যে কোনও ভাষা কোনও টুরিং মেশিন দ্বারা স্বীকৃত হতে পারে যা কেবল রৈখিক স্থান ব্যবহার করে (তথাকথিত লিনিয়ার বাউন্ডেড অটোমেটা)।

Comments

হ্যাঁ, এটিই সংজ্ঞা। তবে এই বিধিনিষেধটি কীভাবে আমাকে সহায়তা করে?

— বিটমাস্ক

এটি আমাকে সহায়তা করে কারণ এটি সিএসজিগুলিকে স্বীকৃতি দেওয়ার পরিবর্তে ইএসপি-র পরিবর্তে ই-তে সীমাবদ্ধ করে। কীভাবে এটি আপনাকে সহায়তা করে আমি জানি না :)

— সুরেশ 21

Answer 6

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

Answer 7

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

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

Answer 8

আধুনিক প্রোগ্রামিং ভাষা সর্বদা প্রসঙ্গে সংবেদনশীল বৈশিষ্ট্য ব্যবহার করে; তারা একটি সাবসেটের মধ্যে পড়ে যা দক্ষতার সাথে সিদ্ধান্ত নেওয়া যেতে পারে।

উদাহরণগুলি হ'ল নাম এবং প্রকার বিশ্লেষণ এবং টাইপ অনুমান।

Answer 9

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

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