Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| statnice:bakalar:b4b36fup [2025/05/27 19:21] – [Seznamy a stromy] prokop | statnice:bakalar:b4b36fup [2026/06/06 14:57] (current) – [Church‑Rosserova věta] knedl1k | ||
|---|---|---|---|
| Line 472: | Line 472: | ||
| 2. Normal‑order evaluace vždy skončí v normální formě, pokud existuje. | 2. Normal‑order evaluace vždy skončí v normální formě, pokud existuje. | ||
| - | === Y‑kombinátor === < | + | === Y‑kombinátor === |
| `Y` je **fixpoint combinator**, | `Y` je **fixpoint combinator**, | ||
| Line 503: | Line 503: | ||
| * *Strict/ | * *Strict/ | ||
| - | > Stručně: **`Y` přidá rekurzi** tím, že každé funkci vrátí její vlastní výsledek jako argument. | + | Stručně: **`Y` přidá rekurzi** tím, že každé funkci vrátí její vlastní výsledek jako argument. |
| - | > | + | |
| - | > </ | + | |
