progs/automata.scala
changeset 820 9d5e4fa0c64d
parent 93 4794759139ea