Qué es un Autómata Finito Determinista (AFD)