progs/automata/nfa.sc
changeset 1019 43f64633a8a1
parent 753 d94fdbef1a4f