Teorema Savitch menunjukkan bahwa untuk semua fungsi yang cukup besar , dan membuktikan bahwa ini ketat telah menjadi masalah terbuka selama beberapa dekade. .f
Misalkan kita mendekati masalah dari ujung yang lain. Untuk kesederhanaan, asumsikan alfabet Boolean. Jumlah ruang yang digunakan oleh TM untuk menentukan bahasa yang dapat dihitung sering terkait erat dengan logaritma jumlah negara yang digunakan oleh automaton yang mensimulasikan TM untuk setiap irisan bahasa secara teratur. Ini memotivasi pertanyaan berikut.
Biarkan menjadi jumlah DFA yang berbeda secara sintaksis dengan status , dan biarkan menjadi jumlah NFA berbeda dengan status . Sangat mudah untuk menunjukkan bahwa dekat dengan . n N n n lg N n ( lg D n ) 2
Selanjutnya, biarkan menjadi jumlah bahasa reguler yang berbeda yang dapat dikenali oleh DFA dengan negara , dan biarkan menjadi nomor yang diakui oleh NFA. n N ′ n
Apakah diketahui apakah dekat dengan ? ( lg D ′ n ) 2
Tidak jelas bagi saya bagaimana dan , atau dan , saling terkait satu sama lain, atau seberapa dekat. Jika semua ini berhubungan dengan pertanyaan terkenal dalam teori automata maka petunjuk atau penunjuk akan dihargai. Pertanyaan yang sama juga relevan untuk automata dua arah, karena alasan yang sama, dan saya sangat tertarik dengan versi ini.