Kabel macht quasi einen RecursiveDescent (rekursiven Abstieg) von Hand über die kontextfreie Sprache

Quote

# S -> ( Op Opd* )
# Op -> + | * | - | /
# Opd -> S | Number

, was das Modul aus der Angabe dieser Produktionen mit eingeflochtenen Berechnungsschritten "automatisch" macht.

Warum braucht man das? Es gibt in der Informatik eine Theorie der "formalen Sprachen", die zeigt, dass man solchen Ausdrücken mit beliebig tief verschachtelten Klammern nicht mehr mit regulären Ausdrücken beikommen kann.
Die zugehörige "Maschine" zu RegExen ist der "endliche Automat", der sich nichts nebenbei merken muss, während man bei diesen "kontextfreien Sprachen" (Klammersprachen) einen "Kellerautomat" (Stack) benötigt.

Die Lösungen von Kabel und mir sind Implementierungen dieses Prinzips.\n\n

<!--EDIT|pKai|1118095426-->