Álgebra de Términos
- Mathematics & Logic -
Pure Mathematics Dictionary
Definición
El álgebra libre de términos sintácticos construidos a partir de una firma dada y un conjunto de variables: los elementos son árboles de términos formales y las operaciones son los símbolos de formación de términos; satisface la propiedad universal del objeto libre en la categoría de álgebras de esa firma.
Álgebra de Términos
- Pure Mathematics -
Algebra Dictionary
Definición
El álgebra libre sobre una firma generada por un conjunto de variables cuyos elementos son términos sintácticos construidos a partir de símbolos de operación y variables, considerados sin imponer identidades más allá de las reglas sintácticas de formación.