www.proCae.ru - это последняя модификация нескольких сайтов CAD, CAE и CAM тематики. На страницах ресурса Вы найдете хорошие статьи, посвященные таким СAD, как SolidWorks, Компас AutoCAD, расчетам в таких CAE, как Ansys, Ansys CFX, Fluent, Star-CD, QForm и многое другое.
Схемами рекурсивных программ моделируются программы с процедурами, вообще говоря, рекурсивными. Специальная автоматная модель - это случай, когда множество выполнений схемы определяется с помощью конечного автомата, а результатом отдельного выполнения схемы является цепочка исполненных операторов. Доказывается, что в такой модели каждая схема имеет единственное представление в своем классе эквивалентности, т.е. каноническую форму. Предлагается беспереборный алгоритм построения по схеме ее канонической формы.
