Biarkan menjadi kelas dari semua bahasa reguler.
Diketahui dan \ mathsf {REG} \ tidak \ subset \ mathsf {AC} ^ 0 . Tetapi apakah ada karakterisasi untuk bahasa di \ mathsf {AC} ^ 0 \ cap \ mathsf {REG} ?
Biarkan menjadi kelas dari semua bahasa reguler.
Diketahui dan \ mathsf {REG} \ tidak \ subset \ mathsf {AC} ^ 0 . Tetapi apakah ada karakterisasi untuk bahasa di \ mathsf {AC} ^ 0 \ cap \ mathsf {REG} ?
Jawaban:
Makalah berikut ini sepertinya berisi jawaban:
Campur Barrington, DA, Compton, K., Straubing, H., Therien, D .: Bahasa reguler di . Jurnal Ilmu Komputer dan Sistem 44 (3), 478-499 (1992) ( tautan )
Salah satu penokohan yang didapat ada sebagai berikut. Kelas berisi persis bahasa-bahasa yang dapat diperoleh dari , dan untuk dengan sejumlah terbatas operasi dan gabungan Boolean. Di sini setiap bahasa berisi semua string yang panjangnya dapat dibagi oleh . (Ada juga karakterisasi logis dan dua yang aljabar.)
Bahasa reguler di dalam adalah subset "bagus" dari bahasa biasa. Mereka memiliki karakterisasi logis dan aljabar yang bagus.
Buku "Finite Automata, Formal Logic, dan Complexity Circuit" oleh Straubing mempertimbangkan pertanyaan-pertanyaan ini.
Pertanyaan Anda dapat dijawab sebagai berikut.
F O [ < , S u c , ≡ ] = = bahasa yang dikenali oleh monoids semu-aperiodik.
Di sini adalah logika urutan pertama menggunakan kurang dari, penerus dan predikat numerik.x ≡ ( 0 m o d q )
Karakterisasi lain seperti yang ditunjukkan dalam "Bahasa reguler di " adalah himpunan bahasa yang dapat dibentuk menggunakan himpunan huruf hingga, PANJANG (q) dan menutupnya di bawah kombinasi dan gabungan boolean.