progs/automata/nfa1.scala
changeset 595 fa92124d1fb7
parent 215 645ce5697621