Kleene's algorithm: Difference between revisions

Revision as of 20:00, 31 May 2014

Revision as of 20:05, 31 May 2014

Line 214:

Step 2:

{|

|-

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

| | = ''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''

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

| | ∅

| | | ''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''

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

| | (''b'' | ε)

| | | ''a''^* ''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''

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

| | ''a''

| | | ∅

| | = ''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'' | ε)

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

| | ∅

| | | ∅

| | = ∅

|-

| ''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'' | ε)

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

| | (''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'' | ε)

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

| | ''a''

| | | ''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'')

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

| | ∅

| | | ∅

| | = ∅

|-

| ''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'')

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

| | (''b'' | ε)

| | | ''a'' | ''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'')

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

| | ''a''

| | | ε

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

|}

==References==