Расширенная функция непосредственного следования. Область задания и область значений.

Расширенная функция непосредственного следования – это функция _непомеченной_ системы переходов Келлера. Так говорил Красюк.

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

Dom F = S

Im F = 2^S

Помеченные системы переходов. Алфавит действий и функция пометки. Описание асинхронных процессов, порождаемых помеченными системами.

- помеченная система переходов Келлера

- некоторое конечное множество символов называемое состояниями

- бинарное отношение на этом множестве

- бинарное отношение непосредственного следования

соответствие пометке ребер

Каждое ребро имеет единственную пометку.

Каждая помеченная система переходов Келлера может иметь только одну порождающую систему.

(неограниченное )