|
|
|
|
|
|
|
|
|
|
|
|
|
|
¯ |
|
| <Auto ((O('0'O)('1'I)) (I('0'I)('1'O)))
O (e1)> |
|
|
e1 ® пусто |
l |
|
m |
e1 ® s2 e3 |
|
|
|
|
|
|
|
¯ |
|
|
| <Auto (...) <Lookup s2 <Lookup O (O('0'O)('1'I))
(I('0'I)('1'O))>> (e3)> |
|
|
¯ |
|
| <Auto (...) <Lookup s2 ('0'O)('1'I)> (e3)> |
|
|
s2 ® '0' |
l |
|
m |
иначе |
|
|
| e1 := e3 |
|
| <Auto (...) <Lookup s2 ('1'I)> (e3)> |
|
|
s2 ® '1' |
l |
|
m |
иначе |
| <Auto ((O('0'O)('1'I)) (I('0'I)('1'O))) I
(e3)> |
|
... |
|
e3 ® пусто |
l |
|
m |
e3 ® s4 e5 |
|
|
|
|
|
|
|
¯ |
|
|
| <Auto (...) <Lookup s4 <Lookup I (O('0'O)('1'I))
(I('0'I)('1'O))>> (e5)> |
|
|
¯ |
|
| <Auto (...) <Lookup s4 <Lookup I (I('0'I)('1'O))>>
(e5)> |
|
|
¯ |
|
| <Auto (...) <Lookup s4 ('0'I)('1'O)>
(e5)> |
|
|
s4 ® '0' |
l |
|
m |
иначе |
|
|
| e3 := e5 |
|
| <Auto (...) <Lookup s4 ('1'O)> (e5)> |
|
|
s4 ® '1' |
l |
|
m |
иначе |
| e1 := e5 |
| <Auto ((O('0'O)('1'I)) (I('0'I)('1'O))) O (e5)>
|
|
... |
|
|
|
|
|
|
|
|
|
|