Von Noam Chomsky begründete Hierarchie der formalen Sprachen von allgemeinen (rekursiv aufzählbaren, CH-0) zu speziellen (endlichen, CH-3)