Sin embargo, la mayor difusión de esta teoría se ha dado dentro de la lingüística computacional, ya que es un formalismo eficiente y posee la rigidez necesaria para ser llevado a la programación.