确定CFG描述的语言

Question

S -> 1A
A -> 0B | 1A | epsilon
B -> 0C | 1B
C -> 0A | 1C

我当时认为此语法描述的语言如下： L = {0,1 | w字符串包含1+或至少具有三个0}}

这看起来正确吗？

Answer 1

这是常规CFG，因此其DFA如下：

这是一种由字母= {0,1}组成的语言，该语言接受一个1或多个1。如果0输入，则需要3 {{1} }进入final。在每个(0)

之后，在这多个1之间