Comment by PaulHoule

It's some kind of abstract machine, like a turing machine or the machine that parses regexes, isn't it?