确定性有限自动机（DFA）接受字符串

Question

构造一个接受以下字符串A（B |（BC +））* C的DFA，我不太了解字符串的顺序

Answer 1

字符串A(B|(BC+))*C通常是一个正则表达式。就您而言：

| means OR
+ means one or more occurrence of previous symbol
* means zero or more occurrence of previous symbol

基本转换：

AB  --> {q0, A, q1}, {q1, B, q2}
A|B --> {q0, A, q1}, {q0, B, q1}
A+  --> {q0, A, q1}, {q1, A, q1}
A*  --> {q0, A, q0}

{q0, s, q1}表示通过读取符号q0从状态q1到s

对于您遇到的情况，您可以先自己尝试。如果发现困难，请发表评论。