Pertanyaan yang diberi tag «formal-languages»

Pertanyaan yang terkait dengan bahasa formal, tata bahasa, dan teori automata

4
Bagaimana cara mengubah automata terbatas ke ekspresi reguler?
Mengubah ekspresi reguler menjadi (minimal) NFA yang menerima bahasa yang sama adalah mudah dengan algoritma standar, misalnya algoritma Thompson . Namun, arah yang lain tampaknya lebih membosankan, dan terkadang ekspresi yang dihasilkannya berantakan. Algoritma apa yang ada untuk mengubah NFA menjadi ekspresi reguler yang setara? Apakah ada keuntungan terkait kompleksitas …

5
Bagaimana cara membuktikan bahwa suatu bahasa tidak bebas konteks?
Kami belajar tentang kelas bahasa bebas konteks . Ini dicirikan oleh tata bahasa bebas konteks dan automata pushdown sehingga mudah untuk menunjukkan bahwa bahasa yang diberikan adalah bebas konteks.CFLCFL\mathrm{CFL} Bagaimana saya menunjukkan yang sebaliknya? TA saya bersikeras bahwa untuk melakukannya, kami harus menunjukkan kepada semua tata bahasa (atau automata) bahwa …

10
Bagaimana cara membuktikan bahwa suatu bahasa tidak teratur?
Kami belajar tentang kelas bahasa reguler . Ini dicirikan oleh salah satu konsep antara ekspresi reguler, automata terbatas dan tata bahasa linier kiri, sehingga mudah untuk menunjukkan bahwa bahasa yang diberikan adalah reguler.REGREG\mathrm{REG} Bagaimana saya menunjukkan yang sebaliknya? TA saya telah bersikeras bahwa untuk melakukannya, kami harus menunjukkan untuk semua …


8
Bagaimana cara membuktikan suatu bahasa secara teratur?
Ada banyak metode untuk membuktikan bahwa suatu bahasa tidak teratur , tetapi apa yang harus saya lakukan untuk membuktikan bahwa beberapa bahasa itu teratur? Misalnya, jika saya diberi tahu bahwa adalah biasa, bagaimana saya bisa membuktikan bahwa berikut ini juga teratur?L ′LLLL′L′L' L′:={w∈L:uv=w for u∈Σ∗∖L and v∈Σ+}L′:={w∈L:uv=w for u∈Σ∗∖L and …

2
Menentukan kemampuan mesin state min-heap (atau eksotik lainnya)
Lihat akhir tulisan ini untuk beberapa klarifikasi tentang definisi min-heap automata. Orang dapat membayangkan menggunakan berbagai struktur data untuk menyimpan informasi untuk digunakan oleh mesin negara. Misalnya, push-down automata menyimpan informasi dalam tumpukan, dan mesin Turing menggunakan kaset. Mesin negara menggunakan antrian, dan yang menggunakan dua tumpukan atau kaset, telah …






2
Mengapa tipe void C tidak analog dengan tipe kosong / bawah?
Wikipedia serta sumber lain yang saya temukan daftar voidtipe C sebagai tipe unit sebagai lawan dari tipe kosong. Saya menemukan ini membingungkan karena menurut saya voidlebih cocok dengan definisi tipe kosong / bawah. Tidak ada nilai yang dihuni void, sejauh yang saya tahu. Suatu fungsi dengan tipe kembali dari kekosongan …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

1
Asimptotik dari jumlah kata dalam bahasa biasa dengan panjang yang diberikan
Untuk bahasa biasa L.L.L, misalkan menjadi jumlah kata dalam dengan panjang . Menggunakan bentuk kanonik Jordan (diterapkan pada matriks transisi yang tidak terotomatisasi dari beberapa DFA untuk ), orang dapat menunjukkan bahwa untuk , di mana adalah polinomial yang kompleks dan adalah "nilai eigen" yang kompleks. (Untuk kecil , kami …

6
Menghasilkan Kombinasi dari serangkaian pasangan tanpa pengulangan elemen
Saya memiliki satu set pasangan. Setiap pasangan berbentuk (x, y) sedemikian rupa sehingga x, y milik bilangan bulat dari kisaran [0,n). Jadi, jika n adalah 4, maka saya memiliki pasangan berikut: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Saya sudah memiliki pasangan. Sekarang, saya harus membangun kombinasi menggunakan n/2pasangan sehingga tidak …

2
Bagaimana membuktikan bahwa suatu bahasa bebas konteks?
Ada banyak teknik untuk membuktikan bahwa bahasa adalah tidak bebas konteks, tapi bagaimana saya membuktikan bahwa bahasa adalah bebas konteks? Teknik apa yang ada untuk membuktikan ini? Jelas, salah satu caranya adalah dengan menunjukkan tata bahasa bebas konteks untuk bahasa tersebut. Apakah ada teknik sistematis untuk menemukan tata bahasa bebas …

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.