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.