Podstawowe materialy do wykladu:
J. Hopcroft, J.Ullman, Wprowadzenie do teorii automatow jezykow i obliczen