Изменения

Перейти к: навигация, поиск

Регулярная аппроксимация КС-языков

10 байт добавлено, 10:12, 20 декабря 2016
м
Идея алгоритма
Определим функцию <tex>\mathtt {getTheTypeOfMutualRecursiveSet}(N_i): P \rightarrow \{left, right, self, cycle\} </tex>:
'''function''' getTheTypeOfMutualRecursiveSet(<tex>N_i</tex>: '''nonterminal'''):'''int'''
'''if''' !isLeftType(<tex>N_i</tex>) '''and''' isRightType(<tex>N_i</tex>)
'''return''' left
177
правок

Навигация