Damit gehört diese Art der Verarbeitung in einen zentralen Problembereich der Informatik, nämlich in den der Syntaxanalyse ('''Parsing''') formaler Sprachen. Die hier auftretenden formalen Sprachen sind sog. kontextfreie Sprachen (context free languages – '''CFL'''). Insbesondere sog. '''Baumstrukturen''' können im Rahmen der CFL-Theorie sinnvoll behandelt werden. Baumstrukturen spielen bei der Definition von „Term“ eine unentbehrliche Rolle, und sie haben auch Eingang in die Mathematikdidaktik gefunden, um mit ihrer Hilfe den hierarchischen Aufbau von Termen verstehen zu können. | Damit gehört diese Art der Verarbeitung in einen zentralen Problembereich der Informatik, nämlich in den der Syntaxanalyse ('''Parsing''') formaler Sprachen. Die hier auftretenden formalen Sprachen sind sog. kontextfreie Sprachen (context free languages – '''CFL'''). Insbesondere sog. '''Baumstrukturen''' können im Rahmen der CFL-Theorie sinnvoll behandelt werden. Baumstrukturen spielen bei der Definition von „Term“ eine unentbehrliche Rolle, und sie haben auch Eingang in die Mathematikdidaktik gefunden, um mit ihrer Hilfe den hierarchischen Aufbau von Termen verstehen zu können. |