Está en la página 1de 30

UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS

CAPITULO Nº 9 GRUPOS – SEMIGRUPOS Y MAQUINAS DE ESTADO FINITO
OBJETIVOS A. GENERALES  Dar razones teóricas y fundamentales de grupos y máquinas de estado finito  Presentar la información abstracta pertinente a la teoría de grupos y máquinas de estado finito

B. ESPECIFICOS  Resolver problemas sobre grupos y máquinas de estado finito  Presentar el dominio grupos y máquinas de estado finito y sus fundamentos.  Estudiar el nivel lógicos de las estructuras algebraicas y máquinas de estado finito ESTRUCTURAS ALGEBRAICAS Todo conjunto en el que se definen una o más leyes de composición interna, una o mas leyes de composición externa, se dice que es una ESTRUCUTURA ALGEBRAICA. Se entiende por Álgebra a cierta estructura algebraica dotada de dos o más leyes de composición interna, Ejemplo álgebra lineal, álgebra Multilineal, etc. También se denomina Álgebra a la parte de las matemáticas que se dedica al estudio de las estructuras algebraicas. Por su mayor interés en nuestra área, estudiaremos con detalle a los tipos de estructuras algebraicas de simple composición, es decir, con una sola ley de composición interna y con dos leyes de composición interna). Las estructuras de simple composición son: Semigrupo, Grupo, Subgrupo.

Lic. GUILLERMO MAS AZAHAUNCHE

408

UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS

SEMIGRUPOS Un semigrupo es un conjunto no vacío S junto a una operación binaria asociativa * definida en S y la denotaremos al semigrupo por (S,*) o cuando sea claro que la operación * existe, como S: x * (y * z) = ( x * y ) * z (operación binaria asociativa). También se llamarán a a*b producto de a y b. S e dice que el semigrupo conmutativa. x * y = y * x . Propiedad Modular( e ) A un elemento e que pertenece al semigrupo (S,*) se le llama elemento identidad (neutro), si solo si e * a = a * e = a , ∀ a∈ S . Ejemplo # 1: El conjunto P(S), donde S es un conjunto, junto con la operación de unión es un semigrupo conmutativo. Ejemplo # 2: El conjunto ℤ con la operación binaria de sustracción no es un semigrupo, ya que la sustracción no es asociativa. TEOREMA 1: Si a1,a2,a3,.......,an, son elementos arbitrarios de un semigrupo, entonces todos los productos de los elementos a1,a2,a3,.......,an que puedan formarse, insertando arbitrariamente paréntesis serán iguales. Si a1,a2,a3,.......,an son elementos de un semigrupo (S,*) se escribirán sus productos como a1*a2*a3*..................*an Ejemplo # 3: El teorema 1 demuestra que los productos ((a1*a2)*a3)*a4), (a1*(a2*a3))*a4 son todos iguales. TEOREMA 2:Si un (S,*) tiene un elemento identidad, éste es único. Demostración: Supóngase que e y e’ son elementos identidad en S. Entonces ,ya que e es una identidad. a1*(a2*(a3*a4)), (S,*) es conmutativo si * es una operación

Lic. GUILLERMO MAS AZAHAUNCHE

409

UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS

e*e’=e’ Además ya que e es una identidad e*e’=e De aquí que e=e’ Un monoide es un semigrupo (S,*) que tiene una identidad. ISOMORFISMO: Si (S,*) y (T,*´) dos semigrupos: A la función f : S → T se le llama ISOMORFISMO de (S,*) en (T,*´) si es: a) INYECTIVA b) SURYECTIVA c) Se cumple: f ( a * b ) = f ( a ) *′ f ( b ) ∀ a, b ∈ S PRODUCTOS Y COCIENTES DE LOS SEMIGRUPOS Donde se obtendrán nuevos semigrupos de los ya existentes. TEOREMA 1: Si (S,*) y (T,*) son semigrupos,(S x T,*’’) es un semigrupo donde *’’ está definido por (s1, t1) *’’(s2,t2)=(s1*s2,t1*’t2)

Ahora se discutirá las relaciones de equivalencia en un semigrupo (S,*) .Como un semigrupo no sólo es un conjunto, se encontrará que ciertas relaciones de equivalencia en un semigrupo dan información adicional acerca de la estructurta del semigrupo A una relación de equivalencia R en el semigrupo (S,*) se le llama RELACIÓN DE CONGRUENCIA si a R a’ y bR b’ implica (a*b) R (a’*b’) Ejemplo # 1: Examínese el semigrupo (Z,+) y la relación de equivalencia R en Z definida por a R b sí y sólo si 2 divide a a-b conde se denotó a R b por a=b (mod 2) Ahora se demostrara´ que ésta relación es un relación de congruencia como sigue. Si

Lic. GUILLERMO MAS AZAHAUNCHE

410

Ahora se definirá la siguiente relación en Z: a R b sí y sólo si f(a)=f(b) Solución Se verifica directamente que R es una relación de equivalencia en Z. de S/R x S/R en S/R en que el par ordenado está. Sin embargo.*). GUILLERMO MAS AZAHAUNCHE 411 . se tiene ( a-b) +(c-d)=2m + 2n o bien ( a-b) +(c-d)=2(m +n) por lo tanto se tiene a + c= b + d (mod 2) Ejemplo # 2: Examínese el semigrupo (ℤ. Pero como f(-3)=10 ¿Analizar se R es una relación de congruencia? TEOREMA 2: Sea R una relación de congruencia en el semigrupo Examínese la relación (S.UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS a=b (mod 2) c=d (mod 2) entonces.por lo cual a-b= 2m y c-d= 2n donde m y n están en Z.+).1. Luego no existe congruencia. -2 ) R ( 2 .x-2-. 3) osea f ( -3) debe ser igual a f ( 5 ) y f (5)=18 f ( -3) ≠ f ( 5 ). R no es una relación de congruencia ya que se tiene -1 R 2 (f(-1)=f(2)=0) y -2 R 3 (f(-2)=f(3)=4) Para que sea una Relación de Congruencia se debe cumplir: Si -1 R 2 y -2 R 3 entonces ( . donde + es la adición ordinaria. 2 divide a a-b y 2 divide a c-d. para a y b en S. Sea: f(x)=x2. Lic. relacionado con ([a * b]).

([a’].por lo cual se deberá tener a * b R a’ * b’ . ) es un monoide. Luego se verificará que = [a * (b * c)] = [(a * b )* c] (por la propiedad asociativa de * en S) = [a * b] [c] = ([a ] [b]) [c] De aquí .*). Ejemplo # 3: Se define la siguiente relación en el semigrupo (Z. a R a’ y b R b’. Demostración.Se al lector demostrar que =(mod n) es una relación de congruencia en Z.S/R sea un semigrupo cociente o el semigrupo factor COROLARIO 1: Sea R una relación de congruencia en el monoide (S. a R b sí y sólo si n divide a a-b Se demostrará que R es una relación de equivalencia con n=2 .R se escribirá =(modn). una operación binaria en S/R. Supóngase que ([a].UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS (a) [b]. Por consiguiente. [b’]).ya que R es una relación de congruencia. Demostración.+). esto es. [b]) como [a] [b]=[a * b]. Si el idéntico en (S. ).entonces es fácil verificar que [e] es el idéntico en (S/R.Así. [b])=. es una operación asociativa.Se define la operación en S/R por [a] [b]=[a * b] entonces (S/R. Esto significa que es Lic.entonces 2=6 (mod 4) Ya que 4 divide a (2-6).*). Se tiene [a] ( [b] * [c])= [a] [b * c] es una función. [a * b]= [a’ * b’]. Por consiguiente.Por consiguiente si n=4. ) es un semigrupo. es una relación de S/R x S/R en S/R y es común denotar a ([a]. GUILLERMO MAS AZAHAUNCHE 412 . [a] (b) (S/R.

..6.. si n=6 [2] ⊕ [3]=[5] [3] ⊕ [5]=[2] Lic.}=[7}=[11]=...4..0.1.-3.15......[1]...-8.-4.7..=[6]=[10]=..3....5.UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS Ahora sea n=4 y se calcularán las clases de equivalencia determinadas por la relación de congruencia =(mod 4) en Z.9.8.} =[4]=[8]=.Se acostumbra denotar al conjunto cociente Z/=(mod n) como Zn..-7.. [3] = {..11.-5.. GUILLERMO MAS AZAHAUNCHE 413 . Estas son todas las clases de equivalencia que forman el conjunto cociente Z/=(mod 4).... Por consiguiente. [1] = {.[2].-1.[n-1] y que [a] ⊕ [b]=[r] donde r es el residuo de dividir a+b entre n.-6.14.10.....Ahora se determinará la tabla de adición para el semigrupo Z4 con la operación ⊕ ⊕ [0] [1] [2] [3] [0] [0] [1] [2] [3] [1] [1] [2] [3] [0] [2] [2] [3] [0] [1] [3] [3] [0] [1] [2] Los componentes de ésta tabla se obtienen de la ecuación [a] ⊕ [b]= [a+b] Por consiguiente [1] ⊕ [2]= [1+2]=[3] [1] ⊕ [3]= [1+3]=[4]=[0] [2] ⊕ [3]= [2+3]=[5]=[1] [3] ⊕ [3]= [3+3]=[6]=[2] se puede demostrar que Zn tiene n clases de equivalencias [0].Se obtiene [0] = {.13.} =[5]=[9]=...2.. [2] = {...Zn es un monoide con la operación ⊕ y el idéntico [0].}.-2.12..

Composición de funciones: Lic. Un grupo donde se verifique a  b = b  a para cualquier par de elementos a. En nuestro ejemplo. un grupo es un conjunto con una operación binaria asociativa. por eso se lo excluye).·) es grupo abeliano.b. Ejemplos:  (R. que posee inversos y elemento neutro.*). GUILLERMO MAS AZAHAUNCHE 414 . R es el conjunto de los números reales y + la suma usual. ). ) 1)  es cerrada en G 2)  es asociativa en G.*).UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS [3] ⊕ [2]=[0] A continuación se axaminará la conexión entre la estructura del semigrupo (S. Un grupo es finito o infinito si el conjunto es finito o infinito. cerrada. y el semigrupo cociente (S/R. GRUPOS Condiciones: (G.  (R-{0}.b en G se dice abeliano o conmutativo.+) es grupo. a  (b  c) = (a  b)  c para cualesquiera a. (Notar que el cero no tiene inverso multiplicativo. donde R es una relación de congruencia en (S.  (Zn. los formados con R son infinitos y el formado con Z n es finito..+) es grupo abeliano.c de G 3) ∃ e neutro en G para  : En A existe un elemento denotado por 1 que cumple 1 a = a  1 = a (elemento neutro) 4) ∃ a’ para cada a de G / a’ a = a a’ = e (a’es elemento inverso) Cuando además de ser grupo la operación es conmutativa. se dice que es Grupo Abeliano. En otras palabras.

 F1 es la identidad y funciona como neutro. El elemento neutro es la Identidad. Lic.  No es conmutativa.  La composición de funciones es asociativa. por lo tanto (F. decimos que S es un subgrupo de G. Inversos: F1’ = F1 F2’ = F3 F3’ = F2 F4’ = F4 F5’ = F5 F6’ = F6 SUBGRUPOS Si un conjunto S ≠ ∅ . como se puede observar en la tabla.k) ∈ g ∧ (x. Ejemplo: A 1 2 3 F1 1 2 3 F2 2 3 1 F3 3 1 2 F4 1 3 2 F5 2 1 3 F6 3 2 1 •  La operación es cerrada. ° ) es grupo no abeliano. Nótese que todo grupo abeliano tiene todos sus subgrupos abelianos. En el ejemplo anterior S = { F1. F2. constituye a su vez un grupo.  Cada elemento tiene inverso. GUILLERMO MAS AZAHAUNCHE 415 . La función inversa es la que conocemos habitualmente y decimos que la composición de F con G es otra función de pares (x. generalmente no es conmutativa. además abeliano. sin embargo un grupo no abeliano puede tener grupos abelianos o no abelianos. tiene a su vez estructura de grupo.y) / ∃ k: (x. incluido en G. F3} .UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS Es asociativa.y) ∈ F. puesto que F4° F3 = F5 y F3° F4 = F6.

que es G. Grupos de pocos elementos a) Grupos de un elemento: El único grupo de un elemento es el grupo trivial (neutro). F2} < F3> = { F2. Teorema de Lagrange Si un conjunto es finito. F1. F5} < F6> = { F1. F6} Todo conjunto tiene como mínimo dos subgrupos: el Subgrupo Trivial { e} y el Subgrupo Impropio. < F1> = { F1} < F2> = { F3. c) Grupos de tres elementos:  e a b e e a b a a b e b b e a Lic. Cualquier subgrupo que no sea el trivial ni el impropio se denomina Subgrupo Propio. de cardinal n y tiene un subgrupo de cardinal d. entonces d divide a n.UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS El Conjunto generado por un elemento es el conjunto que se obtiene operando un elemento consigo mismo como sea necesario hasta que empieza a repetirse. b) Grupos de dos elementos:  e a e e a a a e Cualquier conjunto que contenga al neutro y a otro elemento inverso de si mismo es subgrupo del dado. no tiene subgrupos propios. GUILLERMO MAS AZAHAUNCHE 416 . F1. F3} < F4> = { F1. En consecuencia si el cardinal de un grupo es primo. F4} < F5> = { F1.

b) La suma de clases es asociativa y conmutativa porque lo es la suma en Z. porque no existe elemento que genere a todos. por lo tanto son grupos cíclicos. debemos comprobar que b  b = c  c = a Grupos Cíclicos Decimos que un grupo es Cíclico cuando hay por lo menos un elemento que genera todo el grupo. GUILLERMO MAS AZAHAUNCHE 2’ = 10 3’ = 9 4’ = 8 417 5’ = 7 6’ = 6 . Ejemplo: (ℤn.UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS Si queremos encontrar grupos de tres elementos debemos buscar dos elementos que sean uno inverso del otro y que además el primero operado con si mismo de el segundo y viceversa. c) La clase del cero funciona como elemento neutro en base a la definición dada. El ejemplo de las funciones no es cíclico. ⊕ ) es un grupo abeliano. d) Grupos de cuatro elementos:  e a b c e e a b c a a e c b b b c a e c c b e a Si el subgrupo de cuatro elementos tiene un inverso de si mismo y una pareja. por lo tanto es cerrada. Los grupos cíclicos son siempre conmutativos. (Zn. ≡ 12 0’ = 0 1’ = 11 Lic. En todos los casos el elemento 1 genera a todos los demás. ⊕ ) a) Por definición la suma de clases es otra clase. d) Cada clase x tiene su inverso en la clase n-x e) Para cualquier n.

Si un grupo tiene cardinal infinito para probar que es un subconjunto es subgrupo de él. si n es un número primo entonces (Zn -{ 0} . Si el cardinal del grupo es finito.3.11. GUILLERMO MAS AZAHAUNCHE .13} • 1 3 5 9 11 13 1 1 3 5 9 11 13 3 3 9 1 13 5 11 5 5 1 11 3 13 9 1’ → 1 9 9 13 3 11 1 5 11 11 5 13 1 9 3 13 13 11 9 5 3 1 2’ → No 418 Lic. ⊗ } INV = { 1. que es absorbente para el producto. Ejemplo: { Z14 -{ 0} . ⊗ ) tiene estructura de grupo. para probar que un subconjunto es subgrupo basta mostrar que la operación es cerrada en él.UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS Los números coprimos con n generan todo el conjunto. veremos que algunos elementos tienen inversos. debemos retirar la clase del 0.5. Los divisores de n generan al conjunto de sus múltiplos que constituyen subgrupos. El elemento neutro es la clase del 1 y los inversos los encontramos en la tabla correspondiente.9. En las clases Zn con el producto de clases. El conjunto de estos elementos es con el producto un grupo abeliano. debemos probar que la operación es cerrada. En Zn con el producto cuando n no es primo. que existe neutro y que cada elemento tiene inverso.

UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS 3’ → 5 7’ → No 13’→ 13 Subgrupos: { 1.9. entonces k’ por pertenecer a h y k pertenece a la intersección. b ∈ G Congruencia modulo H a derecha. 4) Si H pertenece a la intersección es porque pertenece a H grande. y un subgrupo H de él. GUILLERMO MAS AZAHAUNCHE 419 . pertenecen a k.11} { 1. que por ser subgrupo contiene a H1 con H2. por lo tanto pertenece a la intersección.3. Congruencia Módulo H Dado un grupo G. 3) La asociatividad se hereda de un grupo grande a cualquier conjunto. y como k es un subgrupo contiene a H1  H2. definimos la relación Congruencia Módulo H en G de la siguiente manera: a ≡ h b ⇔ a’  b ∈ H ∀ a. a) a ≡ h a a’  a = e ∈ H Es reflexiva b) a ≡ h b ⇒ a’  b ∈ H ⇒ (a’  b’) ∈ H ⇒ b’  (a’)’ ∈ H ⇒ b’ a ∈ H ⇒ b ≡ h a c) a ≡ h b ⇒ a’  b ∈ H b ≡ h c ⇒ b’  c ∈ H Lic. y por lo tanto a la intersección.13} { 1. pero H pertenece también a k. que por ser subgrupo contiene a k’. eso significa que ambos pertenecen a H. El neutro pertenece a ambos subgrupos. Por pertenecer H1  H2 a ambos conjuntos pertenece a la intersección.5} → No válido { 1} 4’ → No 9’ → 11 Intersección de subgrupos: 1) Sean H1 y H2 elementos pertenecientes a la intersección de h y k. 2) Por pertenecer ambos a la intersección. b ∈ G Congruencia modulo H a izquierda. a ≡ h b ⇔ a  b’ ∈ H ∀ a. que por ser subgrupo contiene a H’.

UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS Queda demostrado que ≡ h es de equivalencia. La clase del neutro es el subgrupo H. G’. 3 . 5 . por lo tanto. 9 } mediante la ¿Probar que 5 5 1 7 4 3 7 7 7 4 1 1 7 1 9 9 1 7 5 9 3 Lic. Si está definido un grupo en ese mismo grupo es un Endomorfismo. por lo tanto produce en G una partición en clase de equivalencia. es un Automorfismo. Sea el semigrupo Q . porque ∀ elemento de H ° e es un elemento de H. y si además es biyectiva. entonces es un Monomorfismo. Homomorfismos Sean dos grupos G. EJERCICIOS DE APLICACIÓN a c 1. 2 . definida en G → G’ es un Homomorfismo ⇔ f (a  b) = f (a)  f(b). Dada la operación * definida en el conjunto tabla de doble entrada: * 1 2 3 1 1 2 3 2 2 3 1 3 3 2 5 5 5 1 3 7 7 5 3 9 9 5 1 Analizar si la operación * es: a) De Clausura b) Idempotente c) Conmutativa d) Si existe elemento neutro e) Si existe elemento inverso equivalencia (Q . Si f es inyectiva. GUILLERMO MAS AZAHAUNCHE 420 . y el índice del subgrupo se obtiene efectuando # G / # H. Si f es sobreyectiva es un Epimorfismo. 7 . + con b R d ⇔ ad = bc ( ) 2. + ) es de A = {1 . La partición que produce es regular. cada clase tiene tantos elementos como el subgrupo H. Si f es biyectiva es un Isomorfismo. decimos que f. si G ≠ ∞ . de # n y H tiene # q ⇒ la cantidad de clases de equivalencias es n/q.

g h = a . d .. ⋅ ? 7. b... g2 =   g1 =  1 3 2  3 2 1     . f 3 . dg =b .Dado el triángulo dado en la figura dada Donde las funciones de permutación son: 1 2 3   1 2 3  .Sea G = { e . es de orden 2. f g =c . ∧ B = a . f1 =  1 2 3   2 3 1     1 2 3  f3 =  3 1 2    1 2 3  g3 =   2 1 3   1 2 3   1 2 3  . b .UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS 3. f 2 . g . ⋅ y f : Z + → Z + / f x = 2 2 x ¿Es un homomorfismo de Z + . 2 ..Dados los conjuntos: A = 1 .Consideremos las estructuras Z + .. c se define las operaciones binarias: * y % en los conjuntos A y B respectivamente mediante: * 1 2 3 Si f(1) = b f(2) = a 1 1 2 3 f(3) = c 2 2 3 1 3 3 1 2 ¿Analizar si A .Que axiomas se deben cumplir para que G sea un anillo conmutativo? () ( ) ( ) ( ) ( ) 8. GUILLERMO MAS AZAHAUNCHE 421 . g 3 mediante una tabla de multiplicar { } Lic.Definimos la operación * mediante la propiedad: Analizar si la operación es: a) Idempotente b) Conmutativa c) Asociativa d) Si existe el elemento neutro e) Determinar si existe el inverso a∗b = a + b − 2ab.. dh=c . y tal que: d f =a . salvo la identidad. 4.% son isomorfos? % a b c a c a b b a b c C b c a { } { } ( ) ( ) 5.+ en Z + . f2 =   . f h=b . Representar la operación ∗ sobre el conjunto S 3 = f 1 . g 2 .3 .+ en Z + . f . 6. Diséñela. a . Estas relaciones son suficientes para que usted escriba la tabla del grupo. * ∧ B . c . h } un grupo abeliano de 8 elementos en el que todo elemento. g1 .

Este monoide consta de todas las secuencias finitas (“cadenas” o “palabras”) de I. cuya construcción se recordará de la sección 9.2. SEMIGRUPOS.UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS 9.. En primer lugar se encuentra el monoide libre I* sobre el conjunto de salidas I. TABLAS Y MAQUINAS DE ESTADO FINITO El tema que a continuación vamos a ver es muy importante para entender y razonar el trayecto de cómo se manipulan las cadenas o palabras en un programa de conmutación. MÁQUINAS Y LENGUAJES. que consta de todas las funciones de S en S. t ) = ( y z + x .∗) ( x . S1. es un grupo no abeliano.F) una máquina de estado finito con conjunto de estados S={S0. La identidad es la cadena vacía Λ. Sea M = (S.. Se asociará a M dos monoides.. que son propiamente dadas por una base de datos. con la composición de funciones como operación binaria. Lic. y t ). vistas.Sn}. En segundo lugar. pero también nos va a servir para aprender mas de lo que es una base de datos.I. con la concatenación como operación binaria.. etc. La identidad de Ss es la función 1s dada por 1s (s) = s. y )∗ ( z . se tiene monoide Ss. Guillermo Mas Azahuanche 422 . para luego descubrir que un campo es un conjunto de cadenas o palabras que tienen un valor clave en la base de datos para luego relacionarlas con formularios. conjunto de entrada I y funciones de transición de estados F={fx | x ∈I}. Este tema va servir de modelo para realizar los siguientes puntos de los siguientes capítulos del libro de matemáticas discretas.En R × R* Demostrar se define la siguiente ley *: * (R × R .. tenemos en cuenta que una base de datos esta compuesta por un conjunto de tablas en el cual una tabla o registro es un conjunto de campos y todos esto vendría a ser un archivo. Pero en este tema nos va a interesar cono sé interactúan las palabras o cadenas de una máquina empleando el razonamiento inverosímil del propio programa que se encarga de avisar con mensaje al computador en base de semigrupos. consultas. para todas en s en S.

Se dice que fw es la función de transición de estados correspondiente a w.s1.. Lic. si la maquina tiene un tamaño moderado. Considérese la misma maquina M del ejemplo 1 y examínese el problema de calcular fw de manera un poco distinta. De manera análoga. Entonces Fw (so) = (f1 ° f1 ° f0)(S0) = f1( f1( f0(s0))) = f1( f1( s0)) = f1(s1) =s2.. y la entrada final de 1 lleva a s2.s2]. Ejemplo 1. la composición de las funciones fxn. De esta forma.° fx1.. La entrada 1 siguiente lleva al estado s1. Y Ejemplo 2.. donde S=[ s0. Sin embargo. Sea M = (S.fx1. se asigna un elemento fw de Ss con cada elemento w de I*. entonces fw representa el efecto combinado de todas las letras de entradas sobre la palabra w. recibidas en el orden especificado por w. I=[0. s0 s1 s2 s0 s2 s1 s1 s2 s0 Sea w = 011 E I*. Fw (s1) = f1( f1 (f0( s1))) = f1 (f1 (s2)) = f1 (s0) = s1 Fw (s2) = f1 (f1 (f0(s2))) = f1 (f1 ( s1) ) = f1 ( s2) = s0. se usa la definición de manera directa. . Guillermo Mas Azahuanche 423 . Así para calcular fw(s0).xn E I* . Se comenzaría por trazar el digrafo de la maquina M como en la figura 1. tal vez sea preferible otro procedimiento. se comienza en el estado s0 y se observa que la entrada 0 lleva al estado s0.I.1] y F esta dada por la 0 1 siguiente tabla de transición de estados. sea fw = fxn ° fxn-1 °.F).UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS Si w= x1x2.. fw(s0) =s2. En el ejemplo 1. Así. fxn-1. Si se piensa cada fx como el efecto de la entrada x sobre los estados de la maquina M.Se utiliza este digrafo para calcular las funciones de transición entre las palabras siguiendo las aristas correspondientes a las transiciones de las letras de entrada..Tambien se define fΛ como 1s.. y para una maquina de gran tamaño se programaría un algoritmo para calcular los valores de fw justo de esa forma. como antes.

. 1s ∈ M.. El monoide M es el monoide de la máquina M. donde w’ = 01011. (a) Si w1 y w2 están en I*. M es un submonoide de Ss.o fy1)o (fxk o fxk-1 o. Se define una función T de I* en Ss. Si w es una cadena en I*.. Este método de interpretación de las funciones de transición de palabras como fw y fw’ es útil al diseñar máquinas que tienen transiciones de palabra con ciertas propiedades deseadas. Demostración: (a) Sean w1= x1x2..ym dos cadenas en I*. De modo que fw’(S0)= S1.. Un análisis similar muestra que fw’(S1)= S2 y fw’(s2)=S0. Teorema 1. T es un homomorfismo de monoides. Entonces T(w1. Como 1s= T(Λ). Lic.1 0 S2 Calcúlese fw’. (b) Si M= T(I*).xk y w2= y1y2.. Este es un paso crucial en la aplicación práctica de la teoría. por definición. Entonces... M es un subsemigrupo de Ss. Sea M=(S. Así.o fx1)= T(w2) o T(w1). y será considerado en la siguiente sección. Las transiciones sucesivas de S0 son 0 1 0 1 1 S0  S0  S1  S2  S0  S1.UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS 0 1 S0 1 S1 0. Así.I... se obtiene el siguiente resultado...ym)= (fym o fym-1 o. entonces T(w1. sea T(w)= fw como se ha definido anteriormente. Así. Además.. Guillermo Mas Azahuanche 424 ... entonces f o g y g o f están en M.. T(Λ)= 1s.w2)= T(x1x2.. entonces M es un submonoide de Ss..w2)= T(w2) o T(w1)..F) una máquina de estado finito. (b)La parte (a) muestra que si f y g están en M..xky1y2..

Lic. fbad (s0)= s1. (fadd o fbad) (S0) = fadd(fbad(S0)) = fadd (S1) = s0 (fadd o fbad) (S1) = fadd (fbad (S1)) = fadd (S1) = s0 (fadd o fbad) (S2) = f add (fbad (S2)) = fadd (S1) = s0.b.35. S1. a S0 d S1 d S1 Así. Un cálculo similar muestra que Fbadadd(S0) = S0’ fbadadd(S1) = S0’ fbadadd(S2) = S0 Las mismas fórmulas son válidas para fadd o fbad. S2} e I= {a. b d b a fadd o fbad = fbadadd a S0 d Solución: S1 b. Calcule las funciones fbad’ fadd y fbadadd y verifique que: a.F} definida mediante el digrafo de la figura 2. Considere la máquina de estado finito M= { S. fbad(s1)= s1 y fbad (s2)= s1.d}. Muestre que fw(s0) = s0 si y sólo si tienen 3n unos para algún n > 0. para fadd’ a d S0 a S1 a S2 d S0 d S1 S1 d S0 d S0 d S2 S1 S0’ S2 De modo que fadd(si)= s0 para i=0. Sea S={ S0. Guillermo Mas Azahuanche 425 .1. Considere la máquina cuya gráfica aparece en la figura 10. Ejemplo 4. De manera que análoga. d S2 Se calcula fbad mediante la siguiente serie de transiciones: b So b S1 b S2 S1 S1 a S2 S0 a S2 d S1.UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS Ejemplo 3. De hecho.2.I.

Para cada n > 0. Sea l(w) la longitud de w. m=1. Así si w es w con todos los ceros eliminados. es decir. considere la proposición: P(n): Sea w e I* y sea l(w)=m. Se demostrará por inducción matemática que P(n) es verdadera ∀n>0 Paso Básico. Entonces l( w ) es el número de unos en w E I*. entonces f w(s0) = s1. En el caso (a). por lo tanto.35. se observa que f0 = 1s’ de modo que los ceros en una cadena w e I* no influyen sobre fw’.UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS 0 0 S0 1 S1 1 1 S2 0 Solución: De la figura 10. W no tiene unos y FW(S0)=1S(S0)=S0. entonces fw(s0) = s2. Sea n=0. Por último. el número de dígitos en w. entonces fw(s0) = s0. Guillermo Mas Azahuanche 426 . En el caso (b). (c) Si m = 3n + 2. (a) Si m = 3n. de modo que w = 1 y fw(s0)=fw(s0)=f1(s0)=s1. m=2 de modo que W=11 y fw (s0) 11(s0) =f1(s1)=s2 = fw (s0) = f Lic. (b) Sí m = 3n + 1. en el caso ( c ). m=0. entonces fw = fw.

Los casos (b) y (c) son analizados de igual manera. por lo tanto w=w’ 111. Por ejemplo. Lic. b S0 b S1 b S2 MAQUINAS DE ESTADO FINITO: Son modelos abstractos de máquinas con una memoria interna primitiva. Sea w e I*. Se debe mostrar que P(k) P(k+1) siempre es verdadero. de modo que fw(s0)=S0 si y sólo si el número de unos en w es múltiplo de 3. para que una cadena w provoque una transición de s0 a s2’ w debe contener al menos dos b. Un autómata de estado finito es un tipo particular de máquina de estado finito que está íntimamente ligada a u tipo particular de lenguaje. Considere la máquina de Moore cuyo digrafo aparece en la figura 10.T) la máquina de Moore donde (S. Ejemplo 6. y T={S2}. Supóngase que P(k) es verdadero para alguna k>0.35. Observe que. I. L(M) es precisamente el conjunto de todas las cadenas con 3n+1 unos para alguna n>0. Por inducción matemática P(n) es verdadero para toda n>0. Ejemplo 5. se observa que faabaa(s0)=s1’ de modo que aabaa es rechazada. Así. ¿Qué es L(M)? Es claro que el conjunto de entradas es I={a.35 y T={s1}. donde l(w’)=3k. Entonces fw(s0)=S0 por la hipótesis de inducción. Sea M=(S. I. s0.UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS Paso Inductivo. Por otro lado fabaab(s0)=s2’ de modo que abaab es aceptada. P(k+1) es verdadero. Así.F. Después de alcanzar a s2’ cualquier letra adicional no tiene efecto alguno. así. En este caso. F) es la máquina de estado finito cuyo digrafo aparece en la figura 10. y se denota l(w) por m. L(M) es el conjunto de cadenas con dos o más b. a a.b}. Guillermo Mas Azahuanche 427 . y f111(s0) por cálculo directo. a. m=3(k+1)=3k+3.de modo que fw(s0)= fw’(f111(s0))=fw’(s0)=s0. s0 es el estado inicial. En el caso (a). El análisis del ejemplo 4 muestra que fw(s0)=s1 si y sólo si el número de unos en w es de la forma 3n+1 para alguna n>0.

La identidad de S * es la función I S dada por I S (S ) = S . Guillermo Mas Azahuanche 428 . Si se piensa cada f x como efecto de la entrada x sobre los estados de la máquina M. Este monoide consta de todas las secuencias finitas (“cadenas” o palabras) de I. conjunto de entrada I y funciones de transición de estados F = { f x / x ∈ I }. debido a que en cada etapa de un Lic. Alan Turín contestó a la cuestión planteada por David Hilbert sobre si las matemáticas son decidibles. se s asigna un elemento f w de S con cada elemento de w de I * . entonces f w representa el efecto combinado de todas las letras de entradas sobre la palabra w. si hay un método definido que pueda aplicarse a cualquier sentencia matemática y que nos diga si esa sentencia es cierta o no. S n }. Se dice que f w es la función de transición de estados correspondiente a w Máquinas de Turing En 1936. En el artículo On Computable Numbers. * Si w = x1 x 2  x n ∈ I . y demostró que había problemas tales que una máquina no podía resolver. La identidad es la cadena vacía Λ. Turing construyó un modelo formal de computador.es decir.UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS Sea M = (S . f x1 también se define f Α como I S . I . con la composición de funciones como operación binaria. cuya construcción se ha visto anteriormente. recibidas en el orden especificado por w. De esta forma. la Máquina de Turing. que consta de todas las funciones de S en S.  . f xn −1 . La máquina de Turing es el primer modelo teórico de lo que luego sería un computador programable.. F ) una máquina de estado finito con conjunto de estados: S = {S 0 . Con el tiempo a este tipo de máquina se la conoció como máquina de estado finito. con la concatenación como operación binaria. para todas de en S en . sea f w = f xn  f xn −1    f x1 la composición de las funciones f xn . En segundo lugar. S1 . Se asociará a M dos monoides. En primer lugar se encuentra el monoide libre I * sobre el conjunto de salidas I. se tiene el monoide S * .

si i=1. . Estos signos se introducen en las células.Una cinta ilimitada por sus dos lados. y por el otro el estado interno en el que está la máquina. En definitiva. cuyas acciones están especificadas en términos matemáticos. la dirección de la célula observada puede cambiar en no más de una unidad. . se contemplará la vecina de la derecha (D). se borra lo que había en esa célula. s1 = Λ. que forman el alfabeto exterior. La máquina de Turing consiste de: .sh .. q2 . la célula no cambia. Una máquina de Turing es una máquina idealizada para el procesamiento de información. y dividida en células. Definición.El funcionamiento de la máquina se realiza en unidades consecutivas de tiempo.. Guillermo Mas Azahuanche 429 .Un número finito de estados internos diferentes. que borra el signo que había antes en una célula. es decir. . entre ellos se encuentra el signo vacío . Como máximo puede haber un signo exterior en cada célula .La Unidad Lógica tiene tres canales de salida: El primero para la salida de la cinta donde se ha modificado el dato de entrada si.. o la misma célula del tiempo anterior (M). Descripción. es un dispositivo que lleva a cabo un procedimiento de cálculo definible en términos finitos.La Unidad Lógica tiene dos canales de entrada.Un número finito de signos s1. la siguiente acción de la máquina se contrastaba con una lista finita de instrucciones de estado posibles. por uno de ellos entra el dato externo que lee en la cinta. . y no un objeto físico. en el que se cifran los datos introducidos en la máquina y los datos finales de la máquina. Si i=j . la vecina de la izquierda (I). la Unidad Lógica sustituye el símbolo observado si por otro signo sj.Después de observar una célula de la cinta de datos. s2 .UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS cálculo. .. el segundo indica el estado Lic. y deja la célula vacía. qm . Es un elemento de “matemática abstracta”. . que se representarán por q1 .. Cuando se pasa de una unidad de tiempo a la siguiente.

. I. . D. .Dependiendo de los datos iniciales puede ocurrir: a) Después de un número finito de tiempos. en este caso se dice que la máquina no es utilizable para la información inicial. Cambia el estado interno e Indica hacia dónde mover la cinta Un esquema funcional de lo que sería una máquina de Turing nos lo da el siguiente ejemplo: Supongamos que la máquina está en un estado interno inicial q1 . .UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS interno en el que debe situarse la máquina. en este caso se dice que la máquina es utilizable para la información inicial. constituyen el alfabeto interno de la máquina. En cada instante de tiempo. I ó M. El funcionamiento de la máquina sería el siguiente: Lic.. q2 . . la máquina se para. M.Los signos D. Guillermo Mas Azahuanche 430 . introducidos en la cinta como datos de entrada iniciales. Se dice que la máquina resuelve cierta clase de problemas. qm . la máquina: 1º Lee la entrada de la cinta y Lee el estado interno en que se encuentra 2º Cambia la entrada de la cinta. y que se dispone a leer el segundo de cinco “unos” consecutivos. si siempre es utilizable para la información de cada problema de ese tipo. el tercero para indicar cuál será el siguiente dato a leer de la cinta de entrada. q1 . b) La información de parada no aparece. qi .

S. 99 / / . 3. ¿Cuál es el resultado obtenido por la máquina 1 cuando actúa sobre 3592. 99.UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS Se observa que la parada de la máquina tendrá lugar bajo las condiciones de que en cierta etapa del proceso surja el estado q5. Para simplificar la tabla. 1. 2. Guillermo Mas Azahuanche 431 . !} Ejercicios Propuestos 1. 7. 9. s1 . El estado de parada se notará por ! Veamos algún ejemplo de cómo construir máquinas de Turing que realicen algunos algoritmos aritméticos sencillos. 5. conjunto de estados S = { so . G) una máquina de estado finito con alfabeto de entrada A = { + . desde el estado q0 situado en el último dígito? ¿y cuando actúa sobre 3592 / . 4. F. desde el estado q1 situado en la última barra? ¿Cuál crees que es el objetivo de la máquina 1 ? Máquina 1. Z. También se omitirá el signo M que indica la falta de movimiento de la cinta. x} . por comodidad de notación pueden omitirse en la tabla. 8. Sea M = (A. Problema.1} y funciones F de estados y G de salida definidas por la tabla de estados: Lic. 6. Λ. 389 / / / / / . que representa el estado de parada. / } Estados internos = {q0. acordamos que cuando los signos de entrada no se diferencian de los de salida. esto permite omitir por completo la última columna del último ejemplo. s2 } . q1. Alfabeto exterior = {0. alfabeto de salida Z = {0. 389. que corresponde al estado de parada.

encontrar la cadena de salida y la cadena de estados.8}.2.UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS S so s1 s2 F + s1 s2 s1 x s2 s1 s0 G + 1 0 1 x 0 1 0 Si el estado inicial es so : a) b) Representar la máquina M mediante un diagrama.6. de estados. Z. S.b. Guillermo Mas Azahuanche . Dadas las siguientes máquinas de estado finito: M S S1 S2 S3 S4 S5 S6 F 0 S2 S1 S2 S6 S2 S4 1 S3 S5 S5 S3 S3 S5 G 0 0 1 1 0 1 1 M’ S’ T1 T2 T3 T4 F’ 0 T2 T1 T2 T2 G’ 0 0 1 1 0 1 1 0 1 1 1 0 1 T3 T4 T4 T3 1 1 0 1 1 a) Hacer los diagramas correspondientes a cada una de las máquinas b) Establecer una función suryectiva que permita que la máquina M’ cubra a la máquina M y luego probar que la función encontrada es en realidad un cubrimiento.c} . conjunto de estados S = {1. F.7. Dada la máquina de estados finitos: M S 0 1 2 F b 2 2 3 G b 0 1 1 a 2 2 2 c 7 6 2 a 0 1 1 c 0 0 0 432 Lic. de salida.4.3. G) con alabeto de entrada A = {a. definidas por la tablas: M F G S a b c a b c 1 3 8 2 * 1 0 2 7 5 3 0 * 1 3 1 7 5 * 1 0 4 4 8 2 * 1 0 5 8 2 1 0 * 1 6 5 6 7 * 1 0 7 5 8 6 0 * 1 8 2 7 6 0 * 1 4. Minimizar la máquina M = (A. Si la cadena de entrada es: + xx + x ++ x . 2. 3. alfabeto de salida Z = {0.*} y funciones F. y G.1.5.

Guillermo Mas Azahuanche 433 . Dada la máquina de estados finitos: Lic. 6. 5. Sea M una máquina de estados finitos definida por : M S 0 1 2 3 4 5 6 7 8 9 10 F b 0 2 0 5 4 9 6 4 6 1 1 G b 0 0 0 1 0 1 1 0 1 0 1 a 0 1 0 7 4 3 6 4 8 1 1 c 0 1 1 7 7 3 8 7 8 5 6 a 0 0 0 1 0 1 1 0 1 0 1 c 1 1 1 0 1 0 1 1 1 1 1 Encontrar M . M S 0 1 2 3 4 5 6 7 8 9 F a 0 2 0 5 4 9 6 4 6 9 b 0 1 1 3 7 3 8 7 8 5 a 1 1 1 0 1 0 0 1 0 1 G b 0 0 0 1 0 1 0 0 0 0 7. Hallar la función que define el cubrimiento entre la siguiente máquina y su máquina mínima.UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS 3 4 5 6 7 8 9 2 8 5 4 7 5 9 2 6 5 1 7 5 7 3 8 8 4 9 8 9 1 0 1 0 0 1 0 1 0 1 0 0 1 0 0 1 0 1 0 0 0 Hallar M la máquina mínima de M y encontrar la función que define el cubrimiento de M por M . la máquina mínima de M y hallar la función que define el cubrimiento de M por M .

a 6 8 3 7 4 4 1 2 F b 4 6 7 1 5 7 6 7 c 2 4 1 8 6 5 5 1 a + * * + * + + * G b * x x * x * * x c x + + x + x x + Encontrar la partición correspondiente a la relación de 2-equivalencia en el conjunto de estados. Guillermo Mas Azahuanche 434 . Hallar M la máquina mínima de M . b) La tabla que define las funciones de estado siguiente y de salida de la máquina de estado finito descrito en forma gráfica de la máquina de b/ 1 la figura . Demostrar que la relación de cubrimiento de máquinas es reflexiva y transitiva. Demostrar que M1 y M2 no son isomorfas . 10.UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS M S 1 2 3 4 5 6 7 8 a) b) c) d) 8. Dadas las máquinas de estados finitos M1 y M2 : M1 S1 a b a) b) F1 0 a b 1 b a 0 0 0 G1 1 1 1 M2 s2 x y F2 0 y x 1 y x 0 0 0 G2 1 1 1 Demostrar que M1 y M2 son equivalentes .Si se da la tabla de una máquina de estado finito: Lic. Determine: a) El conjunto finito A de símbolo de entrada. Un conjunto finito Z de símbolos de δ 0 salida.. a) b) 9. Demostrar que la equivalencia de máquinas es una relación de equivalencia. c) Determine la cadena de salida para la cadena de entrada: Bbababbabaaa. Un conjunto finito S de estados internos. Hallar una función que defina el cubrimiento de M por M . En forma recursiva para la máquina dada en la parte (b) a/ 0 δ a/ 1 b/ 0 b/ 0 1 a/ 0 δ 2 δ a/ 0 3 b/ 0 11. Encontrar la partición correspondiente a la relación de 5-equivalencia en el conjunto de estados.

/ Sug. b)La tabla que define las funciones de estado siguiente y de salida de la máquina de estado finito descrito en la máquina. Use el teorema: Sea s i . a ) ≅ f (s j . s j ∈ S . a ) . Determine: a) El conjunto finito A de símbolo de entrada.UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS Estado presente S0 S1 S2 S3 S4 S5 Entrada Salida 0 1 0 1 S5 S3 0 1 S1 S 4 0 0 S3 0 S1 0 S1 S 2 0 0 S5 S 2 0 1 S1 0 1 S4 Se pide: a) Describa el estado finito de la máquina en forma gráfica. A B a/0 b/1 forma gráfica de c. Un conjunto finito S de estados internos. c) Describa el estado finito de la máquina equivalente en forma gráfica. 12. S 4 ≅ S 5 . ′ S 3 = S 5 . f (si . La máquina equivalente será de cuatro salidas. b) Encuentre la máquina equivalente. Use: S 0 ≅ S 0 ≅ S 4 . Determine la cadena de salida para la cadena de entrada: aabbabaab para la máquina dada en la parte (b) b/0 a/0 b/1 C a/1 Lic. Guillermo Mas Azahuanche 435 . k k +1 k ′ S 2 ≅ S 2 ≅ S3 . Un conjunto finito Z de símbolos de salida. Entonces S i ≅ S j si solo si S i ≅ S j para todo ′ ′ a ∈ I .

.

UNIVERSIDAD NACIONAL DEL CALLAO ESCUELA DE POST GRADO DE INGENIERIA DE SISTEMAS Profesor: GUILLERMO MAS AZAHUANCHE 1 .