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

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

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

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

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

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

machine.pdf

Автор: