স্ট্রিং রূপান্তরগুলি অ-নিয়মিততার প্রমাণ করার জন্য কি কোনও পদ্ধতি আছে?


9

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

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

উত্তর:


2

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

তবে মনে হচ্ছে আপনি যা জিজ্ঞাসা করছেন তা হ'ল স্ট্রিং ট্রান্সডাকশনগুলির কিছু "মেশিন-স্বতন্ত্র" বৈশিষ্ট্য আছে কিনা (যেমন, মাইহিল-নেরোড)।

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

আপনি এখানে শুরু করতে পারেন

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