automatonta

not defined yet