Automatas

AUTOMATAS Y LENGUAJES FORMALES
TRABAJO COLABORATIVO No.1

OSMARY VILLALOBOS ZAMBRANO COD. 49.556.774

ELUDITH ESTHER BELTRAN OROZCO COD. 49.497.658

YURIS MARCELA GIRALDO COD. 49722822

BLANCA LUCY BENAVIDES COD. 46.455.559

XIMENA BITTI PELAEZ COD. 47.440.974

GRUPO: 301405_57

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA “UNAD”
FACULTAD DE CIENCIAS BASICAS E INGENIERIA DE SISTEMAS2009
AUTOMATAS Y LENGUAJES FORMALES
TRABAJO COLABORATIVO No.1

OSMARY VILLALOBOS ZAMBRANO COD. 49.556.774
Osviza9@hotmail.com
CEAD CURUMANI _CESAR

ELUDITH ESTHER BELTRAN OROZCO COD. 49.497.658
eludith@latinmail.com
CEAD Valledupar

YURIS MARCELA GIRALDO COD. 49722822
y-mar-g@hotmail.com
CEAD Valledupar

BLANCA LUCY BENAVIDES COD. 46.455.559
lucybesuarez@yahoo.es
ZONA CENTRO,CEAD Duitama

XIMENA BITTI PELAEZ COD. 47.440.974

Tutor:
JAIRO ARMANDO RIAÑO HERRERA
Ingeniero de sistemas
CEAD Sogamoso

GRUPO: 301405_57

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA “UNAD”
FACULTAD DE CIENCIAS BASICAS E INGENIERIA DE SISTEMAS
2009
ORGANIGRAMA DE TRABAJO COLABORATIVO 1

|ORGANIZACIÓN DEL TEMA|
|NOMBRE |Cedula de Ciudadanía |
||1 |2 |
| |
||3 |4 |
|PARTICIPANTES | ||
| |6 |7 |8 |
| |P1 |G1 |G2 |
| | | | |
|G1 | | | |
| |P2 |G1 |G1 |
| |P3 |G1 |G2 |
| |P5 |G1 |G1 |
| |P6 |G1 |G1 |
||P7 |G1 |G1 |
|G2 |P4* |G1 |G1 |
| |P8* |G1 |G1 |

Luego la tabla resultante de agrupar comunes sería:

| |ε |0 |1 |
|G1 |P1 |G1 |G2 |
| |P2 |G1 |G1 |
|G2 |P4 |G1 |G1 |

El autómata mínimoequivalente resultante es:

[pic]
Autómata A2

Primero revisamos si posee estados inaccesibles, y para este caso posee q4 y q5 ya que son estados a los cuales no llega ninguno.
Luego realizamos tabla para separa los indistinguibles agrupando estados iniciales en G1 y estados finales en G2 así: G1 = {q1, q2, q3, q6, q7} G2= {q8}

| |ε |0 |1 |
||Q1 |G1 |G1 |
| | | | |
|G1 | | | |
| |Q2 |G1 |G1 |
| |Q3 |G1 |G1 |
| |Q6 |G1 |G1 |
| |Q7 |G1 |G2 |
|G2 |Q8* |G1 |G1 |

Luego la tabla resultante de agrupar...