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