Запитання з тегом «formal-languages»

Я зіткнувся з цією проблемою, пов’язаною з маніпулюванням мовою без контексту. Дозволяє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 

Я взяв свою теорію обчислювальних іспитів кілька тижнів тому, і це було одне з питань: Припустимо, мова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 = {анбнcн}L={anbncn} L= \{a^n b^n c^n\} Я міг би використовувати насосну лему, але деякі хлопці говорять, просто дивлячись на граматику, що це не є звичайною. Як це можливо?

9 formal-languages  regular-languages  pumping-lemma  intuition 

Я хотів би скористатися вашою допомогою з наступної проблеми: 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 

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

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