Cтраница 4
Метауровень соответствует начальным стадиям проектирования, на которых осуществляется научно-технический поиск и прогнозирование, разработка концепции и технического решения, разработка технического предложения. Для построения математических моделей метауровня используют методы морфологического синтеза, теории графов, математической логики, теории автоматического управления, теории массового обслуживания, теории конечных автоматов. [46]
Отсутствие зависимости выхода у в момент t от u ( t) можно также интерпретировать как невозможность за бесконечно малое время, изменяя входное воздействие, вызвать изменение выхода системы. Это объясняется тем, что время реакции выхода на вход в некоторых ситуациях пренебрежимо мало по сравнению с интервалом дискретности и в модели его можно не учитывать, а также тем, что в теории конечных автоматов дискретное множество Т не обязательно моделирует физическое время. [47]
На языке теории цифровых автоматов теоретически можно описать условия функционирования любого дискретного преобразователя информации. Однако при большом числе внутренних состояний возникают серьезные затруднения. Тем не менее теория конечных автоматов имеет большое практическое значение, так как сложные цифровые устройства представляют собой систему совместно работающих автоматов с небольшим числом внутренних состояний и автоматов без памяти, выполняющих простейшие функции по переработке информации. Построение сложных автоматов из элементарных называется композицией цифровых автоматов. [48]
Это непосредственно следует из конечности графа разметок любой автоматной сети. Этот граф представляет собой не что иное, как граф конечного автомата, в котором множество состояний образовано множеством достижимых в сети разметок, а алфавит - символами переходов сети. Поэтому на автоматные сети распространяются все результаты теории конечных автоматов, и изучать этот класс в рамках теории сетей Петри не имеет смысла. [49]
В цифровых вычислительных машинах процесс переработки информации основывается на представлении информации в форме чисел. Переработка информации, представленной в такой форме, осуществляется в ЦВМ техническими устройствами, конструкция и назначение которых различны. Описание работы таких устройств базируется на понятиях теории конечных автоматов и комбинационных схем, в которой большую роль играет аппарат алгебры логики. Функции, которые выполняют эти устройства, и их конструкция во многом определяются принципами, закладываемыми в организацию вычислительного процесса. [50]
В теории автоматического опознания образов иногда представляется целесообразным обращаться к наиболее наглядной форме - геометрической форме представления тех или иных процессов. Но обычного трехмерного пространства недостаточно для этих представлений, так как число параметров, которые должны быть отложены по осям координат, значительно более трех. В математической физике, а позднее и в теория линейного программирования, и в теории конечных автоматов стали рассматривать абстрактные пространства многих измерений. Это оказалось очень удобным, так как аналитические выражения, характеризующие те или иные построения, совпадают по форме и для двухмерного, и для трехмерного, и для четырехмерного и, вообще, для / г-мерного пространства. [51]