Рубрики




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

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

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

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

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

ООП → Формализация Парадигмы Объектно-Ориентированного Программирования

В статье содержится формализация основных понятий объектно - ориентированного программирования. Даются определения таким понятиям ООП как класс, объект, наследование, инкапсуляция, полиморфизм через математические термины: множество, отношение, функция, абстрактный автомат. Строго различаются понятия тип (множество состояний абстрактного автомата) и класс (абстрактный автомат).

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

наследование, инкапсуляция, полиморфизм, функция, отношение, абстрактный автомат

machine.pdf

Автор:

Опубликовал admin
24 Авг, Пятница 2007г.


RSS-материал

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