Processing AND/IF input stream: ----------------------------------------------------------------------------- 11> (AND/IF_1.0 12> (NFA 13> (NOTE Generated by Verdect 2.3A) 14> (INTERPRETATION Ebergen/VERDECT) 15> (NAME PAR) 16> (SYMBOLS 17> (ar INPUT) 18> (aa OUTPUT) 19> (br OUTPUT) 20> (ba INPUT) 21> (cr OUTPUT) 22> (ca INPUT) 23> ) 24> (STATES 25> (0 INITIAL) *** Line 25: XDI Warning: definition of state '0' has no (valid) progress properties. Assuming 'box' property 26> (1) *** Line 26: XDI Warning: definition of state '1' has no (valid) progress properties. Assuming 'box' property 27> (2) *** Line 27: XDI Warning: definition of state '2' has no (valid) progress properties. Assuming 'box' property 28> (3) *** Line 28: XDI Warning: definition of state '3' has no (valid) progress properties. Assuming 'box' property 29> (4) *** Line 29: XDI Warning: definition of state '4' has no (valid) progress properties. Assuming 'box' property 30> (5) *** Line 30: XDI Warning: definition of state '5' has no (valid) progress properties. Assuming 'box' property 31> (6) *** Line 31: XDI Warning: definition of state '6' has no (valid) progress properties. Assuming 'box' property 32> (7) *** Line 32: XDI Warning: definition of state '7' has no (valid) progress properties. Assuming 'box' property 33> (8) *** Line 33: XDI Warning: definition of state '8' has no (valid) progress properties. Assuming 'box' property 34> (9) *** Line 34: XDI Warning: definition of state '9' has no (valid) progress properties. Assuming 'box' property 35> ) 36> (TRANSITIONS 37> (0 1 ar) 38> (1 2 br) (1 3 cr) 39> (2 4 ba) (2 5 cr) 40> (3 5 br) (3 6 ca) 41> (4 7 cr) 42> (5 7 ba) (5 8 ca) 43> (6 8 br) 44> (7 9 ca) 45> (8 9 ba) 46> (9 0 aa) 47> ) 48> ) 49> ) ----------------------------------------------------------------------------- PAR: warning: unknown interpretation 'Ebergen/VERDECT' ignored. Assuming 'Verhoeff/XDI' PAR: 1 warning, 0 errors. Processing AND/IF input stream: ----------------------------------------------------------------------------- 1> (AND/IF_1.0 2> (NFA 3> (NAME PAR-Element) 4> (SYMBOLS 5> (ar INPUT) (aa OUTPUT) (br OUTPUT) (ba INPUT) 6> (cr OUTPUT) (ca INPUT) 7> ) 8> 9> (STATES 10> (0 INITIAL BOX) 11> (1 TRANSIENT) 12> (2 TRANSIENT) 13> (3 TRANSIENT) 14> (4 TRANSIENT) 15> (5 BOX) 16> (6 TRANSIENT) 17> (7 BOX) 18> (8 BOX) 19> (9 TRANSIENT) 20> ) 21> (TRANSITIONS 22> (0 1 ar) 23> (1 2 br) (1 3 cr) 24> (2 4 ba) (2 5 cr) 25> (3 5 br) (3 6 ca) 26> (4 7 cr) 27> (5 7 ba) (5 8 ca) 28> (6 8 br) 29> (7 9 ca) 30> (8 9 ba) 31> (9 0 aa) 32> ) 33> ) 34> ) ----------------------------------------------------------------------------- ERDECT version 2.3A Credits: Robert Berks, Rok Yu, Ian Goldberg, Sylvain Gingras. AND/IF export by Tom Verhoeff. Based onPAR-Element: warning: interpretation not given. Assuming 'Verhoeff/XDI' PAR-Element: 1 warning, 0 errors.
0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | |
---|---|---|---|---|---|---|---|---|---|---|
0: | 0 | . | . | . | . | . | . | . | . | . |
1: | . | 1 | . | . | . | . | . | . | . | . |
2: | . | . | 2 | . | . | . | . | . | . | . |
3: | . | . | . | 2 | . | . | . | . | . | . |
4: | . | . | . | . | 3 | . | . | . | . | . |
5: | . | . | . | . | . | 3 | . | . | . | . |
6: | . | . | . | . | . | . | 3 | . | . | . |
7: | . | . | . | . | . | . | . | 4 | . | . |
8: | . | . | . | . | . | . | . | . | 4 | . |
9: | . | . | . | . | . | . | . | . | . | 5 |
(s,t): | d, | X\Y, | path |
---|---|---|---|
(0,0): | 0, | \ , | |
(1,1): | 1, | \ , | ar |
(2,2): | 2, | \ , | ar br |
(3,3): | 2, | \ , | ar cr |
(4,4): | 3, | \ , | ar br ba |
(5,5): | 3, | \ , | ar br cr |
(6,6): | 3, | \ , | ar cr ca |
(7,7): | 4, | \ , | ar br ba cr |
(8,8): | 4, | \ , | ar br cr ca |
(9,9): | 5, | \ , | ar br ba cr ca |
d: | h | [ c] |
---|---|---|
0: | 1 | [ 1] |
1: | 1 | [ 2] |
2: | 2 | [ 4] |
3: | 3 | [ 7] |
4: | 2 | [ 9] |
5: | 1 | [10] |
0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | |
---|---|---|---|---|---|---|---|---|---|---|
0: | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 |
1: | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 |
2: | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 |
3: | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 |
4: | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 |
5: | 1 | 0 | 0 | 0 | 0 | 2 | 0 | 1 | 1 | 0 |
6: | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 |
7: | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 |
8: | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 |
9: | 1 | 0 | 0 | 0 | 0 | 1 | 0 | 1 | 1 | 0 |
0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | |
---|---|---|---|---|---|---|---|---|---|---|
0: | . | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |
1: | . | . | . | . | 3 | . | 3 | . | . | 1 |
2: | 1 | 1 | . | 1 | 1 | . | 1 | 1 | 2 | 1 |
3: | 1 | 1 | 1 | . | 1 | . | 1 | 2 | 1 | 1 |
4: | . | 1 | . | 1 | . | . | 1 | . | . | 1 |
5: | 1 | 1 | 1 | 1 | 1 | . | 1 | 1 | 1 | 1 |
6: | . | 1 | 1 | . | 1 | . | . | . | . | 1 |
7: | 1 | 1 | 1 | 1 | 1 | . | 1 | . | 1 | 1 |
8: | 1 | 1 | 1 | 1 | 1 | . | 1 | 1 | . | 1 |
9: | . | 1 | 1 | 1 | 1 | . | 1 | . | . | . |