progs/automata.scala
changeset 217 bc92320b41d3
parent 121 1946e3f773a0