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