Академический Документы
Профессиональный Документы
Культура Документы
(a b) c = a (b c)
a b = b a
a a = a
a (a b) =a.
Subreticulo
Morfismo de Reticulos
a, b L1
Tipos de Retculos:
Retculos Complementarios
Sea L un retculo acotado con cota inferior O y cota superior 1. Sea a un elemento
de L. Un elemento x de L se llama complementario de a si:
avx=Iyavx=0
Los complementarios no existen necesariamente y no son necesariamente nicos.
Por ejemplo, los elementos a y e son ambos complementarios de b en la Figura
(a). Adems, los elementos y, z y u de la cadena de la Figura 10.1 no tienen
complementario. Tenemos el siguiente resultado.
Sea L un retculo distributivo acotado. Entonces los complementarios, si existen,
son nicos.
Supongamos que x e y son complementarios de un elemento cualquiera a de L.
Entonces:
Usando la distributividad:
Anlogamente:
Luego:
AUTMATAS
Por autmata en la matemtica discreta entendemos una especie de computadora
abstracta que dada una entrada produce una salida, es decir, calcula alguna
funcin. Generalmente la entrada es una cadena de smbolos de un alfabeto, y la
salida tambin, posiblemente sobre otro alfabeto. Vamos a estudiar en este
captulo tres clases de autmatas, que se llaman autmatas finitos, mquinas
secuenciales, y, mquinas de Turing, y despus, en el captulo de lenguajes,
mquinas de pila.
Las primeras dos son de memoria finita, y las otras dos de memoria ilimitada pero
de una finita cantidad de informacin en cualquier momento durante su
computacin.
Podramos observar que una computadora electrnica, por mucha memoria RAM
y disco duro que tenga, es un autmata finito, pero s la cantidad de memoria nos
permite para la mayora de propsitos seguir como si fuera ilimitada. Pero no es
nada difcil definir en unas cuantas lneas una funcin que agota toda la memoria
de cualquier computadora enseguida, como por ejemplo A (2, 4, 6) (A para
Ackermann) donde A (m, p, n) se define as para m, p, n 0 :
A (m, 0, 0) = m
A (m, 1, 0) = 0
A (m, p + 2, 0) = 1
A (m, 0, n+ 1) = A (m, 0, n) + 1
A (m, p+ 1, n+ 1) = A (m, p, A (m, p+ 1, n)) para todo m, n, p 0
Aqu p es una operacin, digamos opp, y m opp n= m opp1 m opp1 m...opp1
m(n ve - ces). Entonces se puede ver que op0 es adicin, op1 es multiplicacin,
op2 es exponenciacin: A (m, 2, n) = m exp n. op3 es una torre de exponentes, A
(m, 3, 3) = m exp m exp m. En general opp+1 se obtiene de opp en la misma
forma que exponencin se obtiene de multiplicacin y multiplicacin de adicin.
(Hemos definido A (0, p, 0) = 1, para todo P > 1, mientras 0 exp 0 por ejemplo
En los estados para los que la ltima salida es 1 se llaman Estados de Aceptacin.
DEFINICIN FORMAL
simultneamente.
Autmata Finito No Determinista (AFN). Puede estar en varios estados al
mismo tiempo.
Nota: En los AFD debe cumplirse que: Para toda a que esta en existe
exactamente una transicin de salida de cada estado.
Notacin para la Funcin de Transicin: Se tiene tres formas para presentar la
funcin de transicin cualquiera de ellas es suficiente para completar el diseo del
AFD. Estas son:
a) Diagrama de Transicin
b) Funcin de transicin
c) Tabla de Transiciones: Representacin Tabular
Funcin de transicin
(q0,0) = q1
(q0,1) = q2
(q1,0) = q1
(q1,1) = q1
(q2,0) = q2
(q2,1) = q2
disear que los AFD permiten cero, una o ms transiciones de salida de un estado
para el mismo smbolo. No hay que considerar todos los casos en cada estado.
2Q tambin : Q x
Q*
Q*
Auditoria
Alumnos:
Jos Andrs Mndez
CI: 24179421