Dette betyr at formalismer for grammatikker for naturlige språk må være relativt kraftige med hensyn til hva slags strukturer og avhengigheter de kan generere. Det finnes likevel komputasjonelle implenteringer av, blant andre, GPSG, HPSG, Kategorielle grammatikkformalismer og minimalisme.