Lista de ejercicios para el curso de

LENGUAJES Y AUTÓMATAS

TAREA 2 :

Automatas finitos deterministas

NOTA: Los ejercicios que hay que entregar en esta tarea son los que tienen ∗. El resto son
opcionales.

En los problemas 56-82 hallar un autómata finito determinista que distinga las palabras del
lenguaje que se describe con alfabeto que se indica. Representar la respuesta usando el diagrama
de transiciones y la tabla de transiciones.

Σ1 = {0, 1, 2}. Σ2 = {a, b, c, 0, 1}. Σ3 = {a, b}

56. Las palabras de Σ1 que comienzan con 1 y terminana con 2.

57. Las palabras de Σ1 que tienen longitud 4.

58. Las palabras de Σ1 que conmienzan con 20 y tienen longitud 4.

*59. Las palabras de Σ1 cuya longitud es un múltiplo de 3.

60. Las palabras de Σ1 que terminan con la cadena 00102.

*61. Las palabras de Σ1 que terminan con la cadena 001001.

62. Las palabras de Σ2 tales que el primer sı́mbolo de la cadena es una letra y el segundo es un
dı́gito.

63. Las palabras de Σ3 que contienen la cadena aba.

*64. Las palabras de Σ3 que contienen la cadena abbbab.

*65. Las palabras de Σ3 que contienen la cadena aabbba.

66. Las palabras de Σ3 que inician con la cadena abbab.

67. Las palabras de Σ3 que terminan con la cadena abaa.

*68. Las palabras de Σ1 que incluyen la subcadena 1101001.

*69. Las palabras de Σ1 que incluyen al menos una vez la subcadena 0101 y al menos una vez
la subcadena 021.

*70. Las palabras de Σ2 que incluyen al menos una vez la subcadena abbcb y al menos una vez
la subcadena cbaabb.

71. Las palabras de Σ1 que contienen exactamente tres veces la subcadena 01.

1
*72. Las palabras de Σ1 que contienen exactamente tres veces la subcadena 01002.
! "
73. L = w ∈ Σ∗3 : w = an bm , m, n ∈ N .
! "
74. L = w ∈ Σ2 : w = (abc)n , n ∈ N .
! "
*75. L = w ∈ Σ2 : w = an bcm 02 13 , m, n ∈ N .
! "
76. L = w ∈ Σ3 : w = an bm ap bq ; m, n, p, q ∈ N .
! "
*77. L = w ∈ Σ3 : w = axabya, x, y ∈ Σ∗3 .

78. Las palabras de Σ3 tales que después de cada subcadena aa aparece una b.

*79. Las palabras de Σ1 tales que el primer caracter y el último son distintos.

*80. Las palabras de Σ1 con longitud 3n para algún n ∈ N, tales que si dividimos la cadena en n
bloques de longitud 3, cada uno de éstos tiene al menos un 0. Por ejemplo, 000 011 110 101
es una palabra válida, mientras que 001 101 111 010 no lo es, pues el tercer bloque no tiene
ningún 0.

*81. Las palabras de Σ1 tales que cualquier cadena de tres sı́mbolos consecutivos debe tener un
0. Nota que la cadena 001110 sı́ está en el lenguaje del problema anterior, pero no en el de
éste, pero 00101 está en el lenguaje de este problema y no en el del anterior.

*82. Las palabras de Σ3 de la forma wxw donde w ∈ Σ23 y x ∈ Σ∗3 .

*83. En el siguiente diagrama, se muestra un mecanismo con palancas. Se suelta una cadena de
canicas ordenadas en las entradas 0 y 1, formando una palabra del alfabeto Σ = {0, 1}. De
esta forma, la palabra 0010 significa que dos canicas caen por el conducto 0, luego se suelta
una en 1, terminando con una cuarta en 0. En el juego se encuentran tres palancas. Si se
encuentra en la posición , la canica se va al lado izquierdo, por el contrario, si la posición
es , se va al lado derecho. Cada vez que una canica pasa por una palanca, ésta cambia
de posición. Una palabra será aceptada si la última sale por A y es rechazada si la última
canica sale por R.

0 1

A R

a) De cuántas formas pueden estar colocadas las tres palancas.

b) Haz un dibujo de cada uno de los estados en los que pueden estar colocados e identifica
cuál es el resultado de soltar una canica en 0 o en 1 en cada uno de los estados, ası́
como la posición en la que quedarán las palancas después de cada caso.

2
 c) Encuentra la tabla de transiciones de un autómata finito determinista que describa si
una palabra es aceptada o rechazada.

*84. Sea A = (Q, Σ, δ, A0 , F) un autómata finito determinista. ¿Cuál es el lenguaje del autómata
A = (Q, Σ, δ, A0 , Q \ F)? (recuerda que A \ B = {x : x ∈ A y x ̸∈ B}).

*85. Sea A = (Q, Σ, δ, A0 , F) un autómata finito determinista. ¿Cuál es el lenguaje del autómata
si F = ∅?

*86. Sea A = (Q, Σ, δ, q0 , F) un autómata finito determinista. ¿Cuál es el lenguaje del autómata
si F = Q?

*87. Sea L el lenguaje del autómata

B 1 D 0
0 0, 1
A 0 1 F
0
1 1
C 1 E

Encuentra un autómata finito determinista que identifique el lenguaje L2 cuyas palabras

son las palabras de L quitándoles el último sı́mbolo. Es decir, si 001001 ∈ L, entonces
00100 ∈ L2 .

En los problemas 88-89 considera el autómata A = (Q, Σ, δ, A0 , F) definido en cada tabla.

Encuentra Q, Σ, A0 y F, haz el diagrama de transiciones del autómata y halla los valores que se
piden en cada inciso.

*88. a) δ(B, 0). # 1101).

c) δ(A, *89. #
a) δ(B, 10a11). # a01a01).
c) δ(A,
b) δ(C, 1). # 01001).
d) δ(A, #
b) δ(B, aa1100). # a11a00).
d) δ(C,

0 1 a
0 1 →A B C D
→A B C ∗B B C C
B A C ∗C A A D
∗C C A ∗D B B B