Обходом графа называется

Путем графа называется

Построение графа синхронизации автомата осуществляется

Построение графа установки автомата осуществляется

Если из ориентированного конечного графа удалить все вершины вида вместе с инцидентными им дугами, если последние, в свою очередь, инцидентны только вершинам такого же вида, а также изолированные вершины, то полученный в результате такого удаления ориентированный конечный граф называется

Вершину графа , у которой называется

Для того чтобы у графа существовал обход, необходимо и достаточно, чтобы

Если автомат задан в виде ориентированного графа, у которого начальной является вершина , то входному слову в графе автомата будет соответствовать

Пусть - множество всех тех вершин графа , из которых исходит хотя бы одна дуга. Тогда

Для правильного графа обход длины существует тогда и только тогда, когда

Длиной графа является