Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 197 vistas

    Demostraciones Operacion Asterisco

    Cargado por

    Jorge Alberto Cabrero
    Este documento presenta demostraciones de propiedades de la operación asterisco sobre conjuntos de cadenas. Se demuestra que A*A* = A*, A** = A*, A* = {ε} ∪ AA* = {ε} ∪ A*A, y que ∅* = {ε}.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    Demostraciones Operacion Asterisco

    Cargado por

    Jorge Alberto Cabrero
    197 vistas5 páginas
    Este documento presenta demostraciones de propiedades de la operación asterisco sobre conjuntos de cadenas. Se demuestra que A*A* = A*, A** = A*, A* = {ε} ∪ AA* = {ε} ∪ A*A, y que ∅* = {ε}.

    Descripción original:

    Demostraciones de las propiedades de la operación asterisco.

    Título original

    Demostraciones_operacion_asterisco

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta demostraciones de propiedades de la operación asterisco sobre conjuntos de cadenas. Se demuestra que A*A* = A*, A** = A*, A* = {ε} ∪ AA* = {ε} ∪ A*A, y que ∅* = {ε}.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    197 vistas5 páginas

    Demostraciones Operacion Asterisco

    Cargado por

    Jorge Alberto Cabrero
    Este documento presenta demostraciones de propiedades de la operación asterisco sobre conjuntos de cadenas. Se demuestra que A*A* = A*, A** = A*, A* = {ε} ∪ AA* = {ε} ∪ A*A, y que ∅* = {ε}.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    de 5

    Operaciones de cadenas y operaciones de

    conjuntos de cadenas
    Lenguajes Formales y autómatas
    Maestrı́a en Ciencias de la Computación
    Otoño 2020

    Jorge Alberto Cabrero Dávila


    18 de agosto de 2020

    Resumen
    Demostraciones propiedades de la operación asterisco

    1. Índice de demostraciones
    1. A∗ A∗ = A∗

    2. A∗∗ = A∗

    3. A∗ = {} ∪ AA∗ = {} ∪ A∗ A

    4. ∅∗ = {}

    1.1. Demostración A∗ A∗ = A∗
    Recordemos que la definición igualdad en conjuntos es:

    A = B ⇐⇒ A ⊆ B ∧ B ⊆ A (1)

    1
    Entonces se debe demostrar A∗ A∗ ⊆ A∗ y A∗ ⊆ A∗ A∗ .

    Demostración A∗ A∗ ⊆ A∗ :

    Sea x ∈ A∗ A∗ → ∃ cadenas w,y tales que x = wy y w ∈ A∗ y y ∈ A∗

    Entonces podemos escribir:

    w = z1 z2 ...zn con n ≥ 0 , zi ∈ A , 1 ≤ i ≤ n
    y = k1 k2 ...km con m ≥ 0 , ki ∈ A , 1 ≤ i ≤ m

    Talque x puede verse como:

    z1 z2 z3 ...znk1 k2 ...km con n + m ≥ 0 , zi , ki ∈ A , 1 ≤ i ≤ m ∨ n


    Entonces x ∈ A∗ ∴ A∗ A∗ ⊆ A∗

    Demostración A∗ ⊆ A∗ A∗ :

    Sea x ∈ A∗ , entonces x = x1 x2 ...xk xk+1 ..xn con n ≥ 0 , xi ∈ A ,


    1≤i≤n

    Sean: w = x1 x2 ...xk y y = xk+1 xk+2 ...xn

    entonces w ∈ A∗ y y ∈ A∗

    entonces x = wy, x ∈ A∗ A∗ ∴ A∗ ⊆ A∗ A∗

    ∴ A∗ A∗ = A∗

    1.2. Demostración A∗∗ = A∗


    Por demostrar A∗∗ ⊆ A∗ y A∗ ⊆ A∗∗

    Demostración A∗∗ ⊆ A∗ :

    2
    Sea x ∈ A∗∗ . Entonces x se puede escribir como:

    x = a1 a2 a3 ...an con n ≥ 0 , ai ∈ A∗ , 1 ≤ i ≤ n

    Pero para cada ai ∈ A∗ , ai se puede escribir como:

    ai = β1 β2 β3 ...βmi con βmi ≥ 0 , βk ∈ A , 1 ≤ k ≤ mi

    Entonces x se puede escribir como concatenación de cadenas en A.

    Entonces x ∈ A∗ → A∗∗ ⊆ A∗

    Demostración A∗ ⊆ A∗∗

    Sea x ∈ A∗

    Entonces x = a1 a2 a3 ...an con n ≥ 0 , ai ∈ A , 1 ≤ i ≤ n

    Pero como A ⊆ A∗ (porque A∗ es la unión de todas la potencias de


    A).

    Entonces si ai ∈ A → ai ∈ A∗

    Entonces x = a1 a2 a3 ...an con n ≥ 0 , ai ∈ A∗ , 1 ≤ i ≤ n

    Entonces x ∈ A∗∗ ∴ A∗ ⊆ A∗∗

    ∴ A∗∗ = A∗

    1.3. Demostración A∗ = {} ∪ AA∗ = {} ∪ A∗ A


    Demostraión A∗ = {} ∪ AA∗
    ∞
    A∗ = Ai
    S
    i≥0
    ∞
    Ai = A0 ∪ A1 ∪ A2 ∪ ...
    S
    ⇐⇒
    i≥0

    ⇐⇒ A0 ∪ A1 ∪ A2 ... = {} ∪ A1 ∪ A2 ∪ ...

    3
    ∞
    ⇐⇒ {} ∪ A1 ∪ A2 ∪ ... = {} ∪ [ Ai ]
    S
    i≥1
    ∞
    Ai ] = {} ∪ AA∗
    S
    ⇐⇒ {} ∪ [
    i≥1

    ∴ A = {} ∪ AA∗
    ∗

    Demostración A∗ = {} ∪ A∗ A

    Ya demostramos en el paso anterior que A∗ = {} ∪ AA∗

    Entonces Partimos de A∗ = {} ∪ AA∗


    ∞
    ⇐⇒ {} ∪ AA∗ = {} ∪ A[ Ai ]
    S
    i≥0

    (por la propiedad distributiva de la concatenación)


    ∞
    ⇐⇒ {} ∪ A[ Ai ] = {} ∪ AA0 ∪ AA1 ∪ AA2 ∪ ...
    S
    i≥0

    ⇐⇒ {} ∪ AA0 ∪ AA1 ∪ AA2 ∪ ... = {} ∪ A1 ∪ A2 ∪ A3 ∪ ...

    ⇐⇒ {} ∪ A1 ∪ A2 ∪ A3 ∪ ... = {} ∪ A0+1 ∪ A1+1 ∪ A2+1 ∪ ...

    ⇐⇒ {} ∪ A0+1 ∪ A1+1 ∪ A2+1 ∪ ... = {} ∪ A0 A ∪ A1 A ∪ A2 A ∪ ...


    ∞
    ⇐⇒ {} ∪ A0 A ∪ A1 A ∪ A2 A ∪ ... = {} ∪ [ Ai ]A
    S
    i≥0
    ∞
    Ai ]A = {} ∪ A∗ A
    S
    ⇐⇒ {} ∪ [
    i≥0

    ∴ A = {} ∪ AA∗ = {} ∪ A∗ A


    ∗

    1.4. Demostración ∅∗ = {}


    ∅ es el conjunto que no tiene elementos, es decir el conjunto vacı́o.

    Sabemos que A∗ para cualquier conjunto A (vacı́o o no vacı́o), se construye


    a partir de un número finito de cadenas de A y concatenándolas.

    4
    Entonces si se toman 0 cadenas (como en el conjunto vacı́o) y se conca-
    tenan el resultado es {}, esto se cumple por la propiedad de que {} siempre
    está en A∗ para cualquier A incluso si A = ∅.

    También podría gustarte