Formal Languages
Book: [Michael Sipser] Introduction to the Theory of Computation
Regular Languages
See:
Regular Languages