Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
pp:llambdacalc [2019/04/08 14:50] georgem [Evaluare] |
pp:llambdacalc [2020/02/05 15:50] (current) dmihai [Exerciții] |
||
|---|---|---|---|
| Line 18: | Line 18: | ||
| * **variabilă** | * **variabilă** | ||
| * $ x$ - unde $ x$ este un nume/simbol | * $ x$ - unde $ x$ este un nume/simbol | ||
| - | * **abstracție**/**funcție** | + | * **abstracție** / **funcție** |
| * $\lambda x . E$ - unde $ x$ este un nume/simbol, iar $ E$ este o expresie lambda | * $\lambda x . E$ - unde $ x$ este un nume/simbol, iar $ E$ este o expresie lambda | ||
| * **aplicație** | * **aplicație** | ||
| Line 53: | Line 53: | ||
| <note> | <note> | ||
| Nu orice expresii lambda poate fi evaluată până la capăt. Pentru unele expresii, evaluarea poate cicla. | Nu orice expresii lambda poate fi evaluată până la capăt. Pentru unele expresii, evaluarea poate cicla. | ||
| + | |||
| De asemenea, există expresii pe care, deși o strategie de evaluare produce un rezultat, o altă strategie poate să cicleze. | De asemenea, există expresii pe care, deși o strategie de evaluare produce un rezultat, o altă strategie poate să cicleze. | ||
| </note> | </note> | ||
| Line 81: | Line 82: | ||
| </note> | </note> | ||
| - | {{:pp:laborator_7_-_schelet.zip|Laborator 7 - Schelet}} | + | {{:pp:laborator_7_-_schelet.zip|Laborator 7 - Schelet}}\\ |