No se centra como otras teorías únicamente en la sintaxis, si no que semántica y la sintaxis están unidas por medio de un algoritmo.