Palabra (matemáticas)
La operación de concatenación es asociativa y tiene a la palabra vacía como elemento neutro, por lo que el conjunto "A" adquiere estructura de monoide, mientras que el conjunto de palabras no vacías adquiere estructura de semigrupo., denominados respectivamente monoide libre y semigrupo libre (sobre el alfabeto "A").
Programación con restricciones
La programación por restricciones es un paradigma de la programación en informática, donde las relaciones entre las variables son expresadas en términos de restricciones (ecuaciones). Actualmente es usada como una tecnología de software para la descripción y resolución de problemas combinatorios particularmente difíciles, especialmente en las áreas de planificación y programación de tareas (calendarización).