Talk:Constraint automaton