Noam Chomsky delte i 1956 inn formelle grammatikker i ulike typer. Disse typene plasseres i det som er kjent som Chomskyhierarkiet. Grunnlaget for inndelinga er formasjonsreglenes grad av kompleksitet, og dermed også hvor mange formelle språk de kan beskrive.