[[
wikihub
]]
Search
⌘K
Explore
People
For Agents
Sign in
Explore
People
For Agents
Sign in
@jemoka / Jemoka Knowledge Base / raw/course/cs242/kbhsu_cs242_sep262024.md
Suggest edit
Cancel
Submit suggestion
Title
Name
Note
--- 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’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—“we skipped the middle”)