Relacja silnie konfluentna: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
m dodanie daty do szablonu |
m Wspomagane przez robota ujednoznacznienie: Przegląd zagadnień z zakresu matematyki - Zmieniono link(i) Wikipedia:Skarbnica Wikipedii/Przegląd zagadnień z zakresu matematyki; zmiany kosmetyczne |
||
Linia 8:
Na przykład system złożony z liczb całkowitych, symbolu +, oraz reguły redukcji zastępującej parę liczb po obu stronach symbolu + ich sumą jest silnie konfluentny. Rozpatrzmy dwie redukcje:
* 2 + 3 + 4 + 5 + 6 →
* 2 + 3 + 4 + 5 + 6 →
Można je doprowadzić do tego samego wyniku:
* 2 + 3 + 4 + 11 → 2 + 3 + 15 → 2 + 18 → 20
Linia 15:
Nie wyklucza to jednak sytuacji, w której obliczenia jedną metodą dadzą wynik, zaś drugą będą działać "w nieskończoność". Jednak jeśli zaczynamy stosując strategię, która działałaby "w nieskończoność", w każdym momencie możemy dojść do wyniku, jeśli zmienimy zdanie i to, do czego ta strategia doszła, zaczniemy redukować w inny sposób.
Do ważniejszych twierdzeń rachunku lambda należy to, że zbiór redukcji
=== Postać normalna ===
Linia 21:
== Zobacz też ==
* [[Wikipedia:Skarbnica Wikipedii/Przegląd zagadnień z zakresu matematyki|przegląd zagadnień z zakresu matematyki]]
[[Kategoria:Relacje]]
|