DFA L（n）= {a ^ n b ^ n：n = 0,1,2}

Question

如何绘制允许以下语言的自动机图：

L(n)={a^n b^n : n=0,1,2} ?

Answer 1

您已请求DFA，因此这意味着对于在特定状态下读取的给定符号，只有一个目标状态，并且该符号不能是空字符串。 （除非你考虑NFA）。为字母表中的每个符号（或符号集）绘制路径也是一种很好的做法，因此我为符号“a”添加了箭头，为符号“b”添加了箭头，即使目标状态为像州H一样的“洞”。希望它有所帮助。