Теория структурных функциональных моделей

Предлагается теория, подобная логическим формализмам и предназначенная для описания прикладных предметных областей. Теория основана на хорошо известной “теории вычислительных моделей” Тыугу и Минца, но дополнительно включает такой важный инструмент описания предметной области, как рекурсия. Предлагаемая теория является вполне адекватной для непроцедурных описаний широкого класса прикладных областей и в о же время обладает полиномиальными оценками и является полной. Данный формализм используется как теоретический базис для разработки систем, основанных на знаниях.