问答题 有穷自动机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}。请画出状态转换距阵和状态转换图。

问答题 证明下述文法G： 是二义性文法。