progs/automata/nfa.sc
changeset 799 c18b991eaad2
parent 753 30ea6b01db46
equal deleted inserted replaced
798:409e5014edde 799:c18b991eaad2