<i>If a configuration language is Turing-incomplete, configuration files written in it can be validated “offline”, ie. without executing the program it configures</i><p>This is exactly what I've been advocating recently. Less power is good, if it means you can validate your config files without first solving the halting problem.