Pertanyaan yang diberi tag «regular-languages»

Di tempat kerja saya ditugaskan untuk menyimpulkan beberapa jenis informasi tentang bahasa yang dinamis. Saya menulis ulang urutan pernyataan menjadi letekspresi bersarang , seperti: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Manakah dari pernyataan berikut ini yang benar? kondisi yang memadai dan perlu tentang keteraturan bahasa ada tetapi belum ditemukan. Tidak ada syarat yang cukup dan perlu tentang keteraturan suatu bahasa. Memompa lemma adalah kondisi yang diperlukan untuk ketidakteraturan bahasa. Memompa lemma adalah kondisi yang cukup untuk ketidakteraturan suatu bahasa. Saya …

11 formal-languages  regular-languages 

Diberikan dua set A , BSEBUAH,BA,B string lebih dari alfabet ΣΣ\Sigma , dapatkah kita menghitung otomat kondisi-terbatas deterministik terkecil (DFA) M.M.M sehingga A ⊆ L ( M)SEBUAH⊆L.(M.)A \subseteq L(M) dan L ( M) ⊆ Σ∗∖ BL.(M.)⊆Σ∗∖BL(M) \subseteq \Sigma^*\setminus B ? Dengan kata lain, mewakili sekumpulan contoh positif. Setiap string dalam …

11 regular-languages  automata  finite-automata  machine-learning 

Jelaskan bahasa reguler yang tidak dapat diterima oleh DFA yang hanya memiliki tiga negara. Saya tidak begitu yakin harus mulai dari mana dan bertanya-tanya apakah ada yang bisa memberi saya beberapa tips atau saran. Saya mengerti bahwa lemma pemompaan dapat digunakan untuk membuktikan bahwa suatu bahasa tidak teratur, tetapi dalam …

10 formal-languages  regular-languages  finite-automata  pumping-lemma 

Atau setidaknya menghasilkan serangkaian string yang diterima oleh satu NFA, jadi saya bisa memasukkannya ke NFA lainnya. Jika saya melakukan pencarian melalui setiap jalur NFA, apakah itu akan berhasil? Meskipun itu akan memakan waktu lama.

10 algorithms  regular-languages  finite-automata 

Asumsikan L.L.L adalah bahasa reguler di atas alfabet yang diurutkan. Apakah bahasa dibangun dengan mengambil setiap kata dalam L.L.L dan mengurutkannya selalu bahasa biasa?

10 formal-languages  regular-languages 

Tulis untuk ekspansi desimal (tanpa awalan ). Biarkan dan menjadi bilangan bulat, dengan . Pertimbangkan bahasa ekspansi desimal kelipatan ditambah konstanta:n¯n¯\bar nnnn0Sebuahaabbba > 0a>0a > 0Sebuahaa M.= { ax + b¯¯¯¯¯¯¯¯¯¯¯¯¯¯∣ x ∈ N }M={ax+b¯∣x∈N}M = \{ \overline{a\,x+b} \mid x\in\mathbb{N} \} Apakah biasa? bebas konteks?M.MM (Berbeda dengan Bahasa dari grafik …

10 formal-languages  context-free  regular-languages  integers 

Dari bacaan saya tampaknya sebagian besar tata bahasa berkaitan dengan menghasilkan string yang tak terbatas. Bagaimana jika Anda bekerja sebaliknya? Jika diberi n string dengan panjang m, harus dimungkinkan untuk membuat tata bahasa yang akan menghasilkan string itu, dan hanya string itu. Apakah ada metode yang dikenal untuk melakukan ini? …

10 formal-languages  regular-languages  formal-grammars  finite-sets 

Saya tahu bahwa bahasa yang dapat didefinisikan menggunakan ekspresi reguler dan yang dikenali oleh DFA / NFA (finite automata) adalah setara. Juga tidak ada DFA untuk bahasa {0n1n|n≥0}{0n1n|n≥0}\{0^n1^n|n \ge 0\} . Tetapi masih dapat ditulis menggunakan ekspresi reguler (dalam hal ini bahasa non-reguler dapat) sebagai {ϵ}∪{01}∪{0011}......{ϵ}∪{01}∪{0011}......\{ \epsilon \} \cup \{01\} …

10 formal-languages  regular-languages  regular-expressions 

Saya sedang mengerjakan Buku Sipser (edisi ke-2) dan menemukan contoh ini, yang saya tidak mengerti. Dalam buku itu menyatakan bahwa NFA ini menerima string kosong, .ϵϵ\epsilon Bisakah seseorang menuntun saya mengapa hal ini terjadi? Pemahaman saya adalah bahwa akan pindah ke yang bukan merupakan kondisi terima.ϵϵ\epsilonq3q3q_3

9 regular-languages  finite-automata  nondeterminism 

Kami dapat membentuk DFA yang menerima angka biner yang dapat dibagi dengan .nnn Misalnya DFA yang menerima angka biner yang dapat dibagi 2 dapat dibentuk sebagai berikut: Demikian pula DFA yang menerima angka biner yang dapat dibagi 3 dapat dibentuk sebagai berikut: Kami dapat mengikuti prosedur yang didefinisikan dengan baik …

9 regular-languages  automata  finite-automata  regular-expressions 

Saya berpikir tentang bahasa unary , di mana diatur dari semua kata yang panjangnya adalah jumlah kuadrat. Secara formal: Mudah untuk menunjukkan bahwa tidak teratur (misalnya dengan Pumping-Lemma). Selanjutnya, kita tahu bahwa setiap bilangan asli adalah jumlah dari empat kotak yang menyiratkan bahwa untuk semua bahasa adalah teratur karena .L …

9 formal-languages  regular-languages 

Saya mengambil ujian teori perhitungan saya beberapa minggu yang lalu, dan ini adalah salah satu pertanyaan: Asumsikan bahasa L = { ( anbm)r∣ n , m , r ≥ 0 }L={(anbm)r∣n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} Apakah L teratur? Jika ya, berikan ekspresi reguler atau otomat untuk itu. Setelah saya bertanya secara …

9 formal-languages  regular-languages  regular-expressions 

Diberi bahasa , bagaimana saya bisa mengatakan secara langsung, tanpa melihat aturan produksi, bahwa bahasa ini tidak teratur?L = { anbncn}L={anbncn} L= \{a^n b^n c^n\} Saya bisa menggunakan memompa lemma tetapi beberapa orang mengatakan hanya melihat tata bahasa bahwa ini bukan yang biasa. Bagaimana itu mungkin?

9 formal-languages  regular-languages  pumping-lemma  intuition 

Saya sudah mulai belajar automata non deterministik menggunakan buku Hopcroft dan Ullman . Saya terjebak dalam masalah yang menurut saya sangat menarik: Berikan otomat terbatas hingga non deterministik yang menerima semua string yang memiliki nilai yang sama ketika dievaluasi dari kiri ke kanan sebagai kanan ke kiri dengan mengalikan menurut …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism