2.10. Элементарные пути

Путь ведущий из называется элементарным путем (длины k), если индексы различны. Он называется элементарным контуром (длины k), если индексы различны, a i = j. Таким образом, элементарный путь (элементарный

контур) является разомкнутым (замкнутым) путем, который не проходит ни через одно состояние более одного раза. Отсюда имеем:

Лемма 2.4. В автомате с состояниями длина элементарного пути не может быть больше , а длина элементарного контура не может быть больше n.

Путь, не являющийся элементарным, называется избыточным. В следующем параграфе будут рассмотрены некоторые задачи, в которых представляют интерес только элементарные пути. В случае, когда это имеет место, все члены У которых не все индексы различны, могут быть исключены из матрицы переходов порядка получаемая при таком исключении матрица обозначается так: Элемент матрицы представляет собой множество всех элементарных путей длины k, ведущих из в в автомате М. Матрица записывается в виде и является матрицей в которой все диагональные элементы исключены (т. е. все диагональные элементы заменены нулями).

Лемма содержит все элементарные пути, содержащиеся в

Доказательство. Процесс умножения на как следует из (2.21), эквивалентен увеличению длины k каждого пути, представленного в до длины посредством присоединения к концу пути одной из дуг, представленных в матрице Если путь из k дуг матрицы или присоединенная дуга избыточны, то результирующий путь длины также должен быть избыточным. Следовательно, произведение где образуется путем вычеркивания из всех избыточных путей длины 1 и образуется путем вычеркивания из всех избыточных путей Длины k, должно содержать все элементарные пути, содержащиеся в Так как то лемма доказана.

Лемма 2.5 означает, что в процессе построения из все избыточные пути можно исключать по мере их

появления в любой промежуточной матрице, так как это исключение никакого влияния на образование элементарных путей не оказывает. Этот результат позволяет предложить упрощенный метод получения значительно менее трудоемкий, чем метод, по которому сперва получают и затем исключают из все избыточные пути.

Алгоритм 2.4. Дана надо построить для Строим заменяя все диагональные элементы в [М] нулями. Полагаем . Строим . В произведении матриц заменяем каждый член, представляющий избыточный путь, нулем. Пусть результирующая матрица будет (3) (а) Если , то увеличиваем k на 1 и возвращаемся к (2). (б) Если , то

Матрицы (2.26)-(2.29) иллюстрируют применение алгоритма 2.4 для построения по матрице представленной выражением (2.24).

Можно заметить, что, в то время как число ненулевых членов в имеет тенденцию расти по экспоненте с ростом k, число членов в имеет тенденцию оставаться постоянным до определенного значения величины k и уменьшаться для больших значений k. Действительно, из леммы 2.4 можно заключить, что если М является автоматом с n состояниями, то для всех состоит полностью из нулевых членов.