Трансляция обогащенных схем
Диаграмма на рис. 1.12. дает полную информацию о возможности трансляции одного класса схем в другой, классы имеют следующие обозначения:
Y — стандартные схемы; Y (М) — магазинные схемы;
Y (R) — рекурсивные схемы; Y (А) — схемы с массивами;
Y (с) — счетчиковые схемы; Y (P) — схемы с процедурами.
Диаграмма показывает, что классы Y (М) и Y (А) являются универсальными в том смысле, что схемы всех других классов транслируемы в них. В то же время, в класс Y не транслируются схемы ни одного другого класса. Следует отметить, что класс Y (с) достигает полной мощности при количестве счетчиков не менее 2, т.е. класс Y (с) с одним счетчиком равномощен классу Y.
Дата добавления: 2015-12-20; просмотров: 22; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!