Графоид - автомат
Cтраница 1
 |
По формулам - находим множества. [1] |
Графоиды автоматов А и В показаны соответственно на рис. 7.10 и 7.11. Найти автомат, равный произведению автоматов А к В. [2]
Графоиды автоматов А и В показаны соответственно на рис. 7.16 и 7.17. Найти автомат, равный суперпозиции автоматов А и В. [3]
Графоид автомата G показан на рис. 8.13. Легко проверить, что Л G В. [4]
По графоиду автомата находим источник и сток. [5]
При анализе графоид автомата, как правило, необходимо приводить к индексному остатку. Прирост пути от вершины qi к q определяется произведением приращений дуг, образующих этот путь. [6]
При сведении графоида автомата к переходному графу с двумя вершинами остальные вершины должны быть удалены. [7]
Таким образом, любой графоид автомата можно свести к линейному переходному графу с двумя вершинами qi и cjj, ветвевой переход между которыми является искомым регулярным выражением, представимым в автомате состоянием / j при условии, что qi - начальное состояние автомата. [8]
Устраняем последовательно индексные вершины индексного остатка графоида автомата. Приращение пути от вершины qi к вершине q, есть регулярное выражение, представимое в автомате состоянием q при условии, что qi - начальное состояние автомата. [9]
Теоретический и практический интерес представляет обратная задача - построение графоида автомата по нагруженному прадереву детерминированного оператора которая фактически представляет задачу абстрактного синтеза автоматов. [10]
В результате построения уравнений базиса получаем систему уравнений, определяющую графоид автомата. [11]
Из него видно, что мы получили граф регулярного выражения R, а не графоид автомата, представляющий это регулярное выражение. [12]
Следовательно, тождественные преобразования, применяемые к линейным переходным графам, естественным образом распространяются и на графоиды автоматов, с учетом лишь того, что умножение здесь не коммутативно. [13]
Поэтому минимальная форма регулярного выражения одного и того же события может быть получена за конечное число раз применения алгоритма анализа к графоиду автомата. [14]
В заключение этого параграфа отметим, что в общем случае при анализе абстрактных автоматов целесообразно комбинировать графический и аналитический методы анализа, применяя вначале к графоиду автомата тождественные преобразования, а затем составляя и решая систему уравнений. [15]
Страницы: 1 2