লিনিয়ার বাউন্ডেড অটোমেটা কেন অন্য অটোমেটার মতো জনপ্রিয় নয়?

9

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

computability fl.formal-languages automata-theory

— goric
সূত্র

এই প্রশ্নটি দেখুন: চমস্কি-শ্রেণিবিন্যাস কি পুরানো?

— কাভেহ

সংযুক্ত প্রশ্নটি কীভাবে সম্পর্কিত, আপনি কী ব্যাখ্যা করতে পারেন? (কারণ আমি মনে করি না তার স্বন এখানে সহায়ক, কিন্তু পৃথক উত্তর হতে পারে)

— রাফায়েল

2

@ রাফেল: প্রসঙ্গে সংবেদনশীল ভাষাগুলিকে কেন আগের মতো গুরুত্বপূর্ণ বিবেচনা করা হচ্ছে না তা ব্যাখ্যা করার সাথে কাভে যুক্ত প্রশ্নের উত্তর: সংক্ষেপে আরও কিছু আকর্ষণীয় মডেল বিবেচনা করতে হবে। (আরও)

— সোসোশি ইটো

2

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

— সোসোশি ইটো

1

সোসোশি, আমার প্রশ্নের ব্যাখ্যাটি হ'ল এফএ, পিডিএ এবং বাকি চমস্কি হায়ারার্কি (আপনার / উত্তরগুলির যুক্তি দ্বারা সমানভাবে বিরক্তিকর) শেখানো হয়, তবে এলবিএ হয় না।

— রাফেল

13

"যথাযথ" পরিবর্তনগুলি সহ আমরা এই ক্লাসগুলিকে জটিলতার ক্লাসে রূপান্তর করতে পারি; মধ্যে নির্দিষ্ট অটোমাটা , সিএফএল LogCFL মধ্যে, এবং LBA, PSPACE মধ্যে। $NC^1$

এটি এখন একেবারে পরিষ্কার হওয়া উচিত যে আমরা এলবিএর চেয়ে প্রথম দুটিটিতে কেন আগ্রহী। প্রথম দুটি স্বাভাবিকভাবেই সম্ভাব্য গণনার সংজ্ঞাতে ফিট করে। তবে পিএসপিএসি করে না।

— ভি বিনয়
সূত্র

1

এলএসবিএকে পিএসপিএসি-তে রূপান্তর করা প্রায় লাইনারি স্পেসের মতো শোনায় আপনার পিএসপিএসিই ক্যাপচার করা দরকার যা স্পষ্টভাবে সত্য হতে পারে না। তাহলে ভাবতে আমার ত্রুটি কী?

— সুরেশ ভেঙ্কট

2

@ সুরেশ: নিম্নলিখিত সংযোগ রয়েছে। (NC1-) নিয়মিত ভাষাগুলিতে হ্রাসযোগ্য শ্রেণীর শ্রেণি হ'ল এনসি 1, সমস্যার শ্রেণি (লগ-স্পেস-) সিএফএলকে হ্রাসযোগ্য লগসিএফএল, এবং সমস্যাগুলির শ্রেণি (এনসি 1- বা লগ-স্পেস-) এলবিএ-তে হ্রাসযোগ্য PSPACE হয়। আমি নিশ্চিত নই যে এই তিনটি ক্ষেত্রেই আমরা হ্রাসের একই ধারণাটি ব্যবহার করতে পারি কিনা।

— Tsuyoshi Ito

অন্য শ্রেণির জন্য সম্পূর্ণ সমস্যা রয়েছে (এমনকি এর অধীনেও

A C^{0}

$AC^0$ হ্রাস) ক্লাসটি আকর্ষণীয় হওয়ার কোনও ভাল কারণ বলে মনে হয় না।

— কাভেঃ

3

ঠিক আছে, আপনার অধ্যাপককে জিজ্ঞাসা করুন কেন তিনি এটি করেছিলেন। আমি কেবল অনুমান করতে পারি

তারা ট্যুরিং সম্পূর্ণ মডেল এবং পিডিএর মতো আকর্ষণীয় নয় কারণ তারা অনর্থকতার অকার্যকর * তারা তাদের ভাষার সমতুল্য সাথে অবশ্যই ভাগ করে নেয়: যতটা সম্ভব শক্তিশালী নয়, তবে ইতিমধ্যে অনেকগুলি অক্ষম।

আর একটি কারণ হতে পারে যে তাদের সম্পর্কে তেমন কিছু জানা নেই (এখানে অনুমান করা) তবে এটি মুরগি-ডিম-সমস্যায় নেমে আসতে পারে।

এটা অস্পষ্ট আবহাওয়া $NLBA = DLBA$ , যাতে ড্যাডিকটিক্সের জন্য সমস্যা তৈরি হতে পারে। এছাড়াও, সাধারণ প্রমাণগুলি (যেমন স্বীকৃত ভাষা, মডেলের সমতুল্যতা) অন্যান্য মডেলের তুলনায় অনেক বেশি শক্ত।

(*) ইচ্ছাকৃত অতিরঞ্জিত

— রাফায়েল
সূত্র

2

দেখে মনে হচ্ছে যে কেবল সিএসজি নয়, সিএফজি, ... আজকাল ফ্যাশনের বাইরে রয়েছে। আমি এই দিন অটোমাটা এবং পিডিএ সাধারণত computability / জটিলতা তত্ত্ব কোর্সে মনে করা হয় মনে (যদি আদৌ) এবং সেখানে তারা অন্তর্ভুক্ত করা হয় না তাদের নিজস্ব স্বার্থে কিন্তু টুরিং মেশিন পরিচয় করিয়ে দিতে।

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

— Kaveh
সূত্র

1

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

— মিশেল ক্যাডিলহ্যাক

1

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

— রাফেল

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

— কাভেহ

সুতরাং আপনি সমগ্র বিশ্বের প্রতিটি লেখক এবং প্রভাষক ব্যক্তিগত কারণে ব্যক্তিগত? হ্যাঁ, ঠিক আছে। যাইহোক, দয়া করে নোট করুন যে "জটিলতা" শব্দটি পোস্ট করা প্রশ্নে মোটেও ঘটে না। উপরের মতো এন্টারপ্রাইজের মন্তব্য করে এবং সম্পাদনা করেও আপনি নোট করুন you ঘটনা, আপনি এটি পছন্দ করেন বা না চান।

— রাফেল

1

@ রাফেল, আপনি এখনও মনোযোগ সহকারে পড়েন না এবং আমি আপনার পছন্দের উপায়ে যা লিখি তা ব্যাখ্যা করা চালিয়ে যান না, আমার কাছে মনে হয় আপনি কেবল যুক্তি দিতে চান, আমার ধারণা আমার বক্তব্য যথেষ্ট পরিস্কার, সুতরাং আপনার মতানুসারে নির্দ্বিধায় দ্বিধা বোধ করবেন না। :)

— কাভেঃ

2

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

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

— যুবাল ফিল্ম
সূত্র

যেহেতু এলবিএগুলি প্রসঙ্গ-সংবেদনশীল ব্যাকরণগুলির বেশিরভাগ প্রাকৃতিক শ্রেণীর সমতুল্য, তাই আমি মনে করি না যে তারা কেবল মজাদার জন্য উদ্ভাবিত হয়েছিল। ;)

— রাফেল

@ রাফেল: ইউভাল তা মোটেই বোঝায় নি।

— পুনরায় পোস্টার