Redirecting to Automata-based programming