manchmal auch einfach nur Analyseproblem genannt, zu einer Klasse K von Grammatiken gehörende Frage nach einem Algorithmus, der zu jedem G ∈ K und jedem Wort w eine Ableitung von w aus G bestimmt, falls w zu der von G erzeugten Sprache L_G gehört. Für w ∉ L_G wird normalerweise verlangt, daß eine Ableitung für das längste noch zu L_G gehörende Anfangsstück von w bestimmt wird. Es gibt allgemeine Analyseverfahren für kontextsensitive Grammatiken. Effiziente Verfahren sind für Klassen kontextfreier Sprachen (LL(k)-Grammatik, LR(k)-Grammatik) und die Klasse regulärer Sprachen bekannt.