Отношение обязательного предшествования обозначается символом:

Отношение обязательного предшествования:

Отношение непосредственного предшествования - это:

Состояние вершины, когда вершина еще не рассматривалась алгоритмом обозначается:

Состояние вершины, когда вершина еще рассматривается алгоритмом обозначается:

Через root(t) обозначается:

Если функция сохраняет отношение порядка, то она называется:

Следующий набросок программы:

q = q0;c = GetChar();while (c != eof) {  q = move (q, c);  c = GetChar();}if (q is in F) return "yes";else return "no"; 

демонстрирует (предполагается, что входная лента заканчивается символом end_of_file):