Kleene's algorithm: Difference between revisions

Revision as of 20:05, 31 May 2014

Revision as of 20:10, 31 May 2014

Line 220:

| | = ''R''{{su|p=1|b=''02''}} (''R''{{su|p=1|b=''22''}})^* ''R''{{su|p=1|b=''20''}} | ''R''{{su|p=1|b=''00''}}    

| | = ''a''^*''b''

| | ((''a''|''b'')''b''^*''a'' | ε)^*

| | ∅

| | | ''a''^*        

| | = ''a''^*

|-

| ''R''{{su|p=2|b=''01''}}

| | = ''R''{{su|p=1|b=''02''}} (''R''{{su|p=1|b=''22''}})^* ''R''{{su|p=1|b=''21''}} | ''R''{{su|p=1|b=''01''}}

| | = ''a''^*''b''

| | ((''a''|''b'')''b''^*''a'' | ε)^*

| | (''b'' | ε)

| | | ''a''^* ''b''^* ''b''

| | | ε =

| | = ''a''^* ''b''^* ''b''

|-

| ''R''{{su|p=2|b=''02''}}

| | = ''R''{{su|p=1|b=''02''}} (''R''{{su|p=1|b=''22''}})^* ''R''{{su|p=1|b=''22''}} | ''R''{{su|p=1|b=''02''}}

| | = ''a''^*''b''

| | ((''a''|''b'')''b''^*''a'' | ε)^*

| | ''a''

| | = | ''a''^* ''b''^* ''bba''

| | | ∅

| | =

| | = ''a''^* ''b''^* ''ba''

|-

| ''R''{{su|p=2|b=''10''}}

| | = ''R''{{su|p=1|b=''12''}} (''R''{{su|p=1|b=''22''}})^* ''R''{{su|p=1|b=''20''}} | ''R''{{su|p=1|b=''10''}}

| | = (''b'' | ε)

| | ((''a''|''b'')''b''^*''a'' | ε)^*

| | ∅

| | | ∅

| | = ∅

|-

| ''R''{{su|p=2|b=''11''}}

| | = ''R''{{su|p=1|b=''12''}} (''R''{{su|p=1|b=''22''}})^* ''R''{{su|p=1|b=''21''}} | ''R''{{su|p=1|b=''11''}}

| | = (''b'' | ε)

| | ((''a''|''b'')''b''^*''a'' | ε)^*

| | (''b'' | ε)

| | | ''b'' | ε ^*

| | = ''b''^*

|-

| ''R''{{su|p=2|b=''12''}}

| | = ''R''{{su|p=1|b=''12''}} (''R''{{su|p=1|b=''22''}})^* ''R''{{su|p=1|b=''22''}} | ''R''{{su|p=1|b=''12''}}

| | = (''b'' | ε)

| | ((''a''|''b'')''b''^*''a'' | ε)^*

| | ''a''

| | | ''ab''^* ''a''

| | = ''b''^* ''a''

|-

| ''R''{{su|p=2|b=''20''}}

| | = ''R''{{su|p=1|b=''22''}} (''R''{{su|p=1|b=''22''}})^* ''R''{{su|p=1|b=''20''}} | ''R''{{su|p=1|b=''20''}}

| | = (''a'' | ''b'')

| | ((''a''|''b'')''b''^*''a'' | ε)^*

| | ∅

| | | ∅

| | = ∅

|-

| ''R''{{su|p=2|b=''21''}}

| | = ''R''{{su|p=1|b=''22''}} (''R''{{su|p=1|b=''22''}})^* ''R''{{su|p=1|b=''21''}} | ''R''{{su|p=1|b=''21''}}

| | = (''a'' | ''b'')

| | ((''a''|''b'')''b''^*''a'' | ε)^*

| | (''b'' | ε)

| | | (''a'' | ''b'') ''b''^*

| | =

| | = (''a'' | ''b'') ''b''^*

|-

| ''R''{{su|p=2|b=''22''}}

| | = ''R''{{su|p=1|b=''22''}} (''R''{{su|p=1|b=''22''}})^* ''R''{{su|p=1|b=''22''}} | ''R''{{su|p=1|b=''22''}}

| | = (''a'' | ''b'')

| | ((''a''|''b'')''b''^*''a'' | ε)^*

| | ''a''

| | = | (''a''^* | ''b'') ''b''^* ''baa'' | ε

| | | ε

| | =

| | = (''a'' | ''b'') ''b''^* ''a'' | ε

|}