Saya mencoba untuk memecahkan masalah tertentu, dan saya pikir saya mungkin bisa menyelesaikannya dengan menggunakan teori automata. Saya bertanya-tanya, model automata apa yang memiliki penahanan yang dapat ditentukan dalam waktu polinomial? yaitu jika Anda memiliki mesin Anda dapat menguji apakah efisien.
Yang jelas yang terlintas dalam pikiran adalah DFA dan mesin penghitung pembalikan di mana jumlah penghitung ditetapkan (lihat makalah ini ).
Apa kelas penting lainnya yang dapat ditambahkan ke daftar ini?
Semakin kuat automata, semakin baik. Sebagai contoh, DFA's tidak cukup untuk menyelesaikan masalah saya, dan mesin penghitung tidak dapat melakukannya dengan jumlah counter tetap. (Tentu saja, jika Anda menjadi terlalu kuat, maka penahanan tidak bisa dilakukan, seperti untuk NFA, atau tidak dapat dipastikan, untuk CFG).