Title: Semantic automata