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