progs/automata1.scala
changeset 945 6cd55dfd3b7d
parent 93 4794759139ea