progs/automata.scala
changeset 358 542d2cf143b0
parent 121 4fc05d4f0e01