Когда возникало "структурное" программирование, математики озаботились доказательствами и подбором минимально необходимого числа действий для полного выражения всего, что можно выразить. Как в логике все можно свести к двум операторам, так, оказалось, для эквивалентности вычислялке Тьюринга достаточно иметь: (а) последовательность действий (б) ветвления и (в) повторения
Для объектно-ориентированной модели подобных доказательств полноты, насколько я знаю, не существует
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
Полнота
Date: 2007-10-30 03:26 am (UTC)Когда возникало "структурное" программирование, математики озаботились доказательствами и подбором минимально необходимого числа действий для полного выражения всего, что можно выразить.
Как в логике все можно свести к двум операторам, так, оказалось, для эквивалентности вычислялке Тьюринга достаточно иметь: (а) последовательность действий (б) ветвления и (в) повторения
Для объектно-ориентированной модели подобных доказательств полноты, насколько я знаю, не существует