177
правок
Изменения
м
→Идея алгоритма
Введем функцию <tex> getTheTypeOfMutualRecursiveSet(N_i): P \rightarrow \{left, right, self, cycle\} </tex>:
'''function''' getTheTypeOfMutualRecursiveSet (<tex>N_i</tex>):
'''if''' !isLeftType(<tex>N_i</tex>) && isRightType(<tex>N_i</tex>)
'''return''' left
