En lingüística, las teorías que se agrupan dentro de la
gramática formal denominan competencia lingüística al
conjunto de conocimientos que permite comprender y producir una cantidad, potencialmente infinita, de oraciones gramaticalmente correctas, con una cantidad finita de elementos.