progs/automata/enfa.sc
changeset 858 67e4eae871a9
parent 779 1255b4dbe516
child 884 fa8cc61dfcf0
equal deleted inserted replaced
857:e748f5e09323 858:67e4eae871a9