Apakah ada satu-counter bahasa yang benar-benar non-deterministik yang komplemennya adalah satu-counter?

Biarkan $A= \{L \mid L \;\text{is one-counter and \(\bar{L}\) is also one-counter} \}$

Jelas,$\text{Deterministic one-counter} \subseteq A$

Apakah ini ?$A = \text{Deterministic one-counter}$

Saya tahu bahwa untuk bahasa bebas konteks, analognya tidak demikian. Sebagai contoh, misalkan . Maka dan bebas konteks tapi tidak deterministik. Karenanya mendefinisikan subset (ketat) dari bahasa bebas konteks.$P =\{ ww^r\}$$P$$\bar{P}$$P$$A$

Pertanyaannya adalah: dapatkah kita membuat contoh satu-counter yang sama dengan yang dimiliki oleh hal yang sama?

Menanggapi komentar Shaull di atas:

Yang pertama adalah gambar penerimaan 1-counter $a^ib^j$ st $j<i$

Yang kedua adalah gambar penerimaan 1-counter $a^ib^j$ st $j>i,\ j<2i$

Yang ketiga adalah gambar penerimaan 1-counter $a^ib^j$ st $j>2i$

Di sini a / - / plus berarti melihat, terlepas dari nilai penghitung, menambah penghitung. b /> 1? / sub berarti melihat b, jika nilai penghitung lebih besar dari 1, maka mengurangi penghitung.

nop => tidak ada operasi

$\lambda$ => string kosong