Чтобы убедиться: накачка леммы только для бесконечных регулярных языков?

Лево-линейная и праволинейная грамматика

Мне нужна помощь в построении лево-линейной и праволинейной грамматики для языков ниже? a) (0+1)*00(0+1)* b) 0*(1(0+1))* c) (((01+10)*11)*00)*Для а) у меня есть следующее: Left-linear S --> B00 | S11 B --> B0|B1|011 Right-linear S --> 00B | 11S ...

Советы по созданию «Грамматики без контекста»

Я новичок в CFG, Может кто-нибудь дать мне советы по созданию CFG, который генерирует какой-то язык Например L = {am bn | m >= n} Что я получил это: So -> a | aSo | aS1 | e S1 -> b | bS1 | e но я думаю, что эта область не так, потому что ...

Я не уверен, что написание оглавления книги является ответом.

аюсь понять концепцию языковых уровней (обычный, контекстно-зависимый, контекстно-зависимый и т. Д.). Я могу легко это найти, но все объяснения, которые я нахожу, - это набор символов и разговоры онаборы, У меня есть два вопроса: Можете ли вы ...

Написание парсера формального языка на Лиспе

, или даже

исал следующую программу для проверки строк на сбалансированные скобки: isBalanced xs = isBalanced' xs [] isBalanced' [] [] = True isBalanced' [] _ = False isBalanced' ('(':xs) ys = isBalanced' xs (')':ys) isBalanced' ('[':xs) ys = isBalanced' ...

Лево-линейная и праволинейная грамматика

Написание парсера формального языка на Лиспе

Моя компания разрабатывает новый предметно-ориентированный язык сценариев; Мне нужно реализовать синтаксический анализатор, который переводит наш новый язык программирования в общий язык сценариев, чтобы иметь возможность ...

КПК принимает язык строк, содержащий больше а, чем б

Создайте КПК для распознавания следующего языка: язык строк, содержащий больше а, чем б Я боролся с этим вопросом уже несколько дней, похоже, я полностью преодолел ментальный блок. Сможет ли кто-нибудь дать какое-нибудь руководство ...

Советы по созданию «Грамматики без контекста»

Я новичок в CFG 's,Может кто-нибудь дать мне советы по созданию CFG, который генерирует какой-то языкНапример