progs/automata.scala
changeset 690 8d57433c7b5e
parent 93 4794759139ea