Я знаю, что такое регулярный и контекстно-свободный язык, и как обычному языку нужна конечная память и другие подобные вещи. Что меня беспокоит, так это то, что я думаю, что если a n b m такое, что n и m имеют некоторую связь между ними, то они...

Итак, у меня есть этот язык L={a^i b^2j+1 / i<>j} , и я должен создать контекстно-свободную грамматику на его основе, не могли бы вы помочь мне проиллюстрировать шаги для этого. Пока у меня это: S-->aS/aBbb...

Как я могу найти грамматику двоичного числа, делящегося на 5 с 1 в качестве старшего разряда, и найти обращение L Итак, мне нужна грамматика, которая генерирует такие числа, как... 5 = 101 10 = 1010 15 = 1111 20 = 10100 25 = 110011 и так...

L = {а ^ п б с ^ п | i больше 1 и меньше 100, n больше 1} Я думаю, что неправильно понял лемму о прокачке для cfl. почему я не могу выбрать слово z = a ^ ncb ^ n, а затем разбить его на u = a ^ sv = a ^ ns w = epsilon x = b, y = b ^ n, затем...

Если у меня есть язык {0,1}, определенный следующей контекстно-свободной грамматикой с начальной переменной S, является ли это обычным языком? S → TS, S → 1T, S → 1S T → TT, T → 0T1, T → 1T0 T → ε Это обычный язык? Мне кажется, что этот язык не...

Мне нужно написать парсер для некоторых make-файлов без переменных и символов (\$@, $‹ и т. д.), все, что они содержат, это R ules как: T цель: D зависимости [tab] C команды Согласно Grammar Makefile , грамматика Makefile в целом...

Итак, у меня есть следующая проблема: мне нужно создать контекстно-свободную однозначную грамматику, чтобы соответствовать следующим критериям. Алфавит будет { (, a, b, ), £ }, каждая правильная строка должна включать; последовательность из...