Л63 |
Лисовик, Л. П. Формальные языки и трансдьюсеры [Текст]. Т. 2 : Вычисления над размеченными деревьями. Кн. 1 / Л. П. Лисовик ; Л.П.Лисовик. – К. : Феникс, 2006. – 400 с. – 15.00.
Машины и свободные интерпретации. Вычислимость и непрерывность. Операторы в функциональных пространствах. ЕТС - техника (машинно-ориентированный подход). Метод полулинейного резервуара.
|