Pertanyaan yang diberi tag «automata»

Saya setuju bahwa Mesin Turing dapat melakukan "semua kemungkinan masalah matematika". Tapi itu karena itu hanya representasi mesin dari suatu algoritma: pertama lakukan ini, kemudian lakukan itu, akhirnya keluaran itu. Maksud saya apa pun yang dapat dipecahkan dapat diwakili oleh suatu algoritma (karena itulah definisi 'dipecahkan'). Itu hanya tautologi. Saya …

54 algorithms  turing-machines  automata  computation-models 

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 …

48 formal-languages  regular-languages  automata  proof-techniques  reference-question 

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 …

44 formal-languages  automata 

Dalam jawaban ini disebutkan Bahasa reguler dapat dikenali oleh otomat terbatas. Bahasa bebas konteks memerlukan tumpukan, dan bahasa sensitif konteks membutuhkan dua tumpukan (yang setara dengan mengatakan itu memerlukan mesin Turing penuh) . Saya ingin tahu tentang kebenaran bagian yang berani di atas. Apakah itu benar atau tidak? Apa cara …

41 computability  turing-machines  automata  pushdown-automata 

Mari kita sebut bahasa bebas konteks deterministik jika dan hanya jika itu dapat diterima oleh otomat push-down deterministik, dan sebaliknya tidak deterministik. Mari kita sebut bahasa bebas konteks secara inheren ambigu jika dan hanya jika semua tata bahasa bebas konteks yang menghasilkan bahasa ambigu, dan tidak ambigu sebaliknya. Contoh bahasa …

36 formal-languages  automata  formal-grammars  pushdown-automata 

Dalam teori automata, kita semua membaca automata sebagai automata terbatas, sejak awal. Yang ingin saya ketahui adalah, mengapa automata terbatas? Untuk lebih jelasnya, apa yang ada dalam otomat yang terbatas - alfabet, bahasa, string yang dibuat dengan ekspresi reguler, atau apa? Dan apakah ada (secara teori) automata non-terbatas?

35 automata  finite-automata 

Melihat bahwa dalam Chomsky Hierarchy Type 3 bahasa dapat dikenali oleh mesin negara tanpa memori eksternal (yaitu, otomat terbatas), Tipe 2 oleh mesin negara dengan tumpukan tunggal (yaitu otomat push-down) dan Tipe 0 oleh mesin negara dengan dua tumpukan (atau, ekuivalen, sebuah kaset, seperti halnya untuk Mesin Turing), bagaimana bahasa …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

Ini adalah fakta yang diketahui bahwa setiap formula LTL dapat diekspresikan oleh Büchi -automaton. Tetapi, tampaknya, Büchi automata adalah model yang lebih kuat dan ekspresif. Saya pernah mendengar bahwa Büchi automata setara dengan linear-time -calculus (yaitu, -calculus dengan fixpoint biasa dan hanya satu operator temporal: ).ωω\omegaμμ\muμμ\muXX\mathbf{X} Apakah ada algoritma (bukti …

30 logic  automata  formal-methods  linear-temporal-logic  buchi-automata 

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 

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 …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Pertanyaan ini dimigrasikan dari Stack Overflow karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 7 tahun yang lalu . Saya membuat ekspresi reguler sederhana lexer dan parser untuk mengambil ekspresi reguler dan menghasilkan pohon parsenya. Membuat otomat keadaan terbatas non-deterministik dari pohon parse ini relatif sederhana untuk ekspresi reguler …

26 automata  finite-automata  regular-expressions 

Kita tahu bahwa DFA setara dengan NFA dalam kekuatan ekspresif; ada juga algoritma yang dikenal untuk mengubah NFA menjadi DFA (sayangnya saya sekarang tahu penemu algoritma itu), yang dalam kasus terburuk memberi kita status , jika NFA kami memiliki status S2S2S2^SSSS Pertanyaan saya adalah: apa yang menentukan skenario terburuk? Berikut …

24 formal-languages  automata  regular-languages  finite-automata  nondeterminism 

Otomat adalah model abstrak dari komputer digital. Komputer digital sepenuhnya deterministik; status mereka kapan saja dapat diprediksi secara unik dari input dan kondisi awal. Ketika kita mencoba memodelkan sistem nyata, mengapa memasukkan nondeterminisme dalam teori Automata?

23 automata  nondeterminism  applied-theory 

Diberi tata bahasa bebas konteks G, ada N Nondeterministic Pushdown Automaton yang menerima persis bahasa yang diterima G. (dan sebaliknya) Ada mungkin juga ada sebuah deterministik Pushdown Automaton D yang menerima persis bahasa G menerima juga. Itu tergantung pada tata bahasanya. Dengan algoritma apa pada produksi G kita dapat menentukan …

22 automata  context-free  pushdown-automata 

Apakah ada bahasa "alami" yang tidak dapat diputuskan? oleh "alami" Maksudku bahasa yang didefinisikan secara langsung oleh properti string, dan bukan melalui mesin dan setara mereka. Dengan kata lain, jika bahasanya mirip mana adalah TM, DFA (atau regular-exp), PDA (atau tata bahasa), dll., Maka itu tidak alami. Namun adalah wajar.L …

22 formal-languages  automata  computability  undecidability