確定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 (0)才能進入最終語言。在這個多個1 ，每0.