Kleene's algorithm: Difference between revisions

Revision as of 19:39, 31 May 2014

Revision as of 19:41, 31 May 2014

Line 142:

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

| | = ''R''{{su|p=0|b=''00''}} (''R''{{su|p=0|b=''00''}})^* ''R''{{su|p=0|b=''00''}} | ''R''{{su|p=0|b=''00''}}    

| | = (''a'' | ε)

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

| | (''a'' | ε)

| | | ''a'' | ε ^*    

| | = ''a''^*

|-

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

| | = ''R''{{su|p=0|b=''00''}} (''R''{{su|p=0|b=''00''}})^* ''R''{{su|p=0|b=''01''}} | ''R''{{su|p=0|b=''01''}}

| | = (''a'' | ε)

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

| | ''b''

| | | ''ba''^* ''b''

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

|-

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

| | = ''R''{{su|p=0|b=''00''}} (''R''{{su|p=0|b=''00''}})^* ''R''{{su|p=0|b=''02''}} | ''R''{{su|p=0|b=''02''}}

| | = (''a'' | ε)

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

| | ∅

| | | ∅

| | = ∅

|-

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

| | = ''R''{{su|p=0|b=''10''}} (''R''{{su|p=0|b=''00''}})^* ''R''{{su|p=0|b=''00''}} | ''R''{{su|p=0|b=''10''}}

| | = ∅

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

| | (''a'' | ε)

| | | ∅

| | = ∅

|-

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

| | = ''R''{{su|p=0|b=''10''}} (''R''{{su|p=0|b=''00''}})^* ''R''{{su|p=0|b=''01''}} | ''R''{{su|p=0|b=''11''}}

| | = ∅

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

| | ''b''

| | | ''b'' | ε

| | = ''b'' | ε

|-

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

| | = ''R''{{su|p=0|b=''10''}} (''R''{{su|p=0|b=''00''}})^* ''R''{{su|p=0|b=''02''}} | ''R''{{su|p=0|b=''12''}}

| | = ∅

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

| | ∅

| | | ''a''

| | = ''a''

|-

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

| | = ''R''{{su|p=0|b=''20''}} (''R''{{su|p=0|b=''00''}})^* ''R''{{su|p=0|b=''00''}} | ''R''{{su|p=0|b=''20''}}

| | = ∅

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

| | (''a'' | ε)

| | | ∅

| | = ∅

|-

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

| | = ''R''{{su|p=0|b=''20''}} (''R''{{su|p=0|b=''00''}})^* ''R''{{su|p=0|b=''01''}} | ''R''{{su|p=0|b=''21''}}

| | = ∅

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

| | ''b''

| | | ''a'' | ''b''

| | = ''a'' | ''b''

|-

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

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

| | = ∅

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

| | ∅

| | | ε

| | = ε

|}