СТРУКТУРНЫЕ ПРЕОБРАЗОВАНИЯ МОДЕЛИ ВЫЧИСЛЕНИЙ

Для распознавания эквивалентности некоторых моделей вычислений применим трансформационный метод. Последний использует графическое представление модели, для которой строится древовидное покрытие. В тех случаях, когда трансформационный метод позволяет доказать разрешимость проблемы эквивалентности, древовидное покрытие строится однозначно. В общем случае построение такого покрытия осуществляется неоднозначно. В работе предлагается такое преобразование модели, после которого измененная модель, оставаясь в классе эквивалентности, обладает единственным покрытием

• Великая Я.Г.
• Сунцова А.И.
• Хачатрян В.Е.

• Прикладные науки. Медицина. Технология

• Технические науки. Промышленность
• Физико-математические науки