Se construye entonces el conjunto de todas las cadenas finitas formados por símbolos de "S" y sus inversos.