progs/automata/nfa1.scala
changeset 240 820228ac1d0f
parent 215 645ce5697621
equal deleted inserted replaced
239:e59cec211f4f 240:820228ac1d0f