Cтраница 2
Бинарные отношения, изучавшиеся ранее с точки зрения специальных потребностей математической логики, оказались очень простым и удобным аппаратом для весьма разнообразных задач. Язык бинарных ( и более общих) отношений очень удобен и естествен для математической лингвистики, математической биологии и целого ряда других прикладных ( для математики) областей. Это очень легко объяснить, если сказать, что геометрический аспект теории бинарных отношений есть попросту теория графов. Но насколько геометрическая теория графов известна и хорошо освещена в литературе самого разнообразного жанра - от популярной до монографической, настолько алгебраические аспекты теории отношений изложены весьма скудно. [16]
Ей посвящена обширная литература. К настоящему времени в теории автоматов отчетливо наметились два аспекта. Комбинаторный подход [51, 53, 12] в большей степени связан с поведением, анализом и синтезом автоматов. Однако, говоря об алгебраическом аспекте теории автоматов, мы имеем в виду в первую очередь автомат в качестве алгебраической структуры; таким образом, автомат становится объектом алгебраической теории. [17]