Las expresiones regulares sobre un conjunto I son definidas recursivamente si estan vacias
A.
◮ El s´ımbolo ∅ (conjunto vac´ıo)
B.
El s´ımbolo λ (conjunto {λ}) es una expresion regular
C.
◮ El s´ımbolo x (conjunto {x}) es una expresion regular ´ siempre que x ∈ I
D.
◮ Los s´ımbolos (AB), (A ∪ B), y A ∗ son expresiones regulares siempre que A y B son expresiones regulares
E.
Los conjuntos representados por expresiones regulares son llamados conjuntos regulares.
2.
Los conjuntos representados por expresiones regulares son llamados conjuntos regulares.
A.
10∗
B.
(1 ∪ 01)(10) ∗
C.
0 ∪ 01
D.
0(0 ∪ 1) ∗
E.
10∗
F.
(1 ∪ 01)(10) ∗
3.
Teorema de Kleene
A.
Un conjunto es regular si y solo si es reconocido por un automata de estado finito.
B.
Automatas que reconocen conjuntos regulares
4.
Automatas que reconocen conjuntos regulares
A.
Automatas que reconocen los conjuntos ´ ∅, {λ} y {a} respectivamente
B.
Transiciones: si λ ∈ A cada transicion que parta de ´ SB y desde cada estado previo a uno en FA ir hasta sB
5.
Automatas que reconocen conjuntos regulares
A.
Transiciones: por cada transicion desde ´ sA a un estado s para la entrada i, incluir transicion desde ´ {sA∗ } hasta s con el s´ımbolo i y una transicion desde cada estado final hasta ´ s para el mismo dato de entrada
B.
S ∗ A = SA S {sA∗ }
C.
Transiciones: por cada transicion desde ´ sA a un estado s para la entrada i, incluir transicion desde ´ {sA∗ } hasta s con el s´ımbolo i y una transicion desde cada estado final hasta ´ s para el mismo dato de entrada
