For 10 points, name this property used to solve the Tower of Hanoi problem, defined as the application of a function within its own definition.
This property is utilized in the most common alternative to a table-based parser in context-free grammars, a certain type of "descent parser." This property is central to the Kleene-Rosser paradox in the original lambda calculus, and the Ackermann function has the mu form of this property, but not the primitive type. For 10 points, name this property used to solve the Tower of Hanoi problem, defined as the application of a function within its own definition.
This property is utilized in the most common alternative to a table-based parser in context-free grammars, a certain type of "descent parser.
{recursion} [accept word forms]