У вас вопросы?
У нас ответы:) 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. Лабораторная работа 1 Генерирование многомерных случайных объектов 1
4. Контрольная работа- Недобросовестная конкуренция и система мер по защите от нее
5. Православно-славянская цивилизация
6. Курсовая работа- Численное интегрирование функции методом Гаусса
7. тематическая описательная нормальная анатомия человека Gross ntomy Изучает теорию строения
8. Дніпропетровськ- Дніпропетровський державний університет внутрішніх справ 2008.
9. Юриспруденция Принята на заседании кафедры социальных и гуманитарных дисциплин пр.
10. 18 июня 2003г 25 ПРАВИЛА ПЕРЕВОЗОК ЖЕЛЕЗНОДОРОЖНЫМ ТРАНСПОРТОМ ГРУЗОВ НАЛИВОМ В ВАГОНАХЦИСТЕРНАХ И