Автомат как вычислительная модель. Душкин объяснит