Bahasa unary dikenali oleh counter automata deterministik dua arah

2dca (dua arah deterministik one-counter automata) (Petersen, 1994) dapat mengenali bahasa unary berikut:

P O W E R = {0^{2^{n}} ∣ n \geq 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 ? $\mathtt{SQUARE} = \lbrace 0^{n^2} \mid n \geq 0 \rbrace$

DEFINISI: 2dca adalah otomat terbatas deterministik dua arah dengan penghitung. 2dca dapat menguji apakah nilai penghitung adalah nol atau tidak, dan menambah atau mengurangi nilai penghitung sebesar 1 di setiap langkah.

fl.formal-languages automata-theory counter-automata

— Abuzer Yakaryilmaz
sumber

Bisakah Anda menambahkan tautan ke definisi 2DCA?

— Suresh Venkat

@ SureshVenkat: Saya menambahkan referensi dan juga definisi.

— Abuzer Yakaryilmaz

@AbuzerYakaryilmaz: untuk setiap

tetap dapat dikenali

k

$k$

{0^{k^{n}} : n \geq 0}

$\{0^{k^n} : n \geq 0\}$

— Marzio De Biasi

@MarzioDeBiasi: Algoritma untuk

dapat dengan mudah digeneralisasikan ke

, di mana

. Oleh karena itu, bahasa-bahasa ini cukup sepele bagi saya.

P O W E R

$\mathtt{POWER}$

P O W E R_{k} = {0^{k^{n}} ∣ n \geq 0}

$\mathtt{POWER_k} = \{0^{k^n} \mid n \geq 0\}$

k \geq 3

$k \geq 3$

— Abuzer Yakaryilmaz

Hm, sebenarnya saya pikir dengan cara ini saya hanya berakhir pada pengamatan yang sama dengan apa yang telah dibuat Marzio, jadi tidak ada yang baru dalam apa yang saya katakan. Saya masih tertarik pada apakah kita perlu membaca endmarker lebih dari beberapa kali.

— domotorp

Jawaban:

Ini hanya sebuah ide yang muncul di benak saya ketika membaca Marvin L. Minsky, "Kekuraman Rekursif atas Masalah Tag dan Topik-Topik Lain dalam Teori Mesin Turing"; khususnya teorema Ia yang terkenal:

Teorema Ia: Kita dapat merepresentasikan fungsi rekursif parsial oleh program yang beroperasi pada dua bilangan bulat dan menggunakan instruksi dari formulir: (i) ADD 1 ke , dan pergi ke ( ii) SUBTRACT 1 dari , jika dan pergi ke , jika tidak pergi ke Artinya, kita dapat membangun program seperti itu yang dimulai dengan $f(n)$ $S_1$ $S_2$ $I_j$
$S_j$ $I_{j_1}$
$S_j$ $S_j \neq 0$ $I_{j_1}$ $I_{j_2}$
dan dan akhirnya berhenti dengan dan $S_1 = 2^n$ $S_2 = 0$ $S_1 = 2^{f(n)}$ $S_2 = 0$

Jika Anda memiliki DFA dua arah dengan satu penghitung di atas pita tak terbatas (semi) di mana input diberikan secara unary: maka DFA dapat: $\$1^{2^n}000...$

baca input unary (dan simpan di konter);
kerjakan bagian dari pita dan gunakan jarak dari sebagai penghitung kedua. $0^\infty$ $1$

sehingga dapat mensimulasikan mesin dua counter Turing lengkap.

Sekarang, jika Anda memiliki fungsi rekursif yang berjalan dalam waktu pada mesin Turing standar, DFA dua arah dengan satu penghitung yang dimulai pada pita hingga $f(n)$ $T(n)$ $\$1^m\$ \;$ (di mana dan ) dapat: $m = 2^n3^{T'(n)}$ $T'(n) \gg T(n)$

baca input unary (dan simpan di konter);
kembali ke simbol paling kiri;
bagi penghitung dengan 3 sampai penghitung berisi dengan cara ini: belok ke kanan dari status dan kurangi 1; jika penghitung mencapai 0 dalam keadaan pergi ke simbol paling kiri menambahkan +1 dan melanjutkan loop pembagian, jika tidak tambahkan 1 (jika dalam keadaan ) atau 2 (jika dalam keadaan ) dan pergi ke simbol paling kiri menambahkan + 3 (mis. Pulihkan nilai sebelumnya dari penghitung yang tidak habis dibagi 3) dan lanjutkan dengan langkah 4 .; $2^n$ $q_{z_0}, q_{z_1}, q_{z_2}$ $q_{z_0}$ $q_{z_1}$ $q_{z_2}$
pada titik ini penghitung berisi ; $2^n$
hitung menggunakan ruang tersedia di sebelah kanan sebagai penghitung kedua (nilai penghitung kedua adalah jarak dari simbol paling kiri ). $2^{f(n)}$ $T'(n)$ $\$$

Jadi dengan pengkodean input khusus yang dijelaskan di atas yang memberikan ruang yang cukup pada rekaman terbatas, DFA dua arah dengan satu counter dan alfabet unary dapat menghitung setiap fungsi rekursif.

Jika pendekatannya benar, akan menarik untuk mempertimbangkan bagaimana memilih atau ketika itu cukup untuk memilih aneh besar dan menyandikan input sebagai , $T'(n) \gg T(n)$ $k \gg 2$ $1^m$ $m = 2^n k^n$

— Marzio De Biasi
sumber

-1

Dengan non-sepele, saya menganggap Anda maksud bahasa L yang tidak dapat diterima oleh 1dca. Di sini tampaknya bahasa seperti itu:

CENTER = {w | w lebih dari {0,1} * dan w = x1y untuk beberapa x, y sedemikian sehingga | x | = | y |}

Bahasa ini tidak dapat diterima oleh 1dca, tetapi BISA diterima oleh 1nca. Itu bisa diterima oleh 2dca. Detail dibiarkan sebagai latihan.

— pengguna14004
sumber

OP meminta unary bahasa (input diberikan sebagai

)

$ 1^{n} $

$\$1^n\$$

— Marzio De Biasi