Pertanyaan yang diberi tag «counter-automata»

2
Bahasa unary dikenali oleh counter automata deterministik dua arah
2dca (dua arah deterministik one-counter automata) (Petersen, 1994) dapat mengenali bahasa unary berikut: POWER={02n∣n≥0}.POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} Apakah ada bahasa unary nontrivial lain yang dikenali oleh 2dca? Perhatikan bahwa masih belum diketahui apakah 2dca dapat mengenali ?SQUARE={0n2∣n≥0}SQUARE={0n2∣n≥0} \mathtt{SQUARE} = \lbrace 0^{n^2} \mid n …

1
Bisakah mesin dua penghitung memutuskan
Dapatkah mesin standar dua penghitung ( ) dengan instruksi berikut:c1,c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT tentukan bahasa berikut: L={n2∣n≥1}L={n2∣n≥1}L = \{ n^2 \mid n \geq 1 …

1
Bisakah automata bolak-balik satu arah dengan satu penghitung mengenali beberapa bahasa non-reguler yang tidak umum?
One-way alternating pushdown automata (1APDA) dapat mengenali bahasa apa pun di (Alternatif oleh Chandra, Kozen, dan Stockmeyer, 1981) . Dengan mengganti penyimpanan pushdown 1APDA dengan penghitung, kita bisa mendapatkan otomat bolak-balik satu arah dengan satu penghitung (1ACA). Pertanyaan saya adalah tentang 1ACA pada bahasa unary.D TsayaM.E( 2O ( n ))DTsayaM.E(2HAI(n)) …

1
Dua arah deterministik penghitung multihead automata atau logspace TM dengan penghitung
Apakah itu diketahui sesuatu tentang bahasa yang dikenali oleh automaton counter multihead deterministik dua arah atau logspace TM dengan counter (model setara)? Kelas ini bernama Aux2DC dalam makalah penasihat saya . Atau tentang kelas nondeterministik seperti itu? Saya telah memperoleh bahwa kelas bahasa yang dikenali oleh maschine nondeterministic seperti itu …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.