У вас вопросы?
У нас ответы:) SamZan.net

Левая факторизация- ~0b ~1~2 b ~0~1~0~2 2 Если ~ коммутирует с ~ то ~~

Работа добавлена на сайт samzan.net: 2016-06-20

Поможем написать учебную работу

Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.

Предоплата всего

от 25%

Подписываем

договор

Выберите тип работы:

Скидка 25% при заказе до 28.4.2025

Свойства условного оператора

(1) Левая факторизация:

γ0(b → γ12) = b → γ0γ10γ2

(2) Если γ коммутирует с ω, то

(λσ.ωσ,)γ = (λσ.ωσ → (pγ)σ,(qγ)σ).

(3) b →( b → γ01),( b → γ23)= b → γ0,( b → γ23) =

   = b → ( b → γ01), γ3 = b → γ03

(4) Если ω коммутирует с γ2 и γ3, то

 (λσ.ωσγ0σ,γ1σ)( λσ.ωσγ2σ,γ3σ) =

 = (λσ.ωσ → (γ0γ2)σ, (γ1γ3)σ)

(5) Если ω0 и ω1 имеют допустимые подходящие значения на σ0, то

ω1σ0 → (λσ.ω0σ → γ0σ,γ1σ), ( λσ.ω0σ → γ2σ,γ3σ) =

ω0σ0 → (λσ.ω1σ → γ0σ,γ2σ), ( λσ.ω1σ → γ1σ,γ3σ)

Конструкции семантические

ℂ= σ  σ, σ,

= fix (λγ.λσ. σ → (γ)σ,σ).

= fix (λγ.λσ. σσ, (γ)σ).

= fix(λγ.(λσ. σγσ, σ) )

= fix(λγ.(λσ. σσ, γσ) )

β-редукция :

(λx.2*x+1)(3)  = [x/3] = 2*3+1=7




1. ВВЕДЕНИЕ Руководитель ориентированный на результат действует не на основе своих предположений и слухо
2. а; проектування підприємства- лінійної безперервної або поточної структури з фіксованим позиційним планув
3. Введение в экономическую теорию
4. Тема 1 Инструменты приспособления аппаратура Технологическое оборудование салонов и парикмахерс
5. МЕТОДИЧЕСКИЕ РЕКОМЕНДАЦИИ ПРЕПОДАВАТЕЛЯМ
6. Москва Завод Теплоприборrdquo; м
7. Детский сад общеразвивающего вида 4 Солнышко ЗАТО ГО Светлый Саратовской области
8. лучевого осциллографа выполнить осциллографическими методами измерения параметров электрических сигн
9. Анализ ассортимента и экспертиза качества растительных масел на материалах магазина Мария-Ра г. Новосибирск
10. реферату- Види страхування життя і їх місце в особовому страхуванніРозділ- Страхування Види страхування жи