progs/automata/nfa.sc
changeset 927 ef54868a9226
parent 753 d94fdbef1a4f
equal deleted inserted replaced
926:42ecc3186944 927:ef54868a9226