progs/automata.scala
changeset 788 3b1136fb6bee
parent 93 4794759139ea