Limbaje formale si automate

Tema nr 1
Bucur Mihai Aurelian
Grupa 10305S
Problema nr 25
Vom incerca in primul rand sa definim un limbaj:

#a(w) = 1; #b(w) = 1 =>L = ab

#a(w) = 2; #b(w) = 1 => L =

a2

#a(w) = 1; #b(w) = 2 => L = a

Se observa ca L = {
(1)

b
2

b c

c3

; n >= 0 ; m >= 0}

S-> aAc

M=7; => A =
(2)
(3)

an bm c n +m

b7 c 7

S->bAc
A->

Exemplul 1.
5

13

N = 5, m = 8 => a b c
5
S(derivat de 5 ori) -> a A

c5

(1) ->

a5 b7 c 5 c7

Exemplul 2.
N=6 m= 9
S(derivat de 6 ori) ->

a6

c6

->

a5 b9 c 5 c 9

a8

c8

->

a8 b5 c 8 b5

a3

c3

->

a3 b 4 c3 c 4

Exemplul 3.
N=8 m=5
S(derivat de 8 ori) ->
Exemplul 4.
N=3 m = 4
S(derivat de 3 ori) ->
Exemplul 5.
N=2 m = 6

S(derivat de 2 ori) ->

->

2 6

a b c c