Изменения

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

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

4 байта добавлено, 19:28, 19 декабря 2016
Идея алгоритма
=== Идея алгоритма ===
Пусть, <tex> N^* </tex> множество рекурсивных нетерминалов из <tex> N </tex>.
Пусть, <tex> P = \{N_1,N_2,\ldots,N_K\} </tex> разбиение <tex> N^*</tex> на <tex> k </tex> дизъюнктных множеств взаимно рекурсивных терминаловнетерминалов,
<tex> N_1 \cup N_2 \cup \ldots \cup N_k = N^* \land \forall i</tex> <tex> N_i \neq \emptyset </tex>.
'''bool''' isLeftType(<tex>N_i</tex>):
177
правок

Навигация