-
Notifications
You must be signed in to change notification settings - Fork 0
/
AFD.cs
66 lines (55 loc) · 1.92 KB
/
AFD.cs
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
34
35
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
namespace AFD_Trabalho.ConsoleApp{
class AFD{
private Estado EstadoInicial {get; set;}
private List<Estado> EstadoFinal {get; set;}
private List<Estado> Estados {get; set;}
public AFD(){
EstadoFinal = new List<Estado>();
Estados = new List<Estado>();
}
public AFD AdicionarEstadoInicial(Estado estadoInicial){
EstadoInicial = estadoInicial;
return this;
}
public AFD AdicionarEstadoFinal(Estado estadoFinal){
EstadoFinal.Add(estadoFinal);
return this;
}
public AFD AdicionarEstado(Estado estado){
Estados.Add(estado);
return this;
}
public AFD AdicionarEstado(List<Estado> estados){
Estados.AddRange(estados);
return this;
}
public bool Iniciar(string userInput){
var estadoAtual = EstadoInicial;
for(int i = 0; i < userInput.Length; i++){
estadoAtual = estadoAtual.Valido(userInput[i].ToString());
}
return EstadoFinal.Contains(estadoAtual);
}
}
class Estado{
public Estado(string nome){
Nome = nome;
Transicoes = new Dictionary<string, Estado>();
}
private string Nome {get; set;}
private Dictionary<string, Estado> Transicoes {get; set;}
public void AdicionarTransicao(string transicao, Estado destino){
Transicoes.Add(transicao, destino);
}
public Estado Valido(string transicao){
var ehValido = Transicoes.TryGetValue(transicao, out var destino);
if(!ehValido){
throw new Exception("Não é válido!\n");
}
return destino;
}
public override string ToString(){
return Nome;
}
}
}