progs/automata/nfa1.scala
changeset 217 47179a172c54
parent 215 645ce5697621
equal deleted inserted replaced
216:ce3d07860a4a 217:47179a172c54