Dominoqq dan pembagian

Jika tidak ada kendala pada jumlah simbol di sisi kiri
aturan, tata bahasa disebut terbatas, dan bahasa yang sesuai, yang disebut
rekursif dominoqq, berisi CSLs dan banyak lagi. Robot yang sesuai untuk bahasa
enumerable yang rekursif adalah, pada kenyataannya, mesin Turing itu sendiri,
yang menetapkan link penting untuk pemrograman algoritmik umum.

Ini melengkapi hierarki dasar keluarga bahasa dominoqq, yang
berkaitan dengan pencantuman (mengabaikan ε) sebagai berikut:

Perawatan harus diambil dalam menafsirkan set inklusi ini.
Sementara set dominoqq adalah subset dari CFLs, karena RL dapat diungkapkan
dengan tata bahasa bebas konteks, juga kasus bahwa setiap CFL (atau memang
setiap bahasa sama sekali) adalah subset dari dominoqq, yaitu Σ *. Artinya,
dengan menaik hirarki, kita akan menambah rentang bahasa yang bisa kita
ungkapkan dengan membatasi Σ * dalam berbagai cara yang semakin luas.

Hirarki dominoqq telah terbagi dan dielaborasi dalam banyak
cara. Beberapa perbedaan penting akan dijelaskan.

Dalam dominoqq, kita dapat membedakan CFLs linear, yang
mencakup contoh (7) dan (11) yang diberikan di atas. Linear CFLs adalah mereka
yang dapat diungkapkan oleh tata bahasa yang tidak pernah menelurkan lebih dari
satu nonterminal, yaitu mereka di mana setiap aturan adalah bentuk mana A dan B
adalah setiap nonterminal dan Anda, dominoqq. Mesin yang sesuai dengan CFLs
linear adalah satu-turn PDA, yang dibatasi sehingga dalam efek tidak ada yang
dapat didorong pada tumpukan sekali sesuatu telah muncul.

Jika u atau v selalu kosong di setiap aturan formulir dominoqq
dan bahasa yang dihasilkan disebut Left-linear atau Right-linear,
masing-masing, dan bahasa yang sesuai adalah rls. Sebagai contoh, bahasa La
dari (2), yang pertama kali ditentukan oleh ekspresi reguler dan dengan
demikian teratur, juga dijelaskan oleh tata bahasa kanan-linear dari (8). Dalam
satu pengertian, maka CFLs linear dapat dianggap sebagai CFLs paling sederhana
yang tidak teratur.

Bahasa deterministik dan dominoqq.

Klasifikasi lain tergantung pada sifat derivasi dan perilaku
dominoqq yang menghasilkan atau mengenali bahasa. Salah satu perbedaan tersebut
adalah antara bahasa deterministik dan nondeterministik dan automata. Pada
dasarnya, dominoqq deterministik adalah salah satu masukan yang dapat diterima
dalam keadaan tertentu dari robot akan selalu menentukan keadaan yang berhasil
secara unik. Sebuah bahasa deterministik, pada gilirannya, adalah salah satu
yang dapat dikenali oleh beberapa mesin deterministik. Dominoqq gambar 1 adalah
deterministik, karena tidak ada simpul memiliki lebih dari satu busur
meninggalkannya dengan label yang sama. Dalam FSA nondeterministik, mungkin ada
lebih dari satu busur berlabel "0" meninggalkan node, misalnya, dan
kemudian pilihan harus dibuat; dalam mencoba untuk mengenali masukan yang
diberikan, pilihan itu mungkin kemudian terbukti menjadi salah satu, dalam hal
ini suatu pengakuan akan entah bagaimana harus mundur dan mencoba alternatif.

Dominoqq gambar 2 juga deterministik, dan dengan demikian
bahasa (7) adalah CFL deterministik. Hal ini dapat dilihat dari fakta bahwa
robot hanya perlu membaca 0 sampai ia bertemu dengan yang pertama 1, di mana
titik itu mulai bermunculan tumpukan sampai selesai; itu tidak perlu
"menebak" di mana untuk membuat saklar. Namun, bahasa palindromic
dari (11) adalah CFL nondeterministik, karena robot harus menebak Apakah itu
telah mengalami pusat palindrom di setiap titik, dan dapat mulai bermunculan
stack.

Setiap dominoqq nondeterministik dapat dikonversi ke FSA
deterministik, meskipun jelas sama tidak dapat dikatakan tentang PDA. Dengan
demikian, subset deterministik dari CFLs benar mengandung RLs.

Perbedaan lain yang berguna dalam dominoqq menyangkut
gagasan ambiguitas. Secara formal, kita mengatakan bahwa tata bahasa adalah
ambigu jika ada beberapa string yang lebih dari satu derivasi paling kiri
adalah mungkin. Seperti yang terjadi semua contoh tata bahasa yang kita berikan
adalah ambigu, tetapi mudah untuk menentukan tata bahasa ambigu, misalnya

Bisakah semua bahasa ditentukan oleh tata bahasa yang tidak
ambigu? Jawabannya adalah tidak, dan bahasa yang tidak dapat dihasilkan oleh
tata bahasa tersebut disebut secara inheren ambigu. Contohnya adalah CFL
berikut (jangan dikelirukan dengan dominoqq.

Intuitif, dapat dilihat bahwa bahasa ini akan berisi string,
misalnya mereka yang i = j = k, yang dapat diuraikan di lebih dari satu cara,
memuaskan satu atau yang lain dari elemen tata bahasa yang memaksakan kendala
pada dominoqq. Secara inheren bahasa ambigu yang selalu nondeterministik;
sebuah PDA mengenali (23), misalnya, harus menebak sebelumnya apakah akan
mendorong dan pop stack pada 0 dan 1 ' s, masing-masing, atau pada 1 ' s dan 2
' s.