CMSC 330: Organization of Programming Languages Theory of Regular Expressions.
Comparative Succinctness of KR Formalisms