В пособии рассматриваются автоматы и формальные языки, классификация языков по Хомскому, порождающие грамматики, распознаватели и конечные автоматы, модель дискретного преобразователя Глушкова, абстрактный и структурный синтез, кодирование состояний синхронного и асинхронного автомата, явление состязаний элементов памяти и гонок в структурном автомате, проблемы и перспективы автоматизации проектирования, системы искусственного интеллекта. Для студентов, обучающихся по направлению и специальностям программного обеспечения вычислительной техники и автоматизированных систем, прикладной математики и обработки информации. Пособие также будет полезно широкому кругу специалистов, занятых в области компьютерного моделирования.
V posobii rassmatrivajutsja avtomaty i formalnye jazyki, klassifikatsija jazykov po Khomskomu, porozhdajuschie grammatiki, raspoznavateli i konechnye avtomaty, model diskretnogo preobrazovatelja Glushkova, abstraktnyj i strukturnyj sintez, kodirovanie sostojanij sinkhronnogo i asinkhronnogo avtomata, javlenie sostjazanij elementov pamjati i gonok v strukturnom avtomate, problemy i perspektivy avtomatizatsii proektirovanija, sistemy iskusstvennogo intellekta. Dlja studentov, obuchajuschikhsja po napravleniju i spetsialnostjam programmnogo obespechenija vychislitelnoj tekhniki i avtomatizirovannykh sistem, prikladnoj matematiki i obrabotki informatsii. Posobie takzhe budet polezno shirokomu krugu spetsialistov, zanjatykh v oblasti kompjuternogo modelirovanija.
