TeoComp B2011: Problema 5.1.2.a

La siguiente gramática genera el lenguaje de expresiones regulares 0^*1(0+1) :

S --> A1B
A --> 0A | lambda
B --> 0B | 1B | lambda

Obtener las derivaciones más a la izquierda y más a la derecha de las siguientes cadenas:

a) 00101

Más a la izquierda: S => A1B => 0A1B => 00A1B => 001B => 0010B => 00101B => 00101

Más a la derecha: S => A1B => A10B => A101B => A101 => 0A101 => 00A101 => 00101

b) 1001

Más a la izquierda: S => A1B => 1B => 10B => 100B => 1001B => 1001

Más a la derecha: S => A1B => A10B => A100B => A1001B => A1001 => 1001

c) 00011

Más a la izquierda: S=> A1B => 0A1B => 00A1B => 000A1B => 0001B => 00011B => 00011

Más a la derecha: S => A1B => A11B => A11 => 0A11 => 00A11 => 000A11 => 00011