Pertanyaan yang diberi tag «finite-automata»

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 …

115 algorithms  formal-languages  finite-automata  regular-expressions  reference-question 

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 

Di kelas saya seorang siswa bertanya apakah semua automata terbatas dapat digambar tanpa melewati batas (sepertinya semua contoh saya lakukan). Tentu saja jawabannya negatif, otomat yang jelas untuk bahasa memiliki struktur , grafik lengkap pada lima node . Yuval telah menunjukkan struktur yang serupa untuk bahasa terkait.{x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}{x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}\{\; x\in\{a,b\}^* \mid \#_a(x)+2\#_b(x) …

33 regular-languages  finite-automata  planar-graphs 

Saya baru saja menyelesaikan bab pertama dari Pengantar Teori Komputasi oleh Michael Sipser yang menjelaskan dasar-dasar automata terbatas. Dia mendefinisikan bahasa reguler sebagai apa pun yang dapat dijelaskan oleh automata terbatas. Tetapi saya tidak dapat menemukan di mana dia menjelaskan mengapa bahasa biasa disebut "biasa?" Apa asal usul istilah "reguler" …

31 formal-languages  regular-languages  terminology  finite-automata  history 

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 sedang melakukan presentasi tentang mesin Turing dan saya ingin memberikan latar belakang tentang FSM sebelum memperkenalkan Mesin Turing. Masalahnya adalah, saya benar-benar tidak tahu apa yang SANGAT berbeda satu sama lain. Inilah yang saya tahu berbeda: FSM memiliki status berurutan tergantung pada kondisi terkait yang dipenuhi sementara mesin Turing …

27 terminology  turing-machines  finite-automata  machine-models 

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 

Dalam kursus Teori Komputasi saya, banyak masalah kami melibatkan penggunaan induksi pada panjang string input untuk membuktikan pernyataan tentang automata terbatas. Saya mengerti induksi matematika, namun ketika string mulai dimainkan, saya benar-benar tersandung. Saya akan sangat menghargai jika seseorang akan melalui proses pembuatan bukti setahap demi setahap. Inilah contoh masalah …

20 automata  finite-automata  proof-techniques  reference-question  induction 

Semua automata terbatas non-deterministik dapat diubah menjadi automata terbatas deterministik yang setara. Namun, automata terbatas deterministik hanya memungkinkan satu panah per simbol yang menunjuk dari suatu negara. Oleh karena itu, negara-negara bagian tersebut harus menjadi anggota set kekuasaan negara-negara NFA. Ini tampaknya menunjukkan bahwa jumlah negara bagian DFA dapat diukur …

20 automata  finite-automata  nondeterminism 

Membiarkan L={an∣∃p≥n p, p+2 are prime}.L.={Sebuahn∣∃hal≥n hal, hal+2 adalah prima}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. Apakah teratur?LL.L Pertanyaan ini tampak mencurigakan pada pandangan pertama dan saya menyadari bahwa itu terkait dengan dugaan kembar utama . Masalah saya adalah dugaan itu belum terselesaikan, jadi …

19 formal-languages  automata  regular-languages  finite-automata 

Saya terjebak pada pertanyaan berikut: "Bahasa reguler adalah persis yang diterima oleh automata terbatas. Mengingat fakta ini, menunjukkan bahwa jika bahasa LLL diterima oleh beberapa otomat terbatas, maka LRLRL^{R} juga diterima oleh beberapa yang terbatas; LRLRL^{R} terdiri dari semua kata LLL terbalik."

19 formal-languages  regular-languages  automata  finite-automata 

Sebagai Contoh ketika kita mempertimbangkan DFA yang memungkinkan string tidak memiliki sub-string 00atau 11saya dapat menghasilkan dua DFA berikut:

17 automata  finite-automata 

Saya telah menggunakan FSM dalam desain Sirkuit berurutan Digital. Tapi saya tidak terbiasa dengan Finite Automata. Adakah yang bisa membantu saya memahami perbedaan 'dasar' di antara keduanya?

16 terminology  automata  finite-automata 

Sebuah robot yang terbatas deterministik (DFA) adalah model mesin negara yang mampu menerima semua dan hanya bahasa biasa. DFAs dapat (dan biasanya) didefinisikan sedemikian rupa bahwa setiap negara harus menyediakan beberapa transisi untuk semua elemen dari alfabet masukan; dengan kata lain, fungsi transisi harus (total) fungsi.δ:Q×Σ→Qδ:Q×Σ→Q\delta : Q \times \Sigma …

16 formal-languages  automata  finite-automata