Modify automata operations parser