progs/automata.scala
changeset 496 5c9de27a5b30
parent 93 4794759139ea