Основы кибернетики и вычислительной техники. Абстрактный (формальный) автомат. Теория графов.