progs/automata/nfa.sc
changeset 884 fa8cc61dfcf0
parent 753 30ea6b01db46