Вопросы с тегом «context-free»

9
Если

Я застрял, решая следующее упражнение: Докажите, что если зависит от контекста, а 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
Насколько мощны CFG, которые допускают бесконечное количество правил?

Недавно я задавался вопросом, что произойдет, если мы позволим грамматикам без контекста иметь бесконечное количество правил. Ясно, что если бы мы допустили произвольные такие бесконечные наборы правил, каждый язык над некоторым алфавитом мог бы быть описан с помощью CFG с . Но что, если мы...

9
Как восстановить лес синтаксических деревьев из вектора Эрли?

Использовать вектор Эрли в качестве распознавателя довольно просто: когда достигается конец строки, вам просто нужно проверить завершенную аксиоматическую постановку, начатую в позиции 0. Если у вас есть хотя бы один, тогда строка принимается. Использование вектора Эрли для восстановления дерева...

9
Есть ли другое решение проблемы «висящего другого», кроме «сопоставить ближе»?

Следующая контекстно-свободная грамматика представляет неоднозначность типа «висящее другое» (представьте, что обозначает, а обозначает, а обозначает какой-то другой вид инструкции или блока): Например, может быть проанализирован как или как (это самое простое / самое короткое неоднозначное слово...

9
Машина Тьюринга с двумя состояниями для сопоставления скобок

В колледже мы изучали теорию вычислений в целом и машины Тьюринга более конкретно. Одним из замечательных теоретических результатов является то, что за счет потенциально большого алфавита (символов) вы можете уменьшить количество состояний до 2. Я искал примеры различных машин Тьюринга, и...

9
Конвертировать CFG в КПК

Существует ли какой-либо набор правил или методов для преобразования любой контекстно-свободной грамматики в автомат для сжатия? В Интернете я уже нашел несколько слайдов, но не смог их понять. На слайде 10 он говорит о некоторых правилах, кто-нибудь может это...