Buenas tardes,
buenísimo que haya quedado más claro :D
Ojo, creo que a lo que te referís no es "más de una tira del lenguaje" sino "más de un símbolo del alfabeto". Te estás refiriendo al caso donde una producción de la gramática regular contiene más de un símbolo terminal, como el caso que mencionás: , con .
Y cuidado que las funciones de transición de los autómatas no están definidas para tiras, sino para símbolos. No se puede hacer lo que comentás, de consumir "aa". Así que en ese caso, tendrías algo como:
donde "aux" es un estado que no se corresponde a una símbolo variable de la gramática regular, sino que sirve para realizar el paralelismo entre la gramática y el autómata.
Saludos,
Santi