Programm oder Programmteil zur Erkennung der syntaktischen Struktur eines Satzes einer formalen Sprache.

Die Sprache ist in der Regel durch eine Grammatik gegeben, die syntaktische Struktur entspricht dann einem Ableitungsbaum des gegebenen Satzes in dieser Grammatik. Das Parsing gliedert sich in drei Phasen, die aber ineinander verschränkt ablaufen können.

In der ersten Phase wird der Eingabetext in kleinste sinntragende Einheiten (Morpheme) zerlegt (in Programmiersprachen z. B. Buchstabenfolgen zu Schlüsselwörtern oder Bezeichnern, Ziffernfolgen zu Zahlen, usw.).

Danach setzt die eigentliche Syntaxanalyse an, die eine Grammatikableitung für den Satz generiert. Es gibt hierzu Verfahren zur Bottom-up-Analyse oder zur Top-down-Analyse.

Die letzte Phase betrifft die Erzeugung des Ableitungsbaumes oder einer anderen Datenstruktur. Diese Datenstruktur bildet den Ausgangspunkt für verschiedene Verarbeitungsroutinen, z. B. die Erzeugung eines passenden Satzes in einer anderen (z. B. maschinenlesbaren) Sprache oder die Auslösung eines Berechnungsvorganges (bei Kommandosprachen).