progs/automata/enfa.sc
changeset 818 ea65778368cc
parent 779 1255b4dbe516
child 884 fa8cc61dfcf0
equal deleted inserted replaced
817:5c6ceb1c5d07 818:ea65778368cc