4. Интерпретатор машины Тьюринга на языке XSLT.

Первый интерпретатор интерпретирует программы на языке XSLT. Второй интерпретатор, рассматриваемый в этом параграфе, является интерпретатором машины Тьюринга, и написан он на языке XSLT.

Предъявление такого интерпретатора машины Тьюринга является доказательством алгоритмической полноты данного варианта XSLT.

Для проведения сравнительных экспериментов были подготовлены следующие документы :

TM.dtd - DTD для программ TM.xsl , TMF12.xsl и TMmul2.xsl,

TM.xml - XML для программ TM.xsl , TMF12.xsl и TMmul2.xsl,

TM.xsl - интерпретатор машины Тьюринга для произвольной программы для машины Тьюринга, обработка краев ленты не предусмотрена, пуск на счет производился для примера mul2,

TMF12.xsl - предыдущая программа, но с конкретной машиной Тьюринга - замены символов 1 на 2,

TMmul2.xsl - предыдущая программа, но с конкретной машиной Тьюринга - удвоение единиц на ленте,

TMN.dtd - DTD для программ TMNF12.xsl и TMNmul2.xsl,

TMN.xml - XML для программ TMNF12.xsl и TMNmul2.xsl,

TMNF12.xsl , TMNmul2.xsl - программы, в которых предусмотрена обработка краев ленты, при необходимости справа или слева добавляются пустые клетки.