Вопросы с тегом «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 

Я столкнулся с этой проблемой, связанной с манипулированием языком без контекста. Пусть будет контекстно-свободным языком. Определим L # = { х : х я ∈ L для каждой я = 0 , 1 , 2 , . , , } . Всегда ли 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={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} . Покажите, что .L∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE Я знаю, что для доказательства достаточно найти язык такой, что и показать, что существует сокращение от до .L ′ L ′ …

9 formal-languages  computability  context-free  turing-machines 

Я застрял, решая следующее упражнение: Докажите, что если зависит от контекста, а R регулярно, то L / R = { w ∣ ∃ x ∈ RLLLRRR (т.е.правый фактор) не зависит от контекста.L/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\} Я знаю , что …

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