TEORÍA DE LA COMPUTACIÓN

TRABAJO DE CONCURRENCIA

JOSÉ YON FRANS GARCIA HERRERA

PROGRAMA DOCTORADO EN INGENIERIAS

UNIVERSIDAD AUTONOMA DE BUCARAMANGA – UNAB

2022
 P1
a b

nil|b.nil a.nil|nil

b a
Trazas: a, b, ab, ba, Ɛ
nil |nil
Estados: nil|b.nil, a.nil|nil, nil|nil, Ɛ
 P2
a b

b.nil a.nil

b a
Trazas: a, b, ab, ba, Ɛ
nil
Estados: P2, b.nil, a.nil, nil

El proceso P1 y P2 son equivalentes en trazas.

 Estados:
P3,b.nil||b.a.nil, nil||b.a.nil, nil||a.nil, a.b.nil||a.nil,
a.b.nil||nil, b.nil||nil, nil||nil
P3
a Trazas : a,b,ab, ba, baa,baab, abb, abba, Ɛ
b

b.nil||b.a.nil a.b.nil|a.nil
b a

b b.nil|a.nil a

nil|b.a.nil a.b.nil|nil

b b a
a
nil|a.nil b.nil|nil

a nil|nil b
 a P4 b
Estados
a.b.b.a.nil
P4 Trazas: a, b, ab, ba, aba, baa, abb,
b.b.a.nil|b.a.a.b.nil |a.a.b.nil b.b.a.nil|b.a.a.b.nil a.b.b.a.nil|a.a.b.nil abbb, baaa, abab, baba, baaa, bbaa,
a b.a.nil|b.a.a.b.nil aabb, abaa, abbaa, baaba…Ɛ
b a.b.b.a.nil|a.b.nil
a a.nil|b.a.a.b.nil
a.b.b.a.nil|b.nil
b.a.nil|b b a.b.b.a.nil|a nil|b.a.a.b.nil
.a.a.b.nil .b.nil
a.b.b.a.nil|nil
b.b.a.nil|
a.a.b.nil a nil|a.a.b.nil
b a a b.b.a.nil|nil
b b nil|a.b.nil
b.b.a.nil b.a.nil|nil
nil|b.nil
b.a.nil| |a.b.nil a.b.b.a.nil|b
a.nil|b.a a.nil|nil
a.a.b.nil .nil nil|nil
.a.b.nil

b a b
a a b a b.b.a.nil|a.b.nil
b.b.a.nil|a.a.b.nil
b.a.nil|a.a.b.nil
b.b.a.nil|b.nil
nil|b.a.a a.nil|a. b.a.nil|a. b.b.a.nil a.nil|a.a.b.nil
a.b.b.a.nil|n
.b.nil a.b.nil b.nil |b.nil
il b.a.nil|b.nil a.nil|a.b.nil

b.a.nil|a.b.nil a.nil|b.nil
a a b a
b a b b
nil|a.a.b
.nil b.b.a.nil|nil
b.a.nil|b.
a.nil|a.
nil
a b.nil
a b b
a b
a.nil|b.nil
nil|a.b.n
b.a.nil|nil
il

a b b
a
nil|b.nil a.nil|nil
a
b
nil|nil
Estados: a.P5|
a .P5|
a .P5 a .P5|
a.P5| .P5a .P5|
a a.P5| a.P5| a .P5
P5

Trazas: a, a, tau, a, Ɛ a a
tau

a.P5|a .P5|a.P5 a.P5|a .P5|a .P5|a .P5 a.P5|a.P5|a.P5

 P6

Trazas: tau, tau.tau, tau.tau.tau, Ɛ… n veces

tau
Estados:{a.P5|a.P5\{a}, a.P5|a.P5\{a}|a.P5|a.P5\{a},…}
tau a.P5|a
.P5\{a}|a.p
tau
5|a.p5\{a}

P5|P5\{a] P5|P5\{a}

El proceso P6 y P7 son equivalentes en trazas.

Trazas: tau, tau.tau, tau.tau.tau, Ɛ…n veces
tau
Estados:{a.P5|a.P5\{a}, a.P5|a.P5\{a}|a.P5|a.P5\{a},…}
P7= Ƭ.P7

El proceso se ejecuta de manera infinita