progs/automata1.scala
changeset 770 8be0c3c09aca
parent 93 4794759139ea