progs/automata1.scala
changeset 785 6fce7c99ebfa
parent 93 4794759139ea