progs/automata1.scala
changeset 843 f3204dd2b6dc
parent 93 4794759139ea