Biarkan nomor diberikan. Pertimbangkan bahasa berikut L n = { .
Dengan kata lain, adalah himpunan string salinan dengan panjang 2 n .
Pertimbangkan fungsi kompleksitas keadaan berikut sehingga s ( n ) adalah jumlah negara di Automata Pushdown terkecil yang mengenali L n .
Pertanyaan: Bisakah Anda secara resmi membuktikan batas bawah yang berarti untuk ?
Dugaan Saya: .
Upperbound yang dikenal: .
Aturan:
(1) Alfabet tumpukan harus biner.
(2) Pita input satu arah dan tidak dapat berhenti pada karakter input apa pun.