Cтраница 2
Поскольку в автомате Мура операция выражается через операцию о и определяющее отображение, декомпозиция автоматов Мура сводится к декомпозиции автоматов типа вход - состояние. [16]
Если рассматривать полугруппы автоматов по различным операциям, которые содержательно соответствуют различным видам соединений автоматов между собой, то задачу декомпозиции автоматов с выделением стандартных автоматов формально можно трактовать как задачу делимости в полугруппах автоматов и сводить, таким образом, к решению уравнений в полугруппах абстрактных автоматов. [17]
Наконец, многообразиям отвечают вербальные конгруэнции в индивидуальных автоматах, которые могут играть существенную роль в структурной теории, в частности в задачах декомпозиции автоматов. Не исключено, что все это может оказаться полезным и в технических приложениях. [18]
Покажем теперь, что любой абстрактный автомат, разложимый по операции умножения X, разложим также и по операции умножения, иначе говоря, парал лельная декомпозиция автоматов с разделением входов является частным случаем параллельной декомпозиции автоматов с общим входом. [19]
Оптимальная декомпозиция абстрактных автоматов решает задачу кодирования состояний автоматов и приводит к синтезу функциональных схем с минимальной комбинационной частью. Поскольку декомпозиция автоматов основана на разложении графов, то вполне понятно то внимание, которое уделяется в книге вопросам разложения сложных графов на более простые графы. Заметим, что задача разложения поставлена и решена для абстрактных графов и поэтому в принципе может быть распространена на любые объекты и системы, которые можно задавать в виде графов, не ограничиваясь только приложением ее в теории автоматов и вычислительных машин. [20]
К ЕТ К, то получаем декомпозицию автомата В на стандартный автомат А и автомат / С, совместная работа которых, показанная на рис. 8.25, эквивалентна работе автомата В. [21]
Главы 5, 6, 8 и 9 посвящаются изложению исследований по алгебраической теории декомпозиции автоматов и полугрупп, развитой Кеннетом Кроном и Джоном Роудзом, это основная тема первых девяти глав. [22]
По лемме 7.14, Х делит произведение триггеров, кроме того, А 2 - автомат Мура, таким образом, все свелось к декомпозиция автомата Мура. [23]
Из простых автоматов строятся более сложные. Основной конструкцией при этом служит каскадное соединение автоматов. Обратной задачей является декомпозиция автоматов; классический результат здесь получен К. Построению автоматных конструкций и вопросам декомпозиции чистых автоматов посвящена гл. [24]
В [28] вводится конструкция сплетения линейного автомата с чистым, результатом которого является линейный автомат; с помощью этой конструкции проводится дальнейшая редукция рассмотренной выше декомпозиции линейных автоматов. В [33] вводится конструкция треугольного произведения аффинных автоматов и рассматривается их декомпозиция. В [54] рассматривается декомпозиция кольцевых автоматов. [25]
Теорема, доказанная в предыдущем параграфе, позволяет разложить любой автомат в каскадное соединение перестановочно-возвратных компонент. Сначала исследуем возможность каскадной декомпозиции только перестановочных автоматов, а затем-как обобщить полученные результаты на перестановочно-возвратные автоматы. [26]
Описываются свойства теоретико-множественных и алгебраических операций над графами и решаются задачи разложения сложных графов на более простые по различным операциям. Определяются основные понятия теории автоматов н формулируются алгоритмы абстрактного анализа и синтеза автоматов. Изучается алгебра абстрактных автоматов и рассматривается проблема декомпозиции автоматов. [27]
В главе 4 излагается доказательство Зейгера теоремы Крона - Роудза о декомпозиции автомата. Оно основывается на аппарате теории покрытий. Возможно, это доказательство будет ближе читателям, знакомым с работами Хартманиса и Стирнза по декомпозиции автоматов. [28]
Книга посвящена рассмотрению автомата как объекта алгебраической теории. В вей исследуется алгебраическое строение автомата. Для чистых в линейных автоматов вводятся различные автоматные конструкции. Рассматриваются задачи декомпозиции автоматов, построения универсальных автоматов, изучения автоматов Мура и некоторые другие задачи. Значительное место уделяется изучению тождеств, многообразий в квазвмногообразий автоматов. [29]
Из простых автоматов строятся более сложные. Основной конструкцией при этом служит каскадное соединение автоматов. Обратной задачей является декомпозиция автоматов; классический результат здесь получен К. Построению автоматных конструкций и вопросам декомпозиции чистых автоматов посвящена гл. [30]