---
title: "SU-CS242 SEP262024"
source: https://www.jemoka.com/posts/kbhsu_cs242_sep262024/
date: 2024-09-26
---

MAIN IDEA: Combinator Calculus
primitive recursion vs general recursion primitive recursion is a form of recursion whereby you don&rsquo;t get to modify the amount of recursion after the loop is defined. general recursion have control flow.
non-termination all forms of general recursion either
rewrite system \(\to\) is a single rewrite \(\to^{*}\) stands for the reflexive, transitive closure of \(\to\) (i.e. zero or more rewrites&mdash;&ldquo;we skipped the middle&rdquo;)
