পুশডাউন অটোমেটা এবং সিএফএলগুলির জন্য "আরও বীজগণিত" পদ্ধতির জন্য একটি রেফারেন্স?


17

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

আমি বিনামূল্যে দলের কিছু সংযোগের সচেতন (এবং কি Sakarovitch কল বিশেষত am involutive monoids যেমন, Dyck ভাষা, শামির এর উপপাদ্য ইত্যাদি যাইহোক, আমি একটি ছিল -) pushdown অটোমাটা এবং প্রসঙ্গ-মুক্ত ভাষায় তত্ত্ব সাকারোভিচ দ্বারা উল্লিখিত "প্রসঙ্গমুক্ত ভাষার সত্যিকারের গাণিতিক তত্ত্ব" এমন উত্স খুঁজে পাওয়া কঠিন সময়।

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

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

উত্তর:


9

১৯ar6 সাল থেকে সাকারোভিচের পিএইচডি থিসিস, মনোয়েডস সিনট্যাকটিকস এবং ভাষাগুলি অ্যালগ্রেব্রিকস (সিনট্যাকটিক মনোয়েডস এবং বীজগণিত ভাষা) শিরোনামে এই বিষয়টির চারদিকে ঘোরে। এই সময়ে, এটি পয়েন্টেড মনোয়েডগুলির সংজ্ঞাটির দিকে পরিচালিত করে (দেখুন, উদাহরণস্বরূপ, তাঁর এমএফসিএস'75৫ কাগজটি )। আশির দশকের আশেপাশে, সিএফএল-এর হটজ গ্রুপে স্থানান্তরিত অধ্যয়নের জন্য বেছে নেওয়া বীজগণিতীয় বস্তু সাকারোভিচ এমনকি অ্যাক্টায় এই বিষয়ে একটি গবেষণাপত্র রয়েছে INF। যতদূর আমি জানি, পয়েন্টেড মনোয়েডরা তাদের প্রাপ্য মনোযোগটি পেল না, যদিও একই ধারণাটি বেহলে, ক্রেবস এবং এট আল-তে পাওয়া যায় ; একইভাবে, আরও পরিশীলিত সরঞ্জামগুলির উপর ভিত্তি করে কিছু সাম্প্রতিক পন্থা, বিশেষত প্রস্তর দ্বৈততা, এই ধরনের অধ্যয়নের জন্য একটি উপযুক্ত কাঠামো সরবরাহ করতে পারে।

আর একটি আধুনিক পদ্ধতি হ'ল সিন্ট্যাক্টিক ধারণার জালির উপর ক্লার্কের সাথে আমি পরিচিত নই।

লেখকের আসল উদ্দেশ্য হিসাবে, একটি নিরাপদ উপায় হ'ল তাঁকে সরাসরি জিজ্ঞাসা করা।


5

মিশেল ক্যাডিলহ্যাক প্রদত্ত রেফারেন্সগুলি ছাড়াও আমাকে এই কাগজটি যুক্ত করতে দিন

বার্সটেল, জে .; বোসন, এল । প্রসঙ্গ-মুক্ত ভাষার একটি বীজগণিত তত্ত্বের দিকেতহবিল। অধিকার। 25 (1996), না। 3-4, 217--239।

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.