Content deleted Content added
OccultZone (talk | contribs) m →References: clean up, common fixes, removed stub tag using AWB |
|||
Line 58:
| | = ε
|}
After that, the ''R''{{su|p=''k''|b=''ij''}} are computed from the ''R''{{su|p=''k''-1|b=''ij''}} step by step for ''k'' = 0, 1, 2.
[[Kleene algebra]] equalities are used to simplify the regular expressions as much as possible.
Step 0:
Line 290 ⟶ 293:
|}
((step 2 simplification to be completed))
Since ''q''<sub>0</sub> ist the start state and ''q''<sub>1</sub> is the only accept state, the regular expression ''R''{{su|p=2|b=''01''}} denotes the set of all strings accepted by the automaton.
==See also==
| |||