You should do a course in Automata Theory. Check out cs154.stanford.edu I used the book "Language, Proof, and Logic" which was also excellent. These courses w

You should do a course in Automata Theory. Check out cs154.stanford.edu I used the book "Language, Proof, and Logic" which was also excellent. These courses will formalize concepts and allow you to apply them much better than random anecdotes.