একটি নির্দিষ্ট সসীম বর্ণমালা জন্য , একটি আনুষ্ঠানিক ভাষা উপর হয় নিয়মিত যদি একটি বিদ্যমান নির্ণায়ক সসীম যন্ত্রমানব (DFA তে) উপর Σ যা ঠিক গ্রহণ করে এল ।এল Σ
আমি যে ভাষাগুলিতে "প্রায়" নিয়মিত সেগুলি সম্পর্কে আগ্রহী যেগুলি আকারের অটোমাতা পরিবারগুলির দ্বারা স্বীকৃত হতে পারে যা এই শব্দ দৈর্ঘ্যের সাথে কেবল বহুবর্ষে বৃদ্ধি পায়।
আনুষ্ঠানিকভাবে আমাকে বলে যে একটি আনুষ্ঠানিক ভাষা দিন হয় স্বীকৃত একটি DFA তে দ্বারা পরিবার যদি প্রত্যেক শব্দের জন্য , লেট , হয় iff গ্রহণ (কোন ব্যাপার যদি অন্যান্য তা গ্রহণ বা না হোক), এবং আমাকে সংজ্ঞায়িত করি P-নিয়মিত একটি দ্বারা স্বীকৃত ভাষায় যেমন ভাষায় PTIME-গণনীয় DFA তে পরিবার বহুপদী আকারের, যথা, সেখানে একটি বহুপদীযেমন সকল । (এই নাম, "পি-নিয়মিত", আমি গঠিত, আমার প্রশ্ন জানতে যদি অন্য নামটি ইতিমধ্যেই এই। উল্লেখ্য এই হল বিদ্যমান না অর্থে P-নিয়মিত ভাষায় হিসাবে একই বিন্যাস অটোমাটা ।)
এই শ্রেণীর পি-নিয়মিত ভাষার অবশ্যই নিয়মিত ভাষা অন্তর্ভুক্ত থাকে (কেবলমাত্র সকল , যেখানে নিয়মিত ভাষা স্বীকৃতি দেওয়ার জন্য কিছু ডিএফএ রয়েছে); তবে এটি এটির একটি কঠোর সুপারিশ: উদাহরণস্বরূপ, এটি সুপরিচিত যে context প্রসঙ্গ-মুক্ত তবে নিয়মিত নয়, তবে এটি পি- নিয়মিত ( শুধু গণনা করা হয়েছে এর ঘটনার এবং এর ঘটনার )। তবে, যেহেতু আমার অটোম্যাটা বহুতল আকারের ডিএফএ হওয়া দরকার , কিছু আনুষ্ঠানিক ভাষা (আসলে কিছু প্রাসঙ্গিক মুক্ত ভাষা) নয়পি-রেগুলার: উদাহরণস্বরূপ, প্যালিনড্রোমগুলির ভাষা পি-নিয়মিত নয়, কারণ, স্বজ্ঞাতসারে, আপনি যখন কোনও শব্দের প্রথম অর্ধটি পড়েছেন, তখন যতগুলি সম্ভব শব্দ রয়েছে ততই আপনাকে আলাদা আলাদা রাষ্ট্রের প্রয়োজন, কারণ আপনার প্রয়োজন হবে দ্বিতীয়টির সাথে এই প্রথমার্ধে ঠিক মিলবে।
সুতরাং পি-নিয়মিত ভাষার শ্রেণি হল নিয়মিত ভাষার একটি কঠোর সুপারসেট যা প্রসঙ্গ-মুক্ত ভাষার সাথে অতুলনীয়। বস্তুত, এটা মনে হচ্ছে যে আপনি এমনকি বহুপদী ক্ষুদ্রতম ডিগ্রী উপর ভিত্তি করে P-নিয়মিত ভাষায় পার্থক্য করে ভাষাগুলি একটি অনুক্রমের পেতে পারেন , যার জন্য তারা -regular। এই শ্রেণিবদ্ধ কঠোর হয় তা দেখানোর জন্য উদাহরণগুলি তৈরি করা খুব কঠিন নয়; যদিও আমি এখনও এর মধ্যে ইন্টারঅ্যাকশনটি ভালভাবে বুঝতে পারি না এবং শ্রেণিবিন্যাসের একটি বিকল্প সংজ্ঞা যা জটিলতাও সীমাবদ্ধ করে ।
আমার প্রশ্ন হ'ল: এই ক্লাসটি যেটাকে আমি পি-রেগুলার বলি এবং এর সাথে সম্পর্কিত হায়ারার্কি কি আগে পড়াশোনা করা হয়েছিল? যদি হ্যাঁ, কোথায় এবং কোন নামে?
(একটি সম্ভাব্য লিংক ক্ষেত্র বা স্ট্রিমিং, বা অনলাইনে আলগোরিদিম সঙ্গে হল। এর পরিভাষায় ভাষা স্বীকৃতি সমস্যার জন্য আলগোরিদিম স্ট্রিমিং , আমি প্রত্যেক বর্গ (অথবা অনুক্রমের) একটি নির্ণায়ক, এক পাস স্বীকৃতি আলগোরিদিম থাকতে পারে যে আগ্রহী, বহু সংখ্যক রাজ্যের ব্যবহার (সুতরাং লোগারিদমিক মেমরি আকার), তবে আমি এই কাগজ বা সম্পর্কিত কাগজপত্রগুলিতে এই শ্রেণীর কোনও সংজ্ঞা পাইনি Note দ্রষ্টব্য, তবে আমার সমস্যাটির বাক্যটিতে শব্দের দৈর্ঘ্য আগে থেকেই জানা গেছে , যা স্ট্রিমিং প্রেক্ষাপটে কম স্বাভাবিক: স্ট্রীমিং মধ্যে আপনি যে পড়ার পর পৌঁছানো রাজ্যের সংখ্যা একটি বিশেষ "শেষ অফ শব্দ" প্রতীক, এবং একটি বাধ্যতা অসীম যন্ত্রমানব হিসাবে এই দেখতে পারে, অক্ষর বহুপদী হয় এন। আমি মনে করি যে এই পার্থক্যটি একটি তাত্পর্যপূর্ণ করে তোলে, সম্ভাব্য উদাহরণ: বাইনারি শব্দের ভাষা যার মূল্য তাদের দৈর্ঘ্যের দ্বারা বিভাজ্য, যা একটি নির্দিষ্ট দৈর্ঘ্যের পক্ষে সহজ তবে (আমি অনুমান করি) পূর্ব অর্থে অসীম অটোমেটনের দ্বারা প্রতিনিধিত্ব করা যায় না কারণ কোনও সনাক্তকরণ নেই দৈর্ঘ্য আগে থেকে জানা না থাকলে তৈরি করা যায়))
(এই পি-নিয়মিত শ্রেণীর জন্য অনুপ্রেরণা হ'ল কিছু সমস্যা, যেমন সম্ভাব্য শব্দের জন্য ভাষার সদস্যতার সম্ভাবনা, কেবল পিটিটাইম বলে মনে হয় কেবল ভাষা নিয়মিত নয়, যখন এটি পি-নিয়মিতও হয়, এবং আমি চেষ্টা করছি) কোন পরিস্থিতিতে এই সমস্যাগুলি ট্র্যাকটেবল হয় ঠিক তা চিহ্নিত করার জন্য))