Глава 1. Основная модель

Введение

Подобно другим теориям, развитие которых побуждается нуждами, науки и техники, теория конечных автоматов имеет дело с математическими моделями, предназначенными для приближенного отображения физических или абстрактных явлений. Значение этой теории состоит в том, что применение ее моделей не ограничивается какой-либо частной областью, а возможно непосредственно для решения проблем практически в любой области исследований от психологии до административного управления и от связи до лингвистики. Идеи и техника теории конечных автоматов используются для решения таких, казалось бы не связанных, проблем, как исследование деятельности нервной системы человека, анализ английского синтаксиса и проектирование электронных вычислительных машин. В эпоху, когда темпы развития науки сильно зависят от межотраслевого кооперирования, унифицированный характер этой теории представляет несомненную ценность. В этой главе будет введена так называемая «основная модель» конечного автомата, будут детально обсуждены предположения, лежащие в основе этой модели, и будет показано, как эта модель может быть использована для решения проблем из самых различных областей.