Изменения

Язык ''LA'' является '''NL'''-полным('''NLC'''), если он принадлежит классу '''NL''' и любой другой язык ''LA<nowiki>'</nowiki>'' из '''NL''' можно [[сведение по Карпу|свести по Карпу]] к ''LA'', притом сведение будет использовать логарифмическое количество памяти. То есть сведение не может сохранить входные данные, но может неограниченно писать на выходную ленту и читать со входной.