progs/automata/nfa.sc
changeset 1002 4358a7def8cb
parent 753 30ea6b01db46
equal deleted inserted replaced
1001:a039af69b12e 1002:4358a7def8cb