4. Определение конкретной системы. Примеры.

Вопрос необязателен для сдавших недоавтомат.

Определение конкретной системы

Конкретная система - есть её параметризированная структура: S конк = Str (S парам) = { S парам, dk ∈ Dk ⊂ Z } = { { Ф парам, H парам, Z парам }, dk ∈ Dk ⊂ Z }

Параметр - числовая/словесная характеристика конкретной системы. // да, в лекции так и дано через рекурсивное определение.

Примеры

Not written yet.