automata.scala
changeset 40 e7472b79be9d
parent 35 487b0c0aef75
child 43 93fc2f18e129