My arse is a nondeterministic finite automaton.