(@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) (@-@) Automata 2017-12