Извлечение из MSIL исходных текстов путем дизассемблированя вряд ли имеет смысл, так как имена локальных переменных, констант и параметров сохраняются только:
Основной проблемой разметки и потоковых функции является:
В отличие от счетчиков ссылок, механизм разметки памяти не приводит:
Стоимость вывода аддитивна относительно:
После вывода нового нетерминала в разметке строится ее замыкание относительно цепных правил с помощью функции:
Если существует, по крайней мере, одна выводимая в грамматике цепочка, для которой существует более одного вывода, то такая грамматика является: