progs/automata.scala
changeset 922 e86ea06e3b25
parent 93 4794759139ea