progs/automata.scala
changeset 786 da2488db453e
parent 93 4794759139ea