Formálne jazyky a automaty - Hopcroft, John E.; Ullman, Jeffrey D.; Rovan, Branislav (Edícia teoretickej literatúry, 1978)