Obtenga la GLC para el lenguaje de los paréntesis bien balanceados

Definición de BNF

Equivalencias

Diseño de ER - Tarea 4

Diseñe el ER que construye el lenguaje en {a,b,c}, en el que las palabras deben empezar con "abc", contienen dos veces la subcadena "aca" y terminan en "aba".

abc*(a+b+c+a(a+b)+b(a+b+c)+c(a+b+c)+^)*aca(a+b+a(a+b)
+b(a+b+c)+c(b+c)+^)*aca(a+b(b+c)+c(b+c)+^)*aba

Conjunto de Estados

Diseñar por método de conjuntos de estados, el AFD en Σ = {£, ¤, ¥} en la cual acepta las palabras que contengan ££ y no contengan la subcadena ¥¤.