Teorija avtomatov. (Nauka, 1976)