Universidad Catlica de Colombia Nombre: Harby Jimenez Fundamentos ciencias de la computacin

cdigo: 625113 Ejercicios 2.4

1. Construir los AFD que aceptan cada uno de estos lenguajes sobre {a,b}. a) [w| toda a de w esta entre dos bes]

int automata( char *w ) { int i = 0; int q = 0; int Q[ 4 ] = {0,1,0,0}; int s; int n = strlen(w); int delta [ 4 ][ 2 ] = {//a, b {3, 0}, //qo {2, 1}, //q1 {3, 1}, //q2 {3, 3}, //q3 };
.. .. }

//cinta de entrada //estado inicial = 0 //estados de M con los estados de aceptacin //simbolo de sigma //longitud de w

b) [w| w contiene la subcadena abab]

Universidad Catlica de Colombia Nombre: Harby Jimenez Fundamentos ciencias de la computacin

cdigo: 625113 Ejercicios 2.4

int automata( char *w ) { int i = 0; int q = 0; int Q[ 6 ] = {0,0,0,1,0,1}; int s; int n = strlen(w); int delta [ 6 ][ 2 ] = {//a, b {1, 1}, //qo {2, 1}, //q1 {2, 3}, //q2 {4, 1}, //q3 {2, 5}, //q4 {5, 5}, //q5 };
.. .. }

//cinta de entrada //estado inicial = 0 //estados de M con los estados de aceptacin //simbolo de sigma //longitud de w

c) [w| w no contiene ninguna de las supcadenas aa o bb]

int automata( char *w ) { int i = 0; int q = 0; int Q[ 6 ] = {1,1,1,1,1,1}; int s; int n = strlen(w);

//cinta de entrada //estado inicial = 0 //estados de M con los estados de aceptacin //simbolo de sigma //longitud de w

Universidad Catlica de Colombia Nombre: Harby Jimenez Fundamentos ciencias de la computacin

cdigo: 625113 Ejercicios 2.4

int delta [ 7 ][ 2 ] = {//a, b {1, 5}, //qo {7, 2}, //q1 {3, 7}, //q2 {7, 4}, //q3 {1, 7}, //q4 {3, 7}, //q5 {7, 7}, //q6 };
.. } d) [w | w tiene nmero impar de aes y numero par de bes]

int automata( char *w ) { int i = 0; int q = 0; int Q[ 6 ] = {0,1,0,0}; int s; int n = strlen(w); int delta [ 4 ][ 2 ] = {//a, b {1, 3}, //qo {0, 2}, //q1 {3, 1}, //q2 {2, 0}, //q3 };
.. }

//cinta de entrada //estado inicial = 0 //estados de M con los estados de aceptacin //simbolo de sigma //longitud de w

Universidad Catlica de Colombia Nombre: Harby Jimenez Fundamentos ciencias de la computacin e) [w| w tiene ab y ba como subcadenas]

cdigo: 625113 Ejercicios 2.4

int automata( char *w ) { int i = 0; int q = 0; int Q[ 6 ] = {0,0,0,0,5,0}; int s; int n = strlen(w); int delta [ 6 ][ 2 ] = {//a, b {1, 3}, //qo {1, 2}, //q1 {5, 2}, //q2 {4, 3}, //q3 {4, 5}, //q4 {5, 5}, //q5 };
.. .. }

//cinta de entrada //estado inicial = 0 //estados de M con los estados de aceptacin //simbolo de sigma //longitud de w