Es werden im folgenden Kapitel zunächst ein paar Grundlagen abgehandelt. Hierbei wird erklärt, was ein Parser ist und auf die Definition von Grammatiken eingegangen. Damit die Grammatikdefinition etwas Verständlicher wird, folgen zwei Beispiele, welche anschließend diskutiert und bewertet werden. Im Anschluß dieser Beispiele folgt die vollständige Entwicklung eines nicht deterministischen Parser in der funktionalen Programmiersprache Haskell. Zunächst wird hierfür ein allgemeiner und wiederverwendbarer Datentyp entwickelt. Auf Grundlage dieses Typs werden zunächst elementar Parser (engl. elementary Parser) und später Parser kombinatoren (engl. Parser combinator) entwickelt. Im Anschlußdieser Entwicklungsphase wird auf Grundlage der erarbeiteten Parser ein Taschenrechner für arithmetische Ausdrücke entwickelt.