Automata
compute
*
+
?
|
(
)