Kleene's algorithm: Difference between revisions

Revision as of 19:45, 31 May 2014

Revision as of 19:49, 31 May 2014

Line 142:

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

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

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

| | =

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

| |

| | | ''a''^*    

Line 150:

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

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

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

| | =

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

| |

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

Line 158:

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

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

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

| | =

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

| |

| | | ∅

Line 166:

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

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

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

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

| |

| | | ∅

Line 174:

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

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

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

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

| |

| | | ''b'' | ε

Line 182:

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

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

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

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

| |

| | | ''a''

Line 190:

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

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

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

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

| |

| | | ∅

Line 198:

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

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

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

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

| |

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

Line 206:

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

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

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

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

| |

| | | ε