cronica de una muerte anunciada

Código Fuente en C AFD con Listas
Este programa en Lenguaje de Programación C es un Autómata Finito Determinista, El AFD esta definido por la expresión regular  ε∪(b + ε)(ab)∗∪ (a + ε)(ba)∗.Esta expresión no acepta las subcadenas aa y bb. 

El programa puede ser de gran utilidad en las materias sobre Teoría de Autómatas. Para armar un AFD distinto, lo que tienes que cambiar son las conexionesde los nodos, que se encuentran el método crear(), que es donde se arma el AFD, y obviamente, si el AFD que quieres construir tiene mas estados, pues tendrás que declarar mas nodos ysi evalúa mas símbolos pues los agregas en el switch, ten en cuenta que agregar mas símbolos implica que tendrás que declarar mas enlaces dentro de la estructura.

El programa en C fue diseñado en Dev-C++, que si no lotienes te recomiendo que lo descargues aquí.


Código Fuente en C

?
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
3435
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
8485
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
#include
#include
#include
 
struct lista_elementos
{
  int estado;  struct lista_elementos *a;
  struct lista_elementos *b;
};
 
typedef struct lista_elementos nodo;
 
void crear(nodo *q0,nodo *q1,nodo *q2,nodo *q3,
nodo *actual, nodo *anterior);
void mostrar(nodo*pt,nodo *pt2,int j,char i);
 
main()
{
nodo *q0,*q1,*q2,*q3,*actual,*anterior;
int j=0,i=0,tamano=0,novalido=0; char cadena[100];
actual=(nodo*)malloc(sizeof(nodo));q0=(nodo*)malloc(sizeof(nodo));
q1=(nodo*)malloc(sizeof(nodo));
q2=(nodo*)malloc(sizeof(nodo));
q3=(nodo*)malloc(sizeof(nodo));
crear(q0,q1,q2,q3,actual,anterior);
 
printf("\n\n\n\t AFD Que no acepte las...