Hola Tadeo:
Tu propuesta está bien cómo idea informal e intuitiva.
Lo que entiendo de tu planteo es que toda tira α de
Δ se va a formar partiendo de ε, agregando b y a al final
tantas veces como se necesite.
Esa misma secuencia de pasos puede usarse partiendo de la tira a (que es
una tira válida de Δ) y obtenemos la tira aα.
La idea es en principio correcta pero tiene varias informalidades.
Precisamente, la manera de darle formalidad a esa explicación es a traves de una prueba por inducción como se propone en el video de presentación del práctico.