Existen varios tipos de gramáticas formales históricamente importantes: