semiautomata