Savitch এর উপপাদ্য অনুষ্ঠান সব বড় যথেষ্ট কাজকর্মের জন্য , এবং প্রতিপাদন যে এই আঁট কয়েক দশক ধরে একটি উন্মুক্ত সমস্যা হয়েছে হয় ।
মনে করুন আমরা অন্য প্রান্ত থেকে সমস্যার দিকে এগিয়ে যাই। সরলতার জন্য, বুলিয়ান বর্ণমালা অনুমান করুন। কোনও টিএম দ্বারা একটি গণনীয় ভাষা নির্ধারণের জন্য ব্যবহৃত জায়গার পরিমাণ প্রায়শই ঘনিষ্ঠভাবে সম্পর্কিত হয় প্রতিটি ভাষার নিয়মিত টুকরো জন্য টিএম অনুকরণ করে অটোমেটনের দ্বারা ব্যবহৃত রাষ্ট্রগুলির সংখ্যার লগারিদমের সাথে। এটি নিম্নলিখিত প্রশ্নকে অনুপ্রাণিত করে।
যাক সঙ্গে চিহ্নগুলি সিন্টেক্সের স্বতন্ত্র DFAs সংখ্যা হতে রাজ্যের দিন সঙ্গে স্বতন্ত্র NFAs সংখ্যা হতে যুক্তরাষ্ট্র। ( lg D n ) 2 এর নিকটবর্তী হওয়া সহজবোধ্য ।
উপরন্তু, দিন স্বতন্ত্র নিয়মিত ভাষা সঙ্গে একটি DFA তে দ্বারা স্বীকৃত হতে পারে সংখ্যা হতে রাজ্যের দিন হতে সংখ্যা একটি NFA দ্বারা স্বীকৃত।
( lg D ′ n ) 2 এর নিকটবর্তী কিনা তা জানা যায় ?
এটা আমার কাছে স্পষ্ট কিভাবে নয় এবং ডি ' এন , অথবা এন এন এবং এন ' এন , একে অপরের সাথে সম্পর্কিত হয়, অথবা কতটা নিবিড়ভাবে। যদি এই সমস্তটি অটোমাতা তত্ত্বের একটি সুপরিচিত প্রশ্নের সাথে সম্পর্কিত তবে একটি ইঙ্গিত বা পয়েন্টার প্রশংসা করা হবে। একই যুক্তির কারণে দ্বি-মুখী অটোমাতার জন্য একই প্রশ্নটিও প্রাসঙ্গিক এবং আমি এই সংস্করণে বিশেষভাবে আগ্রহী।