4. Определение конкретной системы. Примеры.
Вопрос необязателен для сдавших недоавтомат.
Определение конкретной системы
Конкретная система - есть её параметризированная структура: S конк = Str (S парам) = { S парам, dk ∈ Dk ⊂ Z } = { { Ф парам, H парам, Z парам }, dk ∈ Dk ⊂ Z }
Параметр - числовая/словесная характеристика конкретной системы. // да, в лекции так и дано через рекурсивное определение.
Примеры
Not written yet.