El sintaxis categórico recurrente es una teoría algebraica del sintaxis desarrollado por el Michael Brame como alternativa a la gramática transformacional-generativo . Brame formuló una álgebra (técnico un nonassociative Groupoid con lo contrario) de artículos léxicos (las palabras y las frases), o los lexes para el cortocircuito. Un lex es una representación de secuencia de una palabra o de una frase junto con una cadena de tipos dirigidos. Un tipo dirigido es un símbolo que representa un tipo sintáctico junto con una dirección (encima, abajo, de izquierdo, de derecho) dada generalmente por una flecha al lado o sobre del símbolo. En este artículo dejado y abajo las flechas serán colocadas a los left and right y subir flechas a la derecha de símbolos.

La composición léxica de dos lexes es realizada concatenando las representaciones fonéticas u orthográficas y componiendo el tipo dirigido secuencias. En nuestro groupoid del tipo dirigido secuencias definimos X→←X = X↑↓X = ←X↓X = X↑X→ = 1 para todo el X de modo que " de estas secuencias; cancel."

Con estas definiciones podemos considerar el subgroupoid generado por un léxico de lexes primitivos. Por ejemplo, nuestro léxico pudo contener el ←SV→ de las palabras, ←VN→, y el ←N, de el cual podemos construir el ←N del ←VN→ del ←SV→ = fue a casa, ←S. Dado un léxico correcto a comenzar con, la teoría del sintaxis algebraico demanda que las oraciones gramaticales serán exacto ésas con el tipo dirigido ←S.