progs/automata/nfa1.scala
changeset 281 281ce101cda6
parent 215 645ce5697621