Definimos la operación formula_12 de concatenación de cadenas del alfabeto A como: