donde S es el símbolo inicial.