Autómata determinista

En informática, un autómata determinista es un concepto de teoría de autómatas en el que el resultado de una transición de un estado a otro está determinado por la entrada.

Un autómata determinista común es un autómata finito determinista (DFA), que es una máquina de estados finitos, donde para cada par de estado y símbolo de entrada hay una y sólo una transición al siguiente estado. Los DFA reconocen el conjunto de idiomas regulares y ningún otro idioma.

Una forma estándar de construir un autómata finito determinista a partir de un autómata finito no determinista es la construcción del conjunto de potencias.