Tercero, computación
Declarativa
Basados
Algoritmos
Autómatas