Алгоритм распознавания полноты множества слов и динамика запретов

Вводятся инвариантные операции и даётся описание алгоритма распознавания полноты множества слов. Приводится теорема о результатах работы алгоритма и их отношении к свойству полноты исходного множества слов. Формулируется нерешённая задача об оценке мощностей полных тупиковых множеств слов.