Эквивалентность пяти классов функций элементарных по Кальмару

| Категория реферата: Рефераты по математике
| Теги реферата: использование рефератов, реферат трудовой
| Добавил(а) на сайт: Pomel'nikov.

[pic]

Пусть

[pic] тогда

[pic]

Отношение, примененное в операция конечной минимизации, является элементарным по Кальмару.

Докажем, что L4КL1 (для этого выразим операции суммирования и мультиплицирования через функции L4)

Выразим м3ультиплицирование через ограниченную рекурсию.

[pic]

Где y(x,y)-к-ступенчатая функция.

Выразим суммирование через ограниченную рекурсию.

[pic]

Докажем, что L1КL5 (для этого выразим x*y через функции L5 )

[pic]

Докажем, что L5КL3 (для этого выразим 2x и операцию ограниченной минимизации выразим через функции L5 )

[pic]

Пусть

[pic] тогда

[pic]

Эквивалентность классов доказана.