progs/automata/nfa.sc
changeset 1008 7431e391682f
parent 753 30ea6b01db46
equal deleted inserted replaced
1007:5ebe843c1184 1008:7431e391682f