I think it's an explicit assumption. Either a configuration language is Turing complete or it isn't.

I think I know where you're coming from - if you are a human reading the configuration then you can analyze the actual code. But that's only one dimension of the problem, because it requires a human to be in the loop.