Qué es un autómata de estados finitos

Ejemplo: Semáforo Peatonal

Ejemplo: Luz con Temporizador
Ejemplo: Luz con Temporizador
Ejemplo: Luz con Temporizador

I Al estar apagado (off), el movimiento no afecta el estado.

Ejemplo: Luz con Temporizador

I Al estar apagado (off), el movimiento no afecta el estado.

I Cuando se acciona el interruptor se pasa al estado (on5).
Ejemplo: Luz con Temporizador

I Al estar apagado (off), el movimiento no afecta el estado.

I Cuando se acciona el interruptor se pasa al estado (on5).
I Mientras haya movimiento se queda en (on5); si hay un tick de reloj, pasa el estado (on4).
Ejemplo: Luz con Temporizador

I Al estar apagado (off), el movimiento no afecta el estado.

I Cuando se acciona el interruptor se pasa al estado (on5).
I Mientras haya movimiento se queda en (on5); si hay un tick de reloj, pasa el estado (on4).
I En (on4): si percibe movimiento pasa al estado (on5); con un tick de reloj, pasa el estado (on3).
Ejemplo: Luz con Temporizador

I Al estar apagado (off), el movimiento no afecta el estado.

I Cuando se acciona el interruptor se pasa al estado (on5).
I Mientras haya movimiento se queda en (on5); si hay un tick de reloj, pasa el estado (on4).
I En (on4): si percibe movimiento pasa al estado (on5); con un tick de reloj, pasa el estado (on3).
I En (on3): si percibe movimiento pasa al estado (on5); con un tick de reloj, pasa el estado (on2).
Ejemplo: Luz con Temporizador

I Al estar apagado (off), el movimiento no afecta el estado.

I Cuando se acciona el interruptor se pasa al estado (on5).
I Mientras haya movimiento se queda en (on5); si hay un tick de reloj, pasa el estado (on4).
I En (on4): si percibe movimiento pasa al estado (on5); con un tick de reloj, pasa el estado (on3).
I En (on3): si percibe movimiento pasa al estado (on5); con un tick de reloj, pasa el estado (on2).
I En (on2): si percibe movimiento pasa al estado (on5); con un tick de reloj, pasa el estado (on1).
Ejemplo: Luz con Temporizador

I Al estar apagado (off), el movimiento no afecta el estado.

I Cuando se acciona el interruptor se pasa al estado (on5).
I Mientras haya movimiento se queda en (on5); si hay un tick de reloj, pasa el estado (on4).
I En (on4): si percibe movimiento pasa al estado (on5); con un tick de reloj, pasa el estado (on3).
I En (on3): si percibe movimiento pasa al estado (on5); con un tick de reloj, pasa el estado (on2).
I En (on2): si percibe movimiento pasa al estado (on5); con un tick de reloj, pasa el estado (on1).
I En (on1): si percibe movimiento pasa al estado (on5); con un tick de reloj, pasa el estado (sb).
Ejemplo: Luz con Temporizador

I Al estar apagado (off), el movimiento no afecta el estado.

I Cuando se acciona el interruptor se pasa al estado (on5).
I Mientras haya movimiento se queda en (on5); si hay un tick de reloj, pasa el estado (on4).
I En (on4): si percibe movimiento pasa al estado (on5); con un tick de reloj, pasa el estado (on3).
I En (on3): si percibe movimiento pasa al estado (on5); con un tick de reloj, pasa el estado (on2).
I En (on2): si percibe movimiento pasa al estado (on5); con un tick de reloj, pasa el estado (on1).
I En (on1): si percibe movimiento pasa al estado (on5); con un tick de reloj, pasa el estado (sb).
I En (sb): si percibe movimiento pasa al estado (on5) de lo contrario con un tick de reloj permanece en este estado.
Ejemplo: Luz con Temporizador

I Al estar apagado (off), el movimiento no afecta el estado.

I Cuando se acciona el interruptor se pasa al estado (on5).
I Mientras haya movimiento se queda en (on5); si hay un tick de reloj, pasa el estado (on4).
I En (on4): si percibe movimiento pasa al estado (on5); con un tick de reloj, pasa el estado (on3).
I En (on3): si percibe movimiento pasa al estado (on5); con un tick de reloj, pasa el estado (on2).
I En (on2): si percibe movimiento pasa al estado (on5); con un tick de reloj, pasa el estado (on1).
I En (on1): si percibe movimiento pasa al estado (on5); con un tick de reloj, pasa el estado (sb).
I En (sb): si percibe movimiento pasa al estado (on5) de lo contrario con un tick de reloj permanece en este estado.
I En cualquier estado se puede pasar al estado (off) accionando el interruptor.
Autómatas para reconocer cadenas

I Se lee la cadena de izquerda a derecha

I Cada sı́mbolo que lee es como un evento
I los estados representan el estado de la computación
I Hay estados especiales
I El estado donde comienza
I Los estados que indican una terminación correcta
Cadenas de aes, tes y ces que contienen la cadena cat
Cadenas de aes, tes y ces que NO contienen la cadena cat
Cadenas de aes y bes con un número par de aes
Definición formal

Un autómata determinı́stico de estados finitos (DFA 1 .), M, es una

quı́ntupla: (Q, Σ, qI , F , δ), donde:
Q es un conjunto finito de estados,
Σ es un alfabeto finito,
qI ∈ Q es el estado inicial,
F ⊆ Q es el conjunto de estados finales, y
δ : (Q × Σ) → Q es la función de transición de estados.

1
Por sus siglas en inglés: Deterministic Finite Automaton
Cadenas de aes y bes con un número par de aes

Estados: {0, 1}
Alfabeto: {a, b}
Estado Inicial: 0
Estados Finales: {0}
Función de transición {(0, a) 7→ 1, (0, b) 7→ 0, (1, a) 7→ 0, (1, b) 7→ 1}
Cadenas de aes y bes con un número par de aes

a b
0 1 0
1 0 1
Funcionamiento Autómatas Determinı́sticos: σ − sucesor

Dado un autómata M = (Q, Σ, qI , F , δ) para q y p estados de M y un

sı́mbolo del alfabeto σ, si δ(q, σ) = p decimos que p es σ − sucesor de q y
σ
escribimos p −−−→ q.
Funcionamiento Autómatas Determinı́sticos: ω − sucesor

Dado un autómata M = (Q, Σ, qI , F , δ) para q y p estados de M y ω ∈ Σ∗ ,

ω
decimos que p es ω − sucesor de q y escribimos p ==⇒ q, si:
I ω = λ y p = q, ó
σ ω0
I ω = σω 0 y existe un estado p 0 tal que p −−−→ p 0 y p 0 ==⇒ q.
o equivalentemente: ω = σ1 σ2 . . . σn y existen estados q0 , q1 , ..., qn , con
p = q0 y q = qn tales que para todo i con 0 < i ≤ n se tiene que
δ(qi−1 , qi ) = qi
Funcionamiento Autómatas Determinı́sticos: δ ∗

La clausura transitiva de la función δ se denota δ ∗ opera sobre cadenas de Σ

y da como resultado un estado: δ ∗ : (Q × Σ∗ ) ⇒ Q y se define ası́:
I δ ∗ (q, λ) = q
I δ ∗ (q, σω) = δ ∗ (δ ( q, σ), ω)