这是一个正则语言吗

wongyeam

原帖由 cjaizss 于 2008-11-10 22:13 发表
如下:


                    a
双a双b  <  --------
            a            |
start --------->单a双b
|      ^              |     ^
|b    |               |      |
|       | b           |b  ...

依我的理解，这样的证明是正确的。

mgb22008

abaab呢? 个人觉得是非正则的。

mgb22008

再看看。。。

[ 本帖最后由 mgb22008 于 2009-5-7 19:47 编辑 ]

mgb22008

不应该这么写

cjaizss

原帖由 mgb22008 于 2009-5-7 19:45 发表
不应该这么写

计算理论指出,可以被有限状态机识别的语言与正则语言等价.
我的开始这个图没有指明接收状态,指出接受比较完整
如下所示:
                                   a
start------> 双a双b  <  --------
               |      ^          a       |
               |      |     --------->单a双b---->接受
               |      |               |     ^
               |b    |               |      |
               |       | b           |b    |b
               v      |       a     V      |
               双a单b   -------->单a单b
                            <--------
                                 a

[ 本帖最后由 cjaizss 于 2009-5-7 20:29 编辑 ]

cjaizss

原帖由 mgb22008 于 2009-5-7 19:44 发表
再看看。。。

S->D
D->a
D->aA
D->bC
A->aa
A->bb
A->aD
A->bB
B->b
B->bA
B->aC
C->ab
C->aB
C->bD
这样的rule有什么问题吗?