progs/automata.scala
changeset 127 01d522ba48d4
parent 121 1946e3f773a0