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).
Terima kasih!
automata-theory
regular-language
regular-expressions
raja.damanik
sumber
sumber
Jawaban:
Berikut adalah daftar beberapa hierarki minat, beberapa di antaranya sudah disebutkan dalam jawaban lain.
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 1 ⋯ a n L n a 1 , … , a n { ∅ , A ∗ } ) { ∅ , { 1 } , A + , A ∗ } )L L0,L1,…,Ln L=L0a1L1⋯anLn a1,…,an {∅,A∗}) {∅,{1},A+,A∗})
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 2n n 0 1 , tetapi tidak ada bahasa dengan tinggi bintang diketahui! Tidak ada hasil yang diketahui pada ketinggian bintang menengah. Lihat makalah ini untuk ikhtisar.2
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 Σn Q(x1,...,xk)φ φ Q(x1,...,xk) n Q ( 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 Πn BΣn Σn a a x a x < M o d nΔn= Σn∩ Πn Sebuah a x Sebuah x < (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.o d n
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 i ∈ L X 1 ⊇ X 2 ⊇ X 3 ⊇ ⋯ ⊇ X n D n ( L ) ⊆ D n + 1 ( L ) D n ( L ) LL. Dn( L )
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.10 1
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 0 ∩ R e g A C C ( q ) = { L ⊆ { 0 , 1 } ∗ ∣ L ⩽ A C 0 M q q ′[ 1 ] A C0∩ R e g MA CC( q) = { L ⊆ { 0 , 1 }∗∣ L ⩽A C0M.O Dq} M.O Dq= { u ∈ { 0 , 1 }∗∣ | kamu |1≡ 0 mod q} q q′ A C C ( q ) ∩ R e g qA CC( q) ⊆ A CC( q′) A CC( q) ∩ R e g q
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
sumber
Memperluas komentar: hirarki alami adalah yang disebabkan oleh jumlah negara DFA.
Kita dapat mendefinisikanL.n={L∣ exists an n-states DFA D s.t. L(D)=L}
( , )| Q | = nD={Q,Σ,δ,q0,F} |Q|=n
Jelas (cukup gunakan status mati)Ln⊆Ln+1
Untuk memperlihatkan inklusi yang tepat kita cukup memilih bahasa: L n + 1 ={ a i ∣i≥n}∈ L n + 1Ln⊊Ln+1 Ln+1={ai∣i≥n}∈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{ai∣i≥n} n+1 q0→aq1→Sebuah. . .→Sebuahqn F= { qn} qn→Sebuahqn qn n + 1 L.n + 1 q0 qf n + 1 Sebuahsaya saya < n n L n + 1Ln+1 n Ln+1 .
sumber
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.
sumber
Ada beberapa hierarki alami untuk bahasa reguler kata-kata tak terbatas, yang menyampaikan gagasan "kompleksitas bahasa", misalnya:
Hirarki ini dapat digeneralisasikan untuk bahasa reguler pohon tak terbatas, yang untuknya hierarki baru muncul, lihat misalnya jawaban ini .
sumber