Las gramáticas categoriales se pueden definir como una estructura formal algebraica.