Autómata finito determinista

Carta Común · N.º 299328

Un autómata finito determinista (abreviado AFD) es un autómata finito que además es un sistema determinista; es decir, para cada estado en que se encuentre el autómata, y con cualquier símbolo del alfabeto leído, existe siempre no más de una transición posible desde ese estado y con ese símbolo.

Leer en Wikipedia · Imagen User:Farisori, CC0