S -> 1A A -> 0B | 1A | epsilon B -> 0C | 1B C -> 0A | 1C
Я думал, что язык, описываемый этой грамматикой, следующий: L = {0,1 |w строка содержит 1+ ИЛИ как минимум три 0}
Это кажется правильным?
Это обычный CFG, поэтому его DFA указан ниже:
Это язык, состоящий из алфавита = {0,1} этот язык принимает один 1 или несколько 1 's.if 0 для ввода нужно 3 (0), чтобы перейти к финалу. Между этим кратным 1 приходит после каждого 0.
{0,1}
1
0
(0)
0.
