progs/automata.scala
changeset 437 fe387fcbf2ee
parent 93 4794759139ea