Orden de reglas inductivas

Orden de reglas inductivas

de Rogelio Felipe Moraes Odriozola -
Número de respuestas: 1

Buenas,

A la hora de dar la definiciòn inductiva de un conjunto, ¿se sigue estrictamente el orden secuencial de las reglas tal cual estàn numeradas (regla 1, regla 2, regla 3, etc.)? ¿Se va generando regla por regla el conjunto, continuando a la siguiente regla una vez finalizada la anterior, o se puede "volver" a una regla anterior? Gracias

En respuesta a Rogelio Felipe Moraes Odriozola

Re: Orden de reglas inductivas

de Juan Diego Campo -
Hola, las reglas se pueden aplicar en cualquier orden y se puede usar
cualquier combinación de reglas para formar elementos del conjunto.

Por ejemplo, si tenés esta definición de Σ*, con Σ={a,b}:

i.  ε ∈ Σ*
ii.  si w ∈ Σ* ⇒ aw ∈ Σ*
iii. si w ∈ Σ* ⇒ bw ∈ Σ*


Vas a tener que combinar la aplicación de las reglas ii y iii para
formar las palabras que combinen a y b. Si quiero formar la tira bab,
hay que aplicar las reglas i -> iii -> ii -> iii.


Saludos,

--
Juan Diego Campo
Instituto de Computación
Facultad de Ingeniería - UdelaR