48
правок
Изменения
Нет описания правки
'''for''' i = 0..(n - 2) '''do''' //''вычисляем r<sub>n-1</sub>''
r<sub>n</sub> := Next(s, i, r<sub>n</sub>, G)
'''if''' t '''in ''' Enum(s, n - 1, r<sub>n</sub>, G) '''then''' //''перечисляем вершины из R<sub>n-1</sub>, если t была перечислена, то t достижима и выдаем REJECT, иначе ACCEPT''
'''REJECT'''
'''else'''
