Pertanyaan yang diberi tag «regular-language»

Transduser yang dipertimbangkan di sini adalah Wikipedia yang disebut transduser keadaan terbatas . Perilaku transduser , yaitu, hubungan yang dihitungnya, ditulis : kata adalah output untuk iff .TTT[ T][T][T]yyyxxxx [ T] yx[T]yx[T]y Pertanyaan: Apakah masalah berikut dapat diputuskan: Diberikan: transduser dan bahasa reguler Putuskan: Apakah ia berpendapat bahwa , word, …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

DFA atau NFA membaca melalui string input dengan satu kepala, bergerak dari kiri ke kanan. Tampaknya wajar untuk bertanya-tanya tentang mesin negara-terbatas yang memiliki banyak kepala , yang masing-masing bergerak melalui input dari kiri ke kanan, tetapi tidak harus di tempat yang sama dalam input dengan yang lain. Mari kita …

10 fl.formal-languages  automata-theory  regular-language  nfa 

Biarkan menjadi alfabet terbatas. Untuk bahasa tertentu yang sintaksis monoid adalah gagasan terkenal dalam teori bahasa formal. Selanjutnya, monoid mengenali bahasa jika ada morfisme sedemikian rupa sehingga .L ⊆ A ∗SEBUAHAAL ⊆ A∗L⊆A∗L \subseteq A^{\ast} M L φ : A ∗ → M L = φ - 1 ( φ …

9 fl.formal-languages  automata-theory  regular-language  algebra  monoid 

Mengingat lengkap DFA , kita dapat mendefinisikan kumpulan fungsi f suatu untuk setiap satu ∈ Γ dan dengan f a : Q → Q , f a ( q ) = δ ( q , a ) . Kita dapat menggeneralisasikan gagasan ini ke kata w = a 1 , …

9 automata-theory  regular-language  monoid 

Untuk bahasa tetap pada beberapa alfabet , mari kita pertimbangkan masalah berikut, yang saya sebut -INTERLEAVING :A LL.LLSEBUAHAAL.LL Input: dua katau , v ∈ A∗u,v∈A∗u, v \in A^* Output: apakah ada suatu interleaving dari dan yang di .v LkamuuuvvvL.LL Di sini, interleaving dua kata dan adalah kata yang dapat diperoleh …

9 cc.complexity-theory  reference-request  regular-language 

Biarkan menjadi bahasa, dan mendefinisikan f L : A * × A * → { 0 , 1 } oleh f L ( x , y ) = 1 jika dan hanya jika x ⋅ y ∈ L . Saya mencari referensi untuk:L⊆A∗L⊆A∗L \subseteq A^*fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, …

9 reference-request  communication-complexity  regular-language 

Apakah automata linear terikat kunjungan terbatas terikat hanya mengenali bahasa biasa? Dengan otomaton linear terikat nondeterministik (nLBA) yang saya maksud adalah mesin Turing nondeterministik single-tape di mana input datang "empuk" dengan endmarker di kedua ujungnya yang tidak pernah dapat ditimpa, dan agar kepala tidak pernah bisa keluar dari daerah input, …

9 automata-theory  turing-machines  regular-language  space-bounded 

Mengingat NFA NNN dan yang setara DFA DDD yang dihasilkan dari keseluruhan determinization dari NNN (menggunakan konstruksi Powerset, misalnya), sifat-sifat berikut tahan selama NNN , DDD dan untuk setiap kata www : NNN membacawww dalam menjalankan waktu paling banyakO(|w|.|N|2)O(|w|.|N|2)O(|w|.|N|^2) . DDD membacawww dalam menjalankan waktu paling banyakO(|w|)O(|w|)O(|w|) dan ukurannya mungkinO(2|N|)O(2|N|)O(2^{|N|}) …

8 automata-theory  regular-language  nondeterminism  dfa  nfa 

Saya membaca tentang Masalah Ketinggian Bintang dan memperhatikan bahwa keluarga Eggan tentang ekspresi reguler mengikuti pola sederhana yang dapat dijelaskan dengan ekspresi reguler. Pertanyaan saya adalah: apakah ada hasil yang menarik tentang ekspresi reguler yang menggambarkan keluarga ekspresi reguler? Bisakah proses ini dilanjutkan lebih lanjut, sehingga Anda memiliki regex yang …

8 fl.formal-languages  regular-language  regular-expressions