EJERCICIOS DE AUTOMATAS DE PILAS

Jonatan Mateo Riveros Mendez

UNIVERSIDAD DE CUNDINAMARCA

INGENIERIA DE SISTEMAS Y COMPUTACION

FUSAGASUGA CUNDINAMARCA
 OCTUBRE DE 2023
A. L={a^(n)*b^(n)|n>0}

• Conjunto de estados: {q0, q1, q2, q3}

• Alfabeto de entrada: {a, b}

• Estado inicial: {q0}

• Estado de aceptación: {q3}

INPUT RESULT

ab accept

aabb accept

aaabbb accept

ababab reject

aab reject

aaabb reject

aaaabbbb accept
 B. L={a^(2n) *b^(n)|n>0}

• Conjunto de estados: {q0, q1, q2, q3, q4}

• Alfabeto de entrada: {a, b}

• Estado inicial: {q0}

• Estado de aceptación: {q4}

INPUT RESULT

aabb accept

aaaabb accept

aaaaaabbb accept

aabb reject

ab reject

aaab reject
aaaaaaaaaabbbbb accept

C. L = {a^(n) b^(n) c^(n) | n ≥ 0}

• Conjunto de estados: {q0, q1, q2, q3, q4}

• Alfabeto de entrada: {a, b, c}

• Estado inicial: {q0}

• Estado de aceptación: {q4}

INPUT RESULT

abc Accept

aabbcc Accept

aaabbbcc Accept

cab Reject

bca Reject
 D. L = {0^n 1^n | n ≥ 0}

• Conjunto de estados: {q0, q1, q2, q3, q4}

• Alfabeto de entrada: {0, 1}

• Estado inicial: q0

• Estado de aceptación: q4

INPUT RESULT

01 Accept

0011 Accept

000111 Accept

000000111111 Accept