направление в автоматов теории, характеризующееся использованием алгебраич. средств в изучении автоматов. А. а. т. основана на том, что автоматы можно рассматривать как нек-рые специальные алгебры или алгебраические системы. Кроме того, события, представимые конечными автоматами, относительно операций объединения, произведения и итерации образуют алгебру, порождаемую конечным множеством так наз. элементарных событий, каждое из к-рых состоит из одного одно-буквенного или пустого слова. Алгебраический подход позволяет непосредственно использовать алгебраич. результаты в теории автоматов, а также помогает в не-к-рых случаях установлению связи теории автоматов с другими областями математики. Так, с помощью теории автоматов были получены доказательства разрешимости нек-рых арифметических теорий второй ступени, а также новое, более простое, решение ограниченной Бернсайда проблемы. С алгебраич. точки зрения, автомат (конечный или бесконечный) является трехосновной алгеброй, т. е. алгеброй с тремя множествами элементов и двумя операциями : X С другой стороны, переходную систему где - входной алфавит, - множество состояний (см. Автомат конечный), можно рассматривать как алгебру с унарными операциями, обозначаемыми буквами а i входного алфавита Аи такими, что Таким образом, для автоматов естественно определяются такие понятия, как автоматов гомоморфизм, изоморфизм, подавтомат и т. д. Вместе с тем этот подход позволяет сопоставить автомату полугруппу преобразований множества S с операцией суперпозиции, порожденную операциями а i , так что для произвольных из Аи s из S положено Эта полугруппа наз. полугруппой автомата она используется как средство описания определенных свойств автоматов (классификация, разложимость, изоморфизм и т. д.) на алгебраич. языке. В то же время всякой полугруппе Qс единицей можно сопоставить автомат с заданным входным алфавитом и множеством состояний Qследующим образом. Каждой букве из Аставят в соответствие нек-рый элемент и тогда функцию переходов можно определить так: Полугруппа такого автомата изоморфна подполугруппе полугруппы порожденной элементами и тем самым в случае, если суть образующие полугруппы полугруппа автомата изоморфна исходной полугруппе . Полугруппа автомата очевидным образом изоморфна фак-торполугруппе входной полугруппы всех слов в алфавите с операцией последовательного соединения слов (конкатенация) по конгруэнции
Для произвольного состояния конгруэнция Rявляется максимальной подконгруэнцией отношения Это означает, в частности, что событие, представимое инициальным акцептором является объединением нек-рых R-классов. Поскольку полугруппа автомата характеризует его с точностью до изоморфизма, то различным классам полугрупп соответствуют свои классы автоматов. В том случае, когда полугруппа автомата является свободной, или абелевой, или циклической, или нильпотентной и т. п., или, наконец, группой, автомат называется, соответственно, свободным, абелевым, циклическим, нильпотентным, групповым (или перестановочным). Другой подход, связанный с алгебраич. классификацией функций переходов и выходов, приводит к классам линейных, подстановочных и др. автоматов (см. Автомат). Подстановочные автоматы реализуют взаимно однозначные функции и используются в теории кодирования. Линейные автоматы представляют интерес в связи с простотой их схемной реализации. Автомат наз. линейным автоматом (л. а.), если A, S и В - линейные пространства над нек-рым полем Р, где - линейные отображения соответственно: Обычно предполагается, что поле Рконечно, а пространства A, S, В конечномерны; в этом случае л. а. является конечным автоматом. Если в представлении конечного акцептора в виде алгебры, операциями к-рой являются буквы входного алфавита, допустить многоместные операции, то полученное обобщение наз. автоматом над термами (автоматом над деревьями, обобщенным автоматом). Такие автоматы используются для доказательства разрешимости нек-рых математич. теорий второй ступени.
Теория — ж. греч. умозренье, умозаключенье; заключенье, вывод из чего-либо, не по явленью на деле, а по выводам своим; противоположное дело, на деле, опыт, практика. не всегда верна;........
Толковый словарь Даля
Теория — теории, ж. (греч. theoria - исследование). 1. учение, являющееся ражением действительности, обобщением практики, человеческого опыта. ..., если она является действительной теорией,........
Толковый словарь Ушакова
Теория Ж. — 1. Обобщение фактов, опыта, знаний, основывающееся на глубоком проникновении в сущность изучаемого явления, вскрывающее его закономерности. 2. Учение о какой-л. области........
Толковый словарь Ефремовой
Исторического Пессимизма Теория — - направление в футурологии международных отношений, которое, в противовес теории технократического оптимизма, исходит из перспективы долгого существования классического........
Политический словарь
Конвергенции Теория — (от лат. convergere - сближаться, сходиться) основана на идее преобладания тенденций объединения элементов в систему над процессами дифференциации, различения и индивидуализации.........
Политический словарь
Мобильности Теория — (от фр. mobile, лат. mobilis - подвижный, способный к быстрому действию) - система идей в социологии и политологии, в которой осмысливаются процессы изменения положения людей........
Политический словарь
Олигархизации Политических Партий Теория — - (от греч. oliarchia - власть немногих) - обоснование характерной тенденции в развитии партии: переход от организации демократического типа к жесткому бюрократическому аппарату........
Политический словарь
Политическая Система Индустриально Развитых Стран (теория) — Политическая система представляет собой совокупность лиц, институтов, участвующих в политическом процессе, неформальных и неправительственных факторов, влияющих........
Политический словарь
Политическая Теория — (POLITICAL THEORY) - массив научной мысли, нацеленной на оценку, объяснение и прогнозирование политических феноменов. Одновременно политическая теория представляет собой раздел........
Политический словарь
Постиндустриального Общества Теория — - широко применяется в западной политологии и социологии для обозначения современного общества. Концепция индустриального общества разрабатывалась в трудах Р.Дарендорфа........
Политический словарь
Теория — - интегрированная совокупность принципов, которые объясняют и предсказывают наблюдаемые явления. (Д. Майерс, с.50)
Политический словарь
Теория Конвергенции — (лат. convergere приближаться, сходиться) - одна из концепций политологии, социологии и политэкономии, усматривающая в общественном развитии современной эпохи преобладающую........
Политический словарь
Теория Нового Институционализма — - направление в американской политологии, возникшее в 1970-е гг. Классики неоинституционализма американские политологи Д.Марч и Д.Олсен в работе "Вновь открывая институты:........
Политический словарь
Теория Партисипаторной Демократии — - теоретики партисипаторной демократии (Дж.Вольф, Ф.Грин, Б.Барбер)остаются верными центральной идее классической теории демократии о способности простых людей управлять........
Политический словарь
Теория Плебисцитарной Демократии — - ее основателем считается М.Вебер. По его мнению, с развитием партий меняется характер политического представительства и политическая организация власти. Политическое........
Политический словарь
Теория Плюралистической Демократии — - концепция, согласно которой политический процесс предоставляет собой борьбу множества социальных, профессиональных, религиозных, местных, национальных или др. группировок,........
Политический словарь
Теория Рационального Выбора — - согласно ее основному положению, главным субъектом политического участия является свободный индивид, стремящийся к максимальной реализации своих интересов и эффективно........
Политический словарь
Теория Социально-когнитивного Научения — (SOCIAL COGNITIVE LEARNING THEORY). Направление персонологии, представленное Бандурой и Роттером, в котором подчеркивается, что поведение является результатом сложного взаимодействия........
Политический словарь
Теория Статусной Перестановки — - концепция, объясняющая политизацию социальных групп в условиях, когда их объективные социально- 285 экономические характеристики не снижаются, но происходит рост статуса........
Политический словарь
Теория Элитарной (элитистской) Демократии — - концепция, согласно которой власть при демократии осуществляется элитами. Отличие демократии от диктатуры состоит в наличии нескольких элит, конкурирующих друг с........
Политический словарь
Амортизационная Теория Страхового Фонда — См. Теория амортизационная страхового фонда
Экономический словарь
Арбитражная Теория Оценки — (arbitrage pricing theory) – теория равновесия на рынке капиталов, основанная на предположении об отсутствии арбитражных возможностей. В соответствии с арбитражной теорией оценки,........
Экономический словарь
Арбитражная Теория Ценообразования — Альтернативная модель определения стоимости основных фондов, разработанная Стивеном Россом и построенная исключительно на арбитражных аргументах.
Экономический словарь
Государственная Теория Денег — См.
Теория денег государственная
Экономический словарь
Густав Кассель: Экономическая Теория Как Чистая Теория Цен — Густаву Касселю (1866-1944) всемирную известность принесли его многочисленные произведения и общественная деятельность. Вначале Кассель изучал технические науки, в 1895........
Экономический словарь
Декларативная Теория Признания — - правовая
концепция, отрицающая, что
субъект международного
права возникает лишь в силу акта его признания другими государствами. Согласно этой концепции........
Экономический словарь
Кардиналистская Теория Полезности — (от англ. cardinal - количественный) - исходит из того, что любой
потребитель способен количественно измерить
уровень полезности всякого данного
товара и уровень........
Экономический словарь
Классическая Теория — - теория, объединяющая представителей экономической науки, развивавших экономические концепции, начало которым положили английские
экономисты А. Смит и Д, Рикардо.........
Экономический словарь
Количественная Теория Денег — теория денежного обращения, основанная на уравнении
обмена (уравнении Фишера), связывающем денежную массу в обращении,
скорость обращения денег, среднюю цену........
Экономический словарь
Мальтузианская Теория Народонаселения — MALTHUSIAN THEORY OF POPULATIONПреподобный Томас Мальтус в своем
труде `Опыт
закона о народонаселении` (1798г.) отстаивал точку зрения, что
численность населения при его........
Экономический словарь
Slovariki 2.0. Знание - сила