equal
deleted
inserted
replaced
88 Automaton[Rexp](r, qs, delta, fins) |
88 Automaton[Rexp](r, qs, delta, fins) |
89 } |
89 } |
90 |
90 |
91 val A = mk_automaton(ALT("ab","ac")) |
91 val A = mk_automaton(ALT("ab","ac")) |
92 |
92 |
|
93 A.start |
|
94 A.states.toList.length |
|
95 |
93 println(A.accepts("bd")) |
96 println(A.accepts("bd")) |
94 println(A.accepts("ab")) |
97 println(A.accepts("ab")) |
95 println(A.accepts("ac")) |
98 println(A.accepts("ac")) |
|
99 |
|
100 val r1 = STAR(ALT("a","b")) |
|
101 val r2 = SEQ("b","b") |
|
102 val r3 = SEQ(SEQ(SEQ(r1, r2), r1), "a") |
|
103 val B = mk_automaton(r3) |
|
104 |
|
105 B.start |
|
106 B.states.toList.length |