Fixed and improved incremental automaton builder algorithms