Probleme rezolvate

1. S se proiecteze un AFD peste alfabetul = {a, b}care accept cuvintele care nu

conin 3a consecutiv.
Rezolvare.
Automatul obinut este cel din figura 2.1.

b
q0

q3

q2

q1

a,b

b
b

Figura 2.1
2. S se proiecteze AFD peste alfabetul = {a, b}care accept irurile a, bb i
aba.
Rezolvare.
AFD cerut este ilustrat n figura 2.2.
a
b
q10

q02

a,b

q20

q5

q30

a,b

q40

Figura 2.2
Probleme propuse
3. S se proiecteze un AFD peste alfabetul = {a, b}care accept cuvintele ce conin
minim 3a i nu se termina cu b.
4. S se proiecteze automatul determinist peste alfabetul = {a, b} care accept
cuvintele n care perechea aa este urmat de subirul bab.
5. Care este AFD care peste alfabetul = {a, b} accept irurile cu numr par de a
i nu conin subirul bb?

6. S se proiecteze AFD care accept peste alfabetul = {a, b, c} cuvinte cu numr

par de a, par de b i impar de c.
7. S se proiecteze AFD care accept peste alfabetul = {a, b, c} cuvinte care conin
minim 2 c (nu neaprat consecutivi) i nu conin secvena aca.
8. S se construiasc peste = {a, b} un AFD care accept irurile ce conin cel puin
2 a i nu conin subirul bb.
9. S se proiecteze un AFD care accept toate irurile peste alfabetul ={a, b} care
conin cel puin 3 a i cel mult 2 b.
10. S se proiecteze AFD care peste alfabetul = {a, b}accept cuvintele ce conin
subirul aba i nu conin subirul bb,.
11. S se construiasc AFD peste alfabetul = {1, 2, 3} care accept cuvintele n care
suma ultimelor dou simboluri este 4.
12. S se construiasc un AFD peste alfabetul = {a, b} care accept cuvinte ce conin
numr par de a i nu conin subirul abb .
13. S se proiecteze AFD peste alfabetul = {1, 2, 3}, care accept toate cuvintele care
se termin cu subirul 123.
14. Care este automatul care peste alfabetul = {a, b, c} recunoate cuvintele ce conin
numr par de a i numr impar de c?
15. Care este automatul care peste alfabetul = {a, b} recunoate cuvintele ce conin
numr impar de b i care nu conin subirul bba?
16. Fie un lact electronic prevzut cu dou butoane etichetate cu a i respectiv b.
Lactul se deschide dac se apas pe butoane n combinaia aba. Din poziia
deschis el poate fi nchis numai prin apsarea butonului b. S se modeleze
funcionarea lactului printr-un automat finit determinist.
17. S se construiasc AFD care accept setul tuturor irurilor din alfabetul = {0, 1}
cu numr egal de 0 i 1 astfel nct fiecare prefix are cel mult nc un 0 n plus fata
de numrul de 1 i nc cel mult un 1 n plus fa de numrul de zerouri.
18. S se construiasc AFD aferent unui sistem de parolare peste alfabetul = {a, b, c,
d} care funcioneaz dup urmtoarele reguli:
parola are trei caractere dintre care dou trebuie sa fie identice dar
neconsecutive;
caracterul d nu trebuie s fac parte din parol dac da, atunci se ajunge ntr-o
stare de blocaj;
parola corecta conduce ntr-o stare marcata n automat.

19. Ce iruri accepta automatele:

a)

b
a

b)

a,b

b
b