Ein Satz heißt mehrdeutig, wenn er mehr als einen Syntaxbaum besitzt.
Eine Grammatik heißt mehrdeutig, wenn sie einen mehrdeutigen Satz besitzt; andernfalls eindeutig.
Ein Satz ist genau dann eindeutig, wenn er genau eine Linksableitung (bzw. Rechtsableitung) besitzt.
Bei Programmiersprachen spielen die eindeutigen Grammatiken die zentrale Rolle, da die Semantik (und Übersetzung) der Sprache über die syntaktische Struktur definiert wird.