progs/automata.scala
changeset 420 a6db2b70abdd
parent 121 1946e3f773a0