Index of types

C
configuracao [Fsa_set]	`configuracao`: tipo das configurações.
E
estado [Fsa_set]	tipo dos estados, como abreviatura do tipo Estados.t
estados [Fsa_set]	tipo dos conjuntos de estados, como abreviatura do tipo Sestado.t
F
fita [Fsa_set]	a fita de entrada é representada por uma lista de símbolos, de tipo `fita`
M
maquina [Fsa_set]	`maquina`: tipo dos autómatos não deterministas.
S
simbolo [Fsa_set]	`simbolo` é o tipo para o alfabeto considerado, aumentado do símbolo "epsilon".
T
t [Fsa_set.Estados]
transicoes [Fsa_set]	`transicoes`: tipo das transições.