Hierarki dalam bahasa reguler


14

Apakah ada hierarki "baik" yang diketahui (mungkin terbatas) di dalam kelas bahasa reguler ? Dengan baik di sini, kelas-kelas di setiap hierarki menangkap ekspresifitas / kekuatan / kompleksitas yang berbeda. Juga, keanggotaan masing-masing kelas "baik" ditunjukkan oleh beberapa elemen (tidak seperti masalah ketinggian bintang yang mungkin bermasalah).L0L1L2L

Terima kasih!


3
Hirarki alami adalah yang disebabkan oleh jumlah negara.
Marzio De Biasi

9
Kanonik adalah hierarki kedalaman titik, ditandai dengan pergantian kuantifier dalam FO (<). Pada dasarnya, (penutupan Boolean) pergantian quantifier memberi Anda kelas dan hierarki yang kuat.
Michaël Cadilhac

Kedua jawaban itu sepertinya jawaban yang sangat baik bagi saya ...
Joshua Grochow

4
Ada juga tinggi bintang .
reinierpost

Apa yang Anda maksud dengan hierarki "baik" versus "keanggotaan masing-masing kelas" dengan baik "ditunjukkan oleh beberapa elemen"? ". Di luar bahasa reguler, hierarki polinom tampaknya dianggap sebagai hierarki yang bagus terlepas dari kenyataan bahwa keanggotaan dan bahkan keberadaan hierarki yang nyata masih harus dibuktikan
J.-E. Pin

Jawaban:


15

Berikut adalah daftar beberapa hierarki minat, beberapa di antaranya sudah disebutkan dalam jawaban lain.

  1. Hirarki konkatasi

Sebuah bahasa adalah produk ditandai dari jika untuk beberapa surat . Hirarki konkatasi didefinisikan dengan bergantian operasi Boolean dan operasi polinomial (= gabungan dan produk yang ditandai). Hirarki Straubing-Thérien (titik awal dan hierarki kedalaman-titik (titik awal dari jenis ini, tetapi Anda dapat mengambil titik awal lainnya, terutama bahasa grup (bahasa yang diterima oleh robot permutasi).L 0 , L 1 , , L n L = L 0 a 1 L 1a n L n a 1 , , a n { , A } ) { , { 1 } , A + , A } )LL0,L1,,LnL=L0a1L1anLna1,,an{,A}) {,{1},A+,A}) 

  1. Hirarki bintang-tinggi

Pola umum adalah untuk menghitung jumlah minimal bintang bersarang yang diperlukan untuk mengekspresikan bahasa mulai dari huruf, tetapi beberapa varian dimungkinkan, tergantung pada operator dasar yang Anda izinkan. Jika Anda hanya mengizinkan penyatuan dan produk, Anda menentukan ketinggian bintang terbatas, jika Anda mengizinkan penyatuan, pelengkap dan produk, Anda menentukan tinggi-bintang (umum) dan jika Anda mengizinkan penyatuan, persimpangan dan produk, Anda menentukan tinggi-bintang menengah . Ada bahasa bintang terbatas untuk setiap dan aktif dapat secara efektif menghitung ketinggian bintang dari bahasa reguler yang diberikan. Untuk tinggi bintang, tinggi bintang dapat dipilih ( bahasa bebas bintang ), ada bahasa dengan tinggi bintangn 0 1 2nn01, tetapi tidak ada bahasa dengan tinggi bintang diketahui! Tidak ada hasil yang diketahui pada ketinggian bintang menengah. Lihat makalah ini untuk ikhtisar.2

  1. Hirarki logis

Ada banyak dari mereka, tetapi salah satu yang paling penting adalah apa yang disebut hirarki . Rumus dikatakan sebagai jika setara dengan rumus bentuk mana bebas kuantifier dan adalah urutan blok quantifiers sehingga blok pertama hanya berisi quantifiers eksistensial (perhatikan bahwa blok pertama ini mungkin kosong), blok kedua quantifiers universal, dll. Demikian pula, jika adalah terbentuk dari bolak-balik kuantifikasi yang dimulai dengan blok bilangan universal (yang lagi-lagi mungkin kosong), kita mengatakan bahwaΣ n Q ( x 1 , . . . , X k ) φ φ Q ( x 1 , . . . , X k ) n Q ( x 1 , . . . , X k ) n φ Π n Σ n Π n Σ n Π n B Σ n Σ n ΔΣnΣnQ(x1,...,xk)φφQ(x1,...,xk)nQ(x1,...,xk)nφadalah . Mendenotasikan oleh (resp. ) kelas bahasa yang dapat didefinisikan oleh -formula (resp. A -formula) dan oleh penutupan Boolean dari -languages . Akhirnya, biarkan . Gambaran umum terlihat seperti yang satu ini tentu saja perlu menentukan tanda tangan. Biasanya ada predikat untuk setiap huruf (dan berarti ada huruf pada posisi dalam kata). Maka seseorang dapat menambahkan simbol binerΠnΣnΠnΣnΠnBΣnΣna a x a x < M o d nΔn=ΣnΠnmasukkan deskripsi gambar di siniSebuahSebuahxSebuahx<(hierarki yang sesuai adalah hierarki Straubing-Thérien) dan juga simbol penerus (hierarki yang sesuai adalah hierarki titik-kedalaman). Kemungkinan lain termasuk predikat, untuk menghitung modulo , dll Lihat lagi ini kertas untuk gambaran.M.Haidn

  1. Hierarki Boolean

Pola umum (yang tidak spesifik untuk bahasa biasa) adalah karena Hausdorff. Biarkan menjadi kelas bahasa yang berisi set kosong dan set lengkap, dan ditutup di bawah persimpangan terbatas dan gabungan terbatas. Biarkan menjadi kelas dari semua bahasa dalam bentuk mana dan . Karena , kelas mendefinisikan hierarki dan penyatuan mereka adalah penutupan Boolean dariD n ( L ) X = X 1 - X 2 + ± X n X iL X 1X 2X 3X n D n ( L ) D n + 1 ( L ) D n ( L ) LL.Dn(L.)

X=X1-X2+±Xn
XsayaL.X1X2X3XnDn(L.)Dn+1(L.)Dn(L.)L.. Sekali lagi, berbagai titik awal dimungkinkan.
  1. Kompleksitas kelompok

Hasil dari Krohn-Rhodes (1966) menyatakan bahwa setiap DFA dapat disimulasikan oleh kaskade reset (juga disebut flip-flop) automata dan automata yang semigroup transisinya adalah grup hingga. Kompleksitas kelompok suatu bahasa adalah jumlah kelompok yang paling sedikit terlibat dalam dekomposisi DFA minimal bahasa tersebut. Bahasa kompleksitas adalah bahasa bebas bintang dan ada bahasa dengan kompleksitas apa pun. Namun, tidak ada karakterisasi efektif dari bahasa kompleksitas yang diketahui.101

  1. Hierarki diwarisi dari kompleksitas sirkuit

Titik awalnya adalah artikel bagus yang menunjukkan khususnya bahwa kelas dapat dipilih. Biarkan , di mana . Jika membagi , maka . Pertanyaan yang menarik adalah mengetahui apakah dapat dipilih untuk apa pun .A C 0R e g A C C ( q ) = { L { 0 , 1 } L A C 0 M q q [1]SEBUAHC0RegMSEBUAHCC(q)={L.{0,1}L.SEBUAHC0M.HAIDq}M.HAIDq={kamu{0,1}|kamu|10modq}qqA C C ( q ) R e g qSEBUAHCC(q)SEBUAHCC(q)SEBUAHCC(q)Regq

N C 1[1] Barrington, David A. Mix; Compton, Kevin; Straubing, Howard; Thérien, Denis. Bahasa reguler di . J. Comput. Sistem Sci. 44 (1992)NC1


12

Memperluas komentar: hirarki alami adalah yang disebabkan oleh jumlah negara DFA.

Kita dapat mendefinisikanL.n={L. ada n-state DFA D st L.(D)=L.}

( , )| Q | = nD={Q,Σ,δ,q0,F}|Q|=n

Jelas (cukup gunakan status mati)L.nL.n+1

Untuk memperlihatkan inklusi yang tepat kita cukup memilih bahasa: L n + 1 ={ a iin} L n + 1LnLn+1Ln+1={aiin}Ln+1

Sangat informal: DFA (minimum) yang mengenali harus berupa "rantai negara" dengan panjang : , dan ( memiliki self-loop). Jadi menyatakan cukup untuk menerima . Tetapi setiap jalur penerimaan dari ke keadaan akhir yang lebih pendek dari harus menerima beberapa dengan yang bukan milik , jadi DFA dengan atau lebih sedikit negara bagian yang tidak dapat meneriman + 1 q 0 a q 1 a . . . a q n F = { q n } q n a q n q n n + 1 L n + 1 q 0 q f n + 1 a i i < n L n{aiin}n+1q0Sebuahq1Sebuah...SebuahqnF={qn}qnSebuahqnqnn+1L.n+1q0qfn+1Sebuahsayasaya<n n L n + 1Ln+1nLn+1 .


8

Saya baru-baru ini menemukan makalah ini yang dapat memberikan contoh lain yang relevan (lih. Kalimat terakhir dari abstrak):

Guillaume Bonfante, Florian Deloup: Genus bahasa reguler.

Dari abstrak: Artikel ini mendefinisikan dan mempelajari genus state deterministic automata (FSA) dan bahasa reguler. Memang, FSA dapat dilihat sebagai grafik yang muncul gagasan genus. Pada saat yang sama, FSA memiliki semantik melalui bahasa dasarnya. Maka wajar untuk membuat hubungan antara bahasa dan gagasan genus. Setelah kami memperkenalkan dan membenarkan gagasan genus untuk bahasa reguler, [...] kami membangun bahasa reguler dari genus besar yang sewenang-wenang: gagasan genus mendefinisikan hierarki yang tepat untuk bahasa reguler.


5

Ada beberapa hierarki alami untuk bahasa reguler kata-kata tak terbatas, yang menyampaikan gagasan "kompleksitas bahasa", misalnya:

  • Jumlah peringkat yang dibutuhkan dalam otomat paritas deterministik
  • Hirarki Wadge (atau Wagner): kompleksitas topologi, level .ωω

Hirarki ini dapat digeneralisasikan untuk bahasa reguler pohon tak terbatas, yang untuknya hierarki baru muncul, lihat misalnya jawaban ini .

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.