progs/automata/nfa2.scala
changeset 569 5af61c89f51e
parent 229 81c85f2746f5