Está en la página 1de 11

Retculos

Definicin Un retculo es una terna (L, , ) donde L es un conjunto y , son


dos operaciones internas en L verificando las propiedad es:
1. Asociativas, a, b, c L
(a b) c = a (b c)
2. Conmutativas, a, b L
a b = b a
3. Idempotencia, a L
a a = a
4. Absorcin, a, b L
a (a b) = a

(a b) c = a (b c)

a b = b a

a a = a

a (a b) =a.

Notacin: (L, , ) = (L, +, .)


Ejemplo: Sea Cuna familia de conjuntos cerrada para la interseccin y la unin.
Entonces (C, , ) es un retculo. En este retculo, la relacin de orden parcial es
la misma que la relacin de inclusin de conjuntos. El diagrama del retculo L de
todos los subconjuntos de {a, b, c}.

Subreticulo

Sea (L,,) un retculo ySL, diremos que S es un subretculo de L si S es


cerrado para las dos operaciones, es decir:
a, b S, a b S y a b S.

Morfismo de Reticulos

Sean (L1, 1,1) y (L2,2,2) retculos. Una aplicacin f: L1 L2 se llama


morfismo de retculos si satisface:
f(a 1b) = f(a) 2 f(b)

f(a 1 b) = f(a) 2 f(b),

a, b L1

Si adems f es biyectiva diremos que f es un isomorfismo de retculos.

Tipos de Retculos:

Retculo Modular: Diremos que un retculo (L, , ) es modular si satisface


la siguiente propiedad:
Si a b entonces a (c b) = (a c) b, c L.

Retculo Distributivo: Diremos que un retculo (L, , ) es distributivo si


satisface las propiedades distributivas, es decir, a, b, c L
a (b c) = (a b) (a c),
a (b c) = (a b) (a c)
Para probar que un retculo es distributivo basta con probar una de

las dos propiedades ya que son equivalentes.

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

queda sin definicin en la matemtica, pero nuestro inters es como crece de


rpido A.)
Sugerimos que tome unos minutos para programar esto en Maple, a ver qu pasa
con A (2, 3, 4). Claro, si lo programamos diciendo que 0 es adicin, 1 es
multiplicacin y 2 es exponenciacin, todas operaciones incorporados a Maple, y
vamosa la recursin solo para P >2 podemos hacer A (2, 3, 4) sin problema (y no
presenta demasiada dificultad a mano). A (2, 3, 5) es algo sorprendente. Y A (2,
3, 6)? A (2, 4, 4)? As que conviene ver cules son las limitaciones verdaderas de
la memoria finita.
Sea un alfabeto. La cadena vaca se llama para no confundirla con el conjunto
vaco de cadenas. Dadas dos cadenas c1 y c2, c1c2 significa la concatenacin
de las dos. Si a , cuando escribimos a puede significar o simplemente la letra a
o la cadena de longitud 1 cuya nica letra es a, y cul es ser claro del contexto.
Por ejemplo, si a y c es una cadena sobre , ac significa la concatenacin de
la cadena a con c. Si C1 y C2 son dos conjuntos de cadenas, C1C2 significa el
conjunto {c1c2: c1 C1 y c2 C2}. Si C es un conjunto de cadenas, C0 = { },
Ck+1=CC k para todo natural k, y C= exp sub i=0 Ci, es decir, una
concatenacin de 0 o ms palabras de C. Para una cadena c, con |c| queremos
decir la longitud de c.
Autmata de Estado Finito
Se trata de una mquina de estado finito en la que 0= {0,1} , es decir un modelo
computacional que realiza cmputos en forma automtica sobre una entrada para
producir una salida.
Este modelo est conformado por un alfabeto, un conjunto de estados y un
conjunto de transiciones entre dichos estados. Su funcionamiento se basa en una
funcin de transicin, que recibe a partir de un estado inicial una cadena de
caracteres pertenecientes al alfabeto (la entrada), y que va leyendo dicha cadena
a medida que el autmata se desplaza de un estado a otro, para finalmente
detenerse en un estado final o de aceptacin, que representa la salida.

En los estados para los que la ltima salida es 1 se llaman Estados de Aceptacin.

DEFINICIN FORMAL

Formalmente, un autmata finito es una 5-tupla (Q, , q0, , F) donde:


Q es un conjunto finito de estados.
es un alfabeto finito;
q0 Q es el estado inicial;
: Q x Q es una funcin de transicin;
es un conjunto de estados finales o de aceptacin.
Autmata de Estados Finitos (AF): Describen, reconocen y definen a los
Lenguajes Regulares.
Modelo Matemtico de un sistema con estados y salidas discretas.

Tipos de Autmatas Finitos:

Autmata Finito Determinista (AFD). No pueden estar en ms de un estado

simultneamente.
Autmata Finito No Determinista (AFN). Puede estar en varios estados al
mismo tiempo.

Autmatas de estados Finitos Deterministas (AFD):

Un AFD es una quntupla A = (Q, , , q0, F)


Por ejemplo: si p y q estn en Q y a en ,
Se define la transicin (q, a) = p.
En la figura se observa como hay una transicin de q a p dado a.
Es decir, existe un arco etiqueta a entre q u p.

Los estados de aceptacin se denotan grficamente con un doble crculo, y en la


tabla de transicin con asterisco al lado del estado. Por ejemplo si r esta en F
debe ser denotado con doble circulo como se observa en la figura.

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

Ejemplo: Dado el lenguaje L = {x | x en {0,1} y x comienza con 0}, es decir todas


las cadenas binarias que comienzan con 0. El AFD que lo reconoce es el
siguiente:
M = (Q, , , q0, F)
= {0,1}, F = {q1}, Q= {q0, q1, q2}

Funcin de transicin
(q0,0) = q1
(q0,1) = q2
(q1,0) = q1
(q1,1) = q1
(q2,0) = q2
(q2,1) = q2

Las tres representaciones de la funcin de transicin son equivalentes, y cada


suficiente para dar el AF. Puede escoger una representacin pero comprendiendo
la relacin entre ellas.

Autmata Finito No Determinista AFND.

Son autmatas de estados finitos que tienen la capacidad de estar en ms de un


estado simultneamente. Ventaja: son ms compactos, flexibles y fciles de

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.

La diferencia con AFD es la funcin : Q x

2Q tambin : Q x

En la figura (q, a) = {p, r}


A= (Q, , , q0, F)
: Q x

Q*

(q, a) = R , R Q , (q, a) = {p, r}


Funcin de Transicin Extendida:
= Q x * Q*
1) (q, ) = {q}
2) (q, xa) = { r | para algn p en (q, x), (p, a) = r }

Q*

Instituto Universitario Politcnico Santiago Mario


Extensin Puerto Ordaz
Escuela de Ingeniera de Sistemas
Escuela: 47
Seccin: I

Auditoria

Alumnos:
Jos Andrs Mndez
CI: 24179421

También podría gustarte