lógica matemática, es una cadena de caracteres generada según una gramática formal.