progs/automata.scala
changeset 678 ff3b48da282c
parent 93 4794759139ea