Pertanyaan yang diberi tag «fl.formal-languages»

Pertanyaan Utama / Umum Biarkan menjadi bahasa. Tentukan bahasa dengan dan untuk . Pertimbangkan . Jadi, kami berulang kali "menyematkan" ke dalam dirinya sendiri untuk memperoleh .LLLLiLiL_iL0=LL0=LL_0 = LLi={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\}L = ⋃ L i L Li≥1i≥1i \geq 1L^=⋃LiL^=⋃Li\hat{L} = \bigcup L_iLLLL^L^\hat{L} Sudahkah …

19 reference-request  fl.formal-languages 

Saya baru-baru ini berdiskusi tentang Mesin Turing ketika saya ditanya, "Apakah Mesin Turing berasal dari automata, atau sebaliknya?" Tentu saja saya tidak tahu jawabannya, tetapi saya ingin tahu. Mesin Turing pada dasarnya adalah versi yang sedikit lebih canggih dari Automata Push-Down. Dari itu saya akan berasumsi bahwa Mesin Turing berasal …

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

Pertanyaannya sederhana dan langsung: Untuk tetap , berapa banyak (berbeda) bahasa diterima oleh DFA ukuran n (yaitu n negara)? Saya akan secara resmi menyatakan ini:nnnnnnnnn Tentukan DFA sebagai , di mana semuanya seperti biasa dan δ : Q × Σ → Q adalah fungsi (mungkin sebagian). Kita perlu menetapkan ini …

19 co.combinatorics  fl.formal-languages  automata-theory  regular-language  dfa 

DFA memiliki kata sinkronisasi jika ada string yang mengirim keadaan DFA ke satu keadaan. Dalam 'The Cerny Conjecture for Aperiodic Automata ”oleh AN Trahtman (Matematika Diskrit dan Ilmu Komputer Teoritis vol. 9: 2, 2007, hal.3-10), ia menulis, Cerny menduga pada tahun 1964 bahwa setiap N-state DFA yang dapat disinkronisasi memiliki …

19 fl.formal-languages  automata-theory  open-problem  synchronization 

Kebanyakan implementasi modern dari ekspresi reguler, seperti yang ada di perl atau .NET, melampaui definisi ilmu komputer klasik dari REGEX dengan fitur-fitur seperti lookahead dan lookbehind. Apakah fitur-fitur ini membuat mereka menguraikan pernyataan yang tidak dapat dijelaskan dengan otomat terbatas, non-pushdown? Seberapa jauh lebih dekat dengan turing menyelesaikan ini membuat …

19 automata-theory  regular-expressions  fl.formal-languages 

Saya bertanya-tanya apakah spesifikasi JSON mendefinisikan bahasa biasa. Tampaknya cukup sederhana, tetapi saya tidak yakin bagaimana membuktikannya sendiri. Alasan saya bertanya, adalah karena saya bertanya-tanya apakah seseorang dapat menggunakan ekspresi reguler untuk mengurai JSON secara efektif. Bisakah seseorang dengan cukup perwakilan tolong buat tag json dan bahasa biasa untuk saya?

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

Ini adalah hasil yang terkenal dari pertanyaan itu Apakah tata bahasa bebas konteks menghasilkan bahasa reguler? tidak dapat ditentukan. Namun, itu menjadi decidable pada alfabet unary, hanya karena dalam kasus ini, kelas bahasa bebas konteks dan reguler bertepatan. Pertanyaan saya adalah untuk mengetahui apa yang terjadi pada bahasa yang peka …

18 fl.formal-languages  decidability 

Saya mencoba untuk memecahkan masalah tertentu, dan saya pikir saya mungkin bisa menyelesaikannya dengan menggunakan teori automata. Saya bertanya-tanya, model automata apa yang memiliki penahanan yang dapat ditentukan dalam waktu polinomial? yaitu jika Anda memiliki mesin Anda dapat menguji apakah efisien.M1,M2M1,M2M_1, M_2L ( M1) ⊆ L ( M2)L(M.1)⊆L(M.2)L(M_1) \subseteq L(M_2) …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan bahwa ini entah bagaimana terkait dengan fakta bahwa tidak mungkin untuk menguji …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Ada banyak algoritma yang dapat menguraikan tata bahasa bebas konteks dalam waktu . Dengan menggunakan perkalian matriks, seseorang bahkan bisa berjalan lebih cepat tanpa gejala dari itu.O ( n3)O(n3)O(n^3) Namun, semua algoritma untuk parsing CFG sewenang-wenang yang saya tahu memiliki penggunaan ruang kasus terburuk (meskipun, diakui, saya tidak tahu apa …

18 ds.algorithms  fl.formal-languages  space-bounded  parsing  context-free 

Ini adalah reformulasi program tata bahasa Are? sebelumnya ditanya oleh Vag dan dengan banyak saran dari para komentator. Dalam hal apa tata bahasa dapat dilihat sebagai spesifikasi model komputasi? Misalnya, jika kita mengambil tata bahasa bebas konteks sederhana seperti G ::= '1' -> '0' '+' '1' '1' -> '1' '+' …

18 fl.formal-languages  pl.programming-languages  grammars  universal-computation 

Metode derivatif Brzozowski adalah teknik yang sangat cantik untuk membangun automata deterministik dari ekspresi reguler dengan cara aljabar yang baik. Saya telah mengerjakan beberapa generalisasi lucu dari teknik ini untuk menangani beberapa kelas tata bahasa yang lebih besar, tetapi algoritmanya cukup mudah sehingga tampaknya sangat mungkin telah ditemukan sebelumnya. Tetapi …

18 reference-request  fl.formal-languages  parsing 

Kata disebut primitif , jika tidak ada kata dan sehingga . Himpunan Q dari semua kata primitif di atas alfabet \ Sigma adalah bahasa yang terkenal. WLOG kita dapat memilih \ Sigma = \ {a, b \} .wwwv vvk > 1 k>1k > 1w = v kw=vkw = v^k Q …

17 fl.formal-languages 

2dca (dua arah deterministik one-counter automata) (Petersen, 1994) dapat mengenali bahasa unary berikut: POWER={02n∣n≥0}.POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} Apakah ada bahasa unary nontrivial lain yang dikenali oleh 2dca? Perhatikan bahwa masih belum diketahui apakah 2dca dapat mengenali ?SQUARE={0n2∣n≥0}SQUARE={0n2∣n≥0} \mathtt{SQUARE} = \lbrace 0^{n^2} \mid n …

17 fl.formal-languages  automata-theory  counter-automata 

Bertahun-tahun yang lalu saya mendengar bahwa menghitung NFA minimal (otomat hingga nondeterministik) dari DFA (deterministik) adalah pertanyaan terbuka, berlawanan dengan arah sebaliknya yang telah dikenal selama beberapa dekade dan diteliti dengan baik dengan efisien algoritma. Adakah yang datang dengan algoritma?O ( n lgn)O(nlg⁡n)O(n \lg n) Pencarian cepat memberi saya makalah …

17 ds.algorithms  reference-request  fl.formal-languages  automata-theory  optimization