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.