Запитання з тегом «pushdown-automata»

У цій відповіді згадується Регулярну мову можна розпізнати за допомогою кінцевого автомата. Без контекстної мови потрібен стек, а контекстно-чутлива мова потребує двох стеків (що еквівалентно твердженню, що вона вимагає повноцінного апарату Тьюрінга) . Мені хотілося дізнатись щодо правдивості сміливої ​​частини. Це насправді правда чи ні? Який хороший спосіб досягти відповіді …

41 computability  turing-machines  automata  pushdown-automata 

Назвемо контекстну мову детермінованою тоді і лише тоді, коли вона може бути прийнята детермінованим автоматичним натисканням, а недетермінованою в іншому випадку. Назвемо безконтекстну мову за своєю суттю неоднозначною тоді і лише тоді, коли всі безконтекстні граматики, що породжують мову, неоднозначні, а однозначно - інакше. Прикладом детермінованої однозначної мови є мова: …

36 formal-languages  automata  formal-grammars  pushdown-automata 

Чи є наступним мовний контекст вільним? L = { u x v y∣ u , v , x , y∈ { 0 , 1 }+, | u | = | v | , u ≠ v , | х | = | у| ,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in …

26 formal-languages  context-free  pushdown-automata  pumping-lemma  open-problem 

Враховуючи контекстну граматику G, існує недетермінований автоматичний Pushdown N, який приймає саме ту мову, яку G приймає. (і віза) Також може існувати детермінований Pushdown Automaton D, який точно приймає мову G, яка також приймає. Це залежить від граматики. За яким алгоритмом на виробництвах G можна визначити, чи існує D?

22 automata  context-free  pushdown-automata 

Проблема того, що два автоматичних розгортання розпізнають одну і ту ж мову, не можна вирішити. Проблема, чи розпізнавальний автомат розпізнає порожню мову, вирішується, отже, також вирішується, чи розпізнає він задану кінцеву мову. Не можна визначити, чи регулярною є мова, прийнята автоматом віджимання. Але ... ... чи вирішується, чи розпізнає автоматичний …

16 computability  undecidability  pushdown-automata 

Я цікаво , якщо це взагалі можливо, так як {anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in \mathrm{CFL} . Тому PDA, який може відрізнити слово w∈{anbncn∣n≥0}w∈{anbncn∣n≥0}w\in\{a^n b^n c^n \mid n \geq 0\} від решти {a∗b∗c∗}{a∗b∗c∗}\{a^*b^*c^*\} може також прийняти його, що мені звучить суперечливо. Я думаю, мені потрібно скористатися недетермінованим характером …

16 formal-languages  automata  context-free  pushdown-automata 

Я усвідомлюю, що недетерміновані автоматичні автоматичні віджимання можуть бути вдосконаленням у порівнянні з детермінованими, оскільки вони можуть "обирати" серед кількох станів, і є деякі безконтекстні мови, які не можуть бути прийняті детермінованим натисканням. Все-таки я не розумію, як саме їх "вибирають". Наприклад, для паліндормів, наприклад, кожне знайдене нами джерело просто …

14 automata  pushdown-automata  nondeterminism 

Апропоа на пропозицію Рафаеля про перетин двох NPDA : Нехай і A 2 NPDA для без контекстних мов L 1 і L 2 відповідно. Припускаючи, що ми знаємо, що L = L 1 ∩ L 2 без контексту, чи можемо ми (ефективно) побудувати NPDA A для L ?А1A1A_1А2A2A_2L1L1L_1L2L2L_2L = L1∩ …

13 computability  automata  pushdown-automata 

Я хочу перетворити введений користувачем регулярний вираз в NFA, щоб потім я міг запустити NFA у рядок для відповідності цілям. Яка мінімальна машина, яку можна використовувати для розбору регулярних виразів? Я припускаю, що це повинен бути автоматичний поштовх, оскільки подання дужок означає необхідність підрахунку, а DFA / NFA не може …

12 formal-languages  parsers  regular-expressions  pushdown-automata 

На роботі мені було доручено виводити інформацію про тип динамічної мови. Я переписую послідовності висловлювань у вкладені letвирази, як-от так: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T …

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 

У контексті нашого дослідження гематологічних автоматів я хотів би довести, що певний варіант не може приймати не контекстно-чутливі мови. Оскільки у нас немає еквівалентної граматичної моделі, мені потрібен доказ, що використовує лише автомати; тому я маю показати, що купі автомати можуть бути імітовані за допомогою LBA (або еквівалентної моделі). Я …

10 automata  pushdown-automata 

Нехай рядок введення задається як . Тоді якщо NFA в даний час знаходиться в стані (і прочитав вхідний алфавіт w_i ), то перед читанням наступного символу введення NFA розбивається на два NFA, один перебуває в стані r, а інший знаходиться в s , якщо є перехід тип r \ xrightarrow …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

Чи є набір правил або методів для перетворення будь-якої контекстної граматики в автоматичні автоматичні системи? Я вже знайшов деякі слайди в Інтернеті, але не зміг їх зрозуміти. На слайді 10 він говорить про деякі правила, чи може хтось це пояснити?

9 context-free  formal-grammars  pushdown-automata  simulation 

Я застряг у вирішенні наступної вправи: Аргументуйте, що якщо без контексту і є регулярним, то (тобто правильний коефіцієнт ) без контексту.LLLRRRL/R={w∣∃x∈Rs.twx∈L}L/R={w∣∃x∈Rs.twx∈L}L / R = \{ w \mid \exists x \in R \;\text{s.t}\; wx \in L\} Я знаю , що повинен існувати КПК , який приймає і DFA , який приймає …

9 formal-languages  context-free  finite-automata  closure-properties  pushdown-automata