Um eine Sprache einem Sprachtyp zuzuordnen, fängt man mit dem Automaten niedrigster Mächtigkeit an. Man untersucht somit, welche Grammatik mindestens erforderlich ist, um eine Sprache zu beschreiben. Dies gilt vorallem auch bei der Einordnung von natürlichen Sprachen. Grammatiken vom Typ 0 sind immer ausreichend, um eine Sprache zu beschreiben, da sie per Definition die höchste Mächtigkeit besitzen.