কোনও বিকল্প ছাড়াই নিয়মিত অভিব্যক্তি


9

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

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

তবে কোনও বিন্যাস ছাড়াই কোনও আকর্ষণীয় শ্রেণীর ভাষা তৈরি করা যায়? তিনটি অপারেটর ছাড়া কোনও একক শব্দ যা উত্পন্ন হতে পারে। পরিপূরক অপারেটর এখানে বেশি সাহায্য করে না।

কেবল ক্লিন তারার সাথে ক্লাসটি কিছুটা আকর্ষণীয় ... এটি নিয়মিত ভাষার চেয়ে আরও দ্রুততর কোনওরূপে স্বীকৃত হতে পারে কিনা তা পরিষ্কার নয়। (এগুলি সম্পর্কে কি স্বতন্ত্র কিছু জানা যায়?)

ক্লিন তারকা এবং পরিপূরক উভয়ের সাথে ... আপনি আকর্ষণীয় কিছু পান? এই শ্রেণীর একটি নাম আছে?

এই প্রশ্নটি গণিতের নিয়মিত অভিব্যক্তি প্রশ্ন দ্বারা অনুপ্রাণিত হয়েছিল।


বিকল্প মানে কি? এছাড়াও, এটি "ক্লিন"।
সুরেশ ভেঙ্কট

1
@ সুরেশ ভেঙ্কট: ইউনিয়ন, লজিকাল ওআর, |, /, ∪ ∪
চার্লস

উল্লেখ্য যে মূল প্রসঙ্গে ক্লাসটির পরিপূরক নেই তবে এর ব্যাকফেরেন্স রয়েছে।
পিটার টেলর

@ পিটার টেইলর: সঠিক। আমি ব্যাক-রেফারেন্সগুলিতে একটি ফলো-আপ প্রশ্ন জিজ্ঞাসা করার মনস্থ করি, কিন্তু আমি ভেবেছিলাম যে এই প্রশ্নের মধ্যে ফিট করা খুব বেশি হবে।
চার্লস

উত্তর:


12

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

বেনেদেক নাগি: "ইউনিয়ন-মুক্ত নিয়মিত ভাষা এবং 1-চক্র-মুক্ত-পথ-অটোমাতা", পাবলিকেশনস ম্যাথমেটেমি 68 (1-2), 2006।

সের্গেই আফোনিন এবং ডেনিস গোলোমাজভ: "নিয়মিত ভাষার ন্যূনতম ইউনিয়ন-মুক্ত পচন", ভাষা এবং অটোমেটা থিওরি এবং অ্যাপ্লিকেশনস, স্প্রঞ্জার ২০০৯।

গালিনা জিরস্কোভো এবং টোমস ম্যাসোপস্ট: "ইউনিয়ন-মুক্ত নিয়মিত ভাষাগুলিতে জটিলতা", ভাষা তত্ত্বের বিকাশ, স্প্রিংগার 2010।


1
খুশী হলাম। পরিপূরক থেকে অতিরিক্ত শক্তি সম্পর্কে কিছু জানা যায়?
চার্লস

1
সংক্ষিপ্ত নীটপিকি সংশোধন: আফোনিন এবং গোলোমাজভের কাগজটি ডিএলটি ২০০৯ সালে নয়, লাতায় ২০০৯ এ প্রকাশিত হয়েছিল
ডোমিনিক ডি ফ্রেইডেনবার্গার
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.