1)

M=<S, Ʃ, F, s0, T> a b c d

s0 s2 s1 s3 s4
S= {s0, s1, s2, s3, s4} s1 s3 s1 s2 s0
Ʃ= {a, b, c, d} s2 s4 s1 s2 s0
T= {s3, s4} s3 s3 s1 s3 s4
F={fa , fb , fc , fd} s4 s4 s2 s4 s3

s1 s3

s0

s2 s4

2)
ˆf : S → S
w0

w0 = a 4 dc 2b 3 cdc
ˆf = ˆf 4 2 3 = f o f o f o f o f o f o f o f o f o f o f o f o f
w0 a dc b cdc c d c b b b c c d a a a a

3)
ˆf : S → S
w

w = a4
ˆf = ˆf 4 = f o f o f o f
w a a a a a

ˆf ( s ) = ˆf 4 ( s ) = ( f o f o f o f )( s ) = f ( f ( f ( f ( s ))))
w 0 a 0 a a a a 0 a a a a 0

= f a ( f a ( f a ( s2 ))) = f a ( f a ( s4 )) = f a ( s4 ) = s4
s4 ∈ T ∴ w ∈ L( M )
 w1 = a 4 cdc
ˆf ( s ) = ˆf 4 ( s ) = ( f o f o f o f o f o f o f )( s ) = f ( f ( f ( f ( f ( f ( f ( s )))))))
w1 0 a cdc 0 c d c a a a a 0 c d c a a a a 0

ˆf 4 ( s ) = s
a 0 4

ˆf ( s ) = f ( f ( f ( s ))) = f ( f ( s )) = f ( s ) = s
w1 0 c d c 4 c d 4 c 3 3

s3 ∈ T ∴ w1 ∈ L( M )

4)
a b c d
Rc = {( si , s j ) ∈ S × S / ∀e ∈ Σ : ( si Rc s j → f e ( si )Rc f e ( s j ))} s0 s2 s1 s3 s4
___
s1 s3 s1 s2 s0
___ __ __ __
= s2 s4 s1 s2 s0
M S ,Σ , F , s0 ,T s3 s3 s1 s3 s4
s4 s4 s2 s4 s3
 ___ ___ ___ 
S=S =  s0 , s1 , s 3 
Rc  

s0 = { s0 } ___
a
___
b
___
c
___
d
___

s0 s 1 s 1 s 3 s 3
s1 = {s , s }= s2
___

1 2
___ ___ ___ ___ ___

s3 = {s , s }= s 4
___

3 4 s 1 s 3 s 1 s 1 s0
T =T = { s3 }
RC ___ ___ ___ ___ ___

∀e : f e ∈ F s 3 s 3 s1 s 3 s 3
f e ( si ) = f e ( si )

s1 s3

s0
5)

w = a4
ˆf ( s ) = ( f o f o f o f )( s ) = f ( f ( f ( f ( s ))))
w 0 a a a a 0 a a a a 0

= f a ( f a ( f a ( s1 ))) = f a ( f a ( s3 )) = f a ( s3 ) = s3
s3 ∈ T ∴ w ∈ L( M )
w1 = a 4 cdc
ˆf ( s ) = ( f o f o f o f o f o f o f )( s ) = f ( f ( f ( f ( f ( f ( f ( s )))))))
w1 0 c d c a a a a 0 c d c a a a a 0

ˆf 4 ( s ) = s
a 0 3

ˆf ( s ) = f ( f ( f ( s ))) = f ( f ( s )) = f ( s ) = s
w1 0 c d c 3 c d 3 c 3 3

s3 ∈ T ∴ w1 ∈ L( M )

6)

G = ( S ,Σ , s0 ,a ) 1) s0 a as1 7) s1 a a s 3 12) s3 a as3

S = {s0 , s1 , s3 } 2) s0 abs1 8) 13) s 3 a b s1
s 1 a b s1
Σ = {a ,b , c , d } 14) s 3 a cs3
3) s0 acs3 9) s1 a c s1
15) s3 a ds3
4) s0 a ds3 10) s 1 a d s0
s3 a a
5) s0 ac 11) 16)
s1 a a s3 a c
17)
6) s0 a d s3 a d
18)

7)

w = a4
s0 →
1)
as1 →
7)
aas3 12
→ )
aaas3 16
→ )
aaaa

w1 = a 4 cdc
s0 →
1)
as1 →
7)
aas 3 12
→ )
aaas 3 12
→ )
aaaas 3 →
14
→ )
aaaacs 3 15
→ )
aaaacds 3 17
→ )
aaaacdc
8) w=a4
s0

s1

s3

s3
w=cdca4

s0

s1

s3

s3

s3

s3

s3
Oldecop, Francisco
UNSJ-FCEFyN
Reg: 15801
03/06/2011