(@-@) (@-@) (@-@) (@-@) automata R-18 2022