问答题 证明正规式（ab）*a与正规式a（ba）*等价（用构造他们的最小的DFA方法）。

问答题 有穷自动机M接受字母表Σ＝{0，1}上所有满足下述条件的串：每个1都有0直接跟在右边。构造一个最小的DFAM及和M等价的正规式。

问答题 设有非确定的有自限动机NFAM=（{A，B，C}，{0，1}，δ，{A}，{C}），其中：δ（A，0）={C}δ（A，1）={A，B}δ（B，1）={C}δ（C，1）={C}。请画出状态转换距阵和状态转换图。