Изменения

Функция для инициализации таблицы неэквивалентности.

'''function''' initTable('''int''' n, '''boolean'''[] isTerminal, '''queue''' Q, '''boolean'''[][] marked):

'''for''' j = 0 .. n - 1

'''if''' '''not''' marked[i][j] '''and''' isTerminals[i] '''and''' '''not''' isTerminals[j] '''and''' i != j