Запитання з тегом «context-free»

Використання вектора Ерлі в якості розпізнавача є досить простим: коли досягне кінець рядка, потрібно просто перевірити, чи завершено аксіоматичне виробництво, розпочате в положенні 0. Якщо у вас є принаймні один, то рядок приймається. Використання вектора Ерлі для реконструкції дерева (ив) розбору менш очевидно. Насправді я не можу зрозуміти, як працює …

9 context-free  dynamic-programming  parsers  ambiguity  syntax-trees 

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

9 context-free  formal-grammars  pushdown-automata  simulation 

У коледжі ми вивчали теорію обчислення взагалі та машини Тьюрінга. Один з чудових теоретичних результатів полягає в тому, що ціною потенційно великого алфавіту (символів) можна зменшити кількість станів до лише 2. Я шукав приклади різних машин Тюрінга, і загальним прикладом є матч / шашка "Парентез". По суті, він перевіряє, чи …

9 turing-machines  context-free  parsers 

Я зіткнувся з цією проблемою, пов’язаною з маніпулюванням мовою без контексту. ДозволяєLLLбути безконтекстною мовою. ВизначтеL#={x:xi∈LL#={х:хi∈LL^{\#} = \{ x : x^i \in L для кожного i=0,1,2,...}i=0,1,2,...}i=0,1,2,...\}. ЄL#L#L^{\#}завжди без контексту? Я здогадуюсь, що це збереже без контексту. Хтось може надати елементарний доказ цього?

9 formal-languages  context-free 

У статті Розбиття виразів за допомогою рекурсивного походження Теодора Норвелла (1999) автор починає з наступної граматики для арифметичних виразів: E --> E "+" E | E "-" E | "-" E | E "*" E | E "/" E | E "^" E | "(" E ")" | v що …

9 formal-languages  context-free  formal-grammars  left-recursion 

Я хотів би скористатися вашою допомогою з наступної проблеми: L = { ⟨ М⟩ ∣ L ( M) без контексту }L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} . Покажіть, що .L ∉ R E∪ Сo R EL∉RE∪CoREL \notin RE \cup CoRE Я знаю, що для доказу достатньо знайти …

9 formal-languages  computability  context-free  turing-machines 

Я застряг у вирішенні наступної вправи: Аргументуйте, що якщо без контексту і є регулярним, то (тобто правильний коефіцієнт ) без контексту.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