Minimization of symmetric difference finite automata
Graham Müller · SUNScholar (Stellenbosch University) · 2006
% # " " " !" !" # !& !!" !' # ! ( ) * !+ ) * $ !$ + " !!" !" " "" "* " !!" $"+ ") !, " $" ' " '' ! ) &" "** * " !$ + )+ ** "+ " '" !" " -' " $" !" " "* !!" !" " "* !*" !$" '' " " !!!*" $" $ !!*" ' " !" "" &" * !" ." ) # ) $" !" " ) $ # & " " $ * " " !'' " ) $ " # !/ 0 ( *" " 0(" " !* " " !!* ) 1 !! 2 * "$ " $ % !" !/ " " /# *" " % " " " !" $ !* / " " "" " " $ !* $" " !""" !" "" " "* !' "" $" " # " !' " *" $" " " 3 " " $"'' " # / " !" " " !"' ) 8# + C" !" ** " * " " " # " " " " " ) " '' " * ) "* C # ) " % .( )+ # C" !' !+ * !$! " " $" E4AF 2 !C" / " # * ""+ $" * " ) ' * # ) ) "" ' " !" "+ !C" "' " $" 3 #" "# ) E4AF " " " $"+ ) ") !, " $" + " " " !"' " !$ C" + $" ' " " ) ** " " !C '" " " " " ' " " $" ) " % C " # # / " '' " * "* " C " " !"' .' " "" " !" !% " C" 3 " ' " "# ) M* !(/ E4F C $ " C-$8! ' !Æ C * " / ) ! ( )+ " " * !C" " ! 3 " ''+ % " " !!$ " " !N "" C+ # "" ) * # " '"" " " 35.' " !" " # * " " !!* " !' !" " C " % * 3 " !" # #!" " !"* # "* (35 # " " ! ." / " '" " !!" #" " !"" " !* (35 " # " #* $ " * # #!" (35 "* 8# + " " " * #" " ' ' .) 3 " " !! ) " " ' " * "Æ.' " ) " !#! !!' "" !% 8# + " " " # " !!3" !" # #!+ * " ' &. #! (35 " !!" " ' " * "Æ." " " !' !(35 " # "Æ.!! !(35 # , * #!" # " "Æ." !, ' &. " # "Æ." !! !"' " " / !% " * (35 ' " * " !#!" " !" !""" "' !" /# " !" *" # !""" !!) '! !Æ "' !#" " ' ' .)8# + " !) " "' & !'