Vvedenije v teoriju avtomatov - Kudrjavcev, Valerij Borisovič (Nauka, 1985)