В пособии рассматриваются автоматы и формальные языки, классификация языков по Хомскому, порождающие грамматики, распознаватели и конечные автоматы, модель дискретного преобразователя Глушкова, абстрактный и структурный синтез, кодирование состояний синхронного и асинхр...