Right. Aren't the guts just like big finite state machines so they can only encode regular expressions. They can't do things that require a stack like a context

Right. Aren't the guts just like big finite state machines so they can only encode regular expressions. They can't do things that require a stack like a context-free grammar or anything generated by a pushdown automata. And we can't begin to get to Turing complete, can we?