The relationship between the types of machines that recognize valid expressions in a language, classes of computation, and classes of language grammars is extremely interesting, even if the some of the essays written about it are brutal: https://raganwald.com/2019/02/14/i-love-programming-and-programmers.html