Подробное описание документа
Трахтенброт Б. А.
Конечные автоматы (поведение и синтез) / Трахтенброт Б. А., Барздинь Я. М. - М. : Наука, 1970. - 400 с. : ил. - (Математическая логика и основания математики). - Библиогр.:
Книга посвящена так называемой поведенческой теории конечных автоматов, в которой функционирование автомата изучают, отвлекаясь от его структуры. Закономерности поведения автомата интересны сами по себе и имеют большое значение для решения общей проблемы синтеза автоматов.
В книге систематически излагаются результаты, появившиеся в последнее время в периодической литературе как в нашей стране, так и за рубежом. Эти результаты позволяют по-новому решать проблему синтеза, используя формальные языки математической логики и методы, основанные на анкетировании (опросе) заказчика. Вместе с тем они дают возможность с единой точки зрения и весьма компактно изложить методы синтеза, уже описанные ранее в монографиях.
В книге подробно исследуются важнейшие параметры поведения автоматов, при этом наряду с конечным поведением рассматриваются идеализированные эксперименты с автоматом, работающим неограниченно долго. Широко используются аппарат математической логики, игровые и лингвистические интерпретации.
Книга рассчитана на научных работников в области теоретической кибернетики и математической логики, а также на инженеров, заинтересованных в углубленном изучении математических основ теории автоматов. Ее можно рекомендовать аспирантам и студентам соответствующих специальностей.
519.713 Теория автоматов1 экз.
- Преподавательский абонемент ауд.313, ГУК, ауд. 313
- Читальный зал ауд.313, ГУК, ауд. 313