Формализация парадигмы ООП: НАСЛЕДОВАНИЕ АБСТРАКТНЫХ АВТОМАТОВ

Статья посвящена обсуждению отношения наследования на множествах автоматов Мили и является продолжением работы Формализация Парадигмы Объектно-Ориентированного Программирования ( http://www.realcoding.net/article/view/4570 ) в которой

1) понятие абстрактного типа данных (или, что тоже самое, понятие класса) рассматривалось как абстрактный автомат;

2) были введены отношения наследования и полиморфизма на множествах автоматов Мура.


 ключевые слова:

 наследование, полиморфизм, абстрактный автомат Мили, абстрактный автомат Мура, формализация ООП, Бертран Мейер, АТД
 


MachineInheritance.pdf

Автор: Пискунов А.Г.



Опубликовал admin
17 Окт, Среда 2007г.



Программирование для чайников.