Вопросы с тегом «formal-languages»

Недавно я задал вопрос по математике SE. Ответа пока нет. Этот вопрос связан с этим вопросом, но с техническими подробностями в отношении информатики. Даны два DFA A=(Q,Σ,δ,q1,F1)A=(Q,Σ,δ,q1,F1)A = (Q, \Sigma, \delta, q_1, F_1) и где набор состояний, входной алфавит и функция перехода и одинаковы, начальные состояния и конечные (принимающие) состояния …

9 formal-languages  reference-request  finite-automata 

Я сдал экзамены по теории вычислений несколько недель назад, и это был один из вопросов: Предположим, что языкL={(anbm)r∣n,m,r≥0}L={(anbm)r∣n,m,r≥0}L=\{(a^nb^m)^r \mid n,m,r\ge 0\} L регулярно? Если да, укажите для него регулярное выражение или автомат. После того, как я кратко спросил его ответ после экзамена, кажется, что он действительно правильный (я думаю, он …

9 formal-languages  regular-languages  regular-expressions 

В статье Теодора Норвелла (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={anbncn}L={anbncn} L= \{a^n b^n c^n\} , как я могу прямо сказать, не глядя на правила производства, что этот язык не является регулярным? Я мог бы использовать лемму прокачки, но некоторые парни говорят, просто глядя на грамматику, что это не совсем так. Как это возможно?

9 formal-languages  regular-languages  pumping-lemma  intuition 

Я хотел бы использовать вашу помощь в решении следующей проблемы: 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 

Я начал изучать недетерминированные автоматы, используя книгу Хопкрофта и Уллмана . Я застрял в проблеме, которая показалась мне очень интересной: Дать недетерминированный конечный автомат, принимающий все строки, имеющие одинаковое значение, при оценке слева направо как справа налево путем умножения в соответствии со следующей таблицей: ×aбсaaсббaaсссбa×abcaaacbcabcbca\qquad \displaystyle\begin{array}{c|ccc} \times & a & …

9 formal-languages  automata  regular-languages  finite-automata  nondeterminism