Cognitive Scaffold

Preparing your thinking workspace

arrow_back_ios_new
MENTAL MODEL · M12794

Term Rewriting System

Term Rewriting System
SystemsHigh supportSystems Theory
Included
account_tree

Version 1.0.0 · Updated 2026-07-30

CORE DEFINITION

Term: a symbolic expression. Rewriting rule: replace one pattern with another. Reduction: simplify an expression by repeatedly applying rules. Scaffold role: the foundation of symbolic computation. Provides a formal framework for symbolic manipulation and program transformation.

SCAFFOLDING EFFECT

psychology

Reduce cognitive load

The foundation of symbolic computation. Provides a formal framework for symbolic manipulation and program transformation.

anchor

Anchor fast decisions

Repeatedly reduce symbolic terms using a set of rewriting rules (pattern → replacement) until no rule is applicable (normal form); the properties of the system (termination, confluence) determine whether reduction converges uniquely.

MINIMUM ACTION

In progress 0/4

Practice this model in one real situation:

Check to track your progress (stored locally)
Learning progress0%
account_treeGenealogyexpand_more
menu_bookReferencesexpand_more

Source support: Explicit

  • link
    en.wikipedia.orghttps://en.wikipedia.org/wiki/RewritingZH · Explicit
    verified

RELATED MODELS

Related model

Wirth's Law

Wirth's law is an adage on computer performance which states that software is getting slower more rapidly than hardware is becoming faster.

arrow_forwardRelated model

Hyrum's Law

An application programming interface (API) is a connection between computers or between computer programs. It is a type of software interface, offering a service to other pieces of software. A documen

arrow_forwardRelated model

Coriolis Force

The Coriolis force is an inertial-force term needed to describe motion in a rotating reference frame, involving the cross product of frame angular velocity and relative object velocity.

arrow_forward