Programming Language Theory: Difference between revisions
| Line 17: | Line 17: | ||
C-app ::= C-term C-term</pre> | C-app ::= C-term C-term</pre> | ||
====Divergent Combinators==== | ====Divergent Combinators==== | ||
The ''omega'' combinator is divergent | The ''omega'' combinator is divergent. It can be reduced, but has no normal form: | ||
* <tt>omega </tt> | * <tt>omega ≡ (λx. x x) (λx. x x)</tt> | ||
====Fixed-Point Combinators==== | ====Fixed-Point Combinators==== | ||