Formatted automata.
(_string) Denoted enabled STEM$