La teoría de modelos permite atribuir una interpretación semántica a las expresiones puramente formales de los lenguajes formales.