GLC "prototpicas"

Recursivo: {anbn, n0}

Lo generamos con algo de la forma SaSb
El de los palndromes es anlogo.
Idea: hay un "surtidor" al medio que emite letras de
manera simtrica.

GLC "prototpicas"
Por partes: L={anbnam, n0, m0}
Lo generamos con algo de la forma SXY
Luego a partir de X e Y generamos las dos partes
(aprovechando que no tienen relacin).
Por ejemplo:
SXY
XaXb |
YaY |

GLC "prototpicas"
Anidados: L={anbmambn, n0, m0}
Aqu las partes independientes son por un lado
anbn y por otro lado bmam, que est dentro de la
anterior.
Generamos primero lo exterior, luego lo interior.
En este caso particular, tanto lo interior como lo
exterior es del tipo recursivo.
SaSb | X
XbXa |

GLC, un ejemplo ms complejo

L={w{0,1}*: w tiene dos bloques maximales de 0s del
mismo tamao}.
Permitidos: 01011, 001011001, 10010101001, 01001011
No permitidos: 01001000, 01111

10010011010010110
inicio

parte central

A: , termina en 1
C: , comienza con 1

final

00110100

D
Cantidad de 0s:
la misma a cada lado
al menos uno

GLC, un ejemplo ms complejo

De modo que descomponemos por partes, y
luego aplicamos recursividad en B.

10010011010010110
inicio

parte central

00110100
D
Cantidad de 0s:
la misma a cada lado
al menos uno

final

S ABC
A | U1
U 0U | 1U |
C | 1U
B 0B0 | 0D0
D 1U1 | 1