progs/automata.scala
changeset 943 5365ef60707e
parent 93 4794759139ea