Formálne jazyky a automaty - Hopcroft, John E., 1939- (Edícia teoretickej literatúry, 1978)