progs/automata/nfa1.scala
changeset 580 e0f0a81f907b
parent 215 645ce5697621