Md4teoria Dos Conjuntos 131023180000 Phpapp02

Embed Size (px)

Citation preview

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    1/61

    Mdulo 3:

    Teoria dos Conjuntos

    UNIVERSIDADE FEDERAL DE CAMPINA GRANDE

    CENTRO DE ENGENHARIA ELTRICA E INFORMTICA

    DEPARTAMENTO DE SISTEMAS E COMPUTAO

    Professor Ulrich Schiel

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    2/61

    Teoria dos Conjuntos

    Conjunto

    Uma coleo no-ordenada de objetos.

    Ex.:

    A !Ana" #aulo" Maria" $or%e&

    ' !(" )" 3&

    C !buc*ada" anjin*o" ta+ioca&

    , !..." -3" -" - " /" " " 3" 0" (" ... &

    1otao:

    letras mai2sculas +ara denotar conjuntos: A" '" ,

    letras min2sculas +ara denotar elementos de conjuntos:

    Ana A" x '" ( ' e ( ," 0 '.

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    3/61

    Como descreer conjuntos4

    . 5istando 6total ou +arcialmente7 os elementos:

    ' !(" )" 3& , !..." -3" -" - " /" " " 3" 0" (" ... &

    . Usando induo 6recurso7 +ara descreer como %erar os elementos doconjunto:

    . #. se n #" ento n8 #. se n 1" ento n8 1

    3. 9escreendo uma +ro+riedade # ue caracteri;e seus elementos:

    C !x : x < uma seu=ncia de duas letras do al>abeto&

    # !x : x < inteiro e diis?el +or &A !x : x < aluno de Matem@tica 9iscreta no +er?odo corrente&

    T !x : x < um nome de m=s com exatamente 3/ dias&

    E !x: x 1 e x /&

    B !x : x x&

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    4/61

    Um conjunto sin%ular

    Ds conjuntos E e B abaixo t=m uma caracter?sticacomum interessante:

    E !x: x 1 e x /&

    B !x : x x& 1o t=m elementos.

    E B !& 6o conjunto a;io7

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    5/61

    Um +aradoxo e suas conseu=ncias

    Existem colees ue no so conjuntos4

    CantorFBre%e: C !x F #6x7&

    #aradoxo de Gussel 6H/7: C !x F xx7&

    Conseu=ncias:

    Gussel I J*ite*ead Principia Mathematica

    Teoria dos conjuntos de Zermelo-Fraenkel: Nenhum conjunto contm a simesmo

    KLdel: ncom+letude da matem@tica No existe uma teoria completa econsistente da aritmtica elementar

    Turin%: ndecidabilidade do +roblema da +arada C*urc*FTurin%: 9ecidabilidade 6ntscheidun!spro"lem7: NNo existe um

    al!oritmo para decidir se uma expresso l#!ica $ual$uer %erdadeira ou &alsa

    #aradoxo do barbeiro: 'm "ar"eiro $ue &a( a "ar"a de todos de

    seu "airro $ue no se "ar"eiam a si mesmo

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    6/61

    Cardinalidade

    Ds conjuntos abaixo di>erem radicalmente com relao ONuantidadeP de seus elementos:

    T !x : x < um nome de m=s com exatamente 3/ dias&

    # !x : x < +ar&

    T < >inito e # < in>inito.

    QA car!na"!a#de um conjunto A" denotada +or RAR" ex+ressao n2mero de elementos do conjunto 6se ele < >inito7 ou suaNordem de %rande;aP 6se ele < in>inito7.

    Ex.: RTR 0 RR / R#R R,R RSR 0

    RGR 0 c

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    7/61

    Gelaes entre conjuntos

    Sue relao existe entre os se%uintes conjuntos:

    A !" 3" (& e ' !" " 3" 0" (" )& 4

    G.: todo elemento de A < elemento de '.

    Um conjunto A < dito ser $u%conjuntode um conjunto '" denotado+or A'" se" e somente se" todo elemento de A tamb

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    8/61

    Gelaes entre conjuntos

    9T1VD E1TGEpertin)ncia E contin)ncia

    Em um ambiente de c"a$$#$ e !n$t*nc!a$.

    Uma classe A < uma $u%c"a$$# de '" 6A '7 Um objeto o < uma !n$t*nc!ade uma classe A 6o A7

    EWEGCXCD: uais as relaes entre

    - Y'runnaZ" Alunos de M9" Alunos do CCC e

    Breuentadores da sala CAA3/0.

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    9/61

    Exerc?cio

    ejam A" ' e C os se%uintes conjuntos:

    A !, " )" H" (&

    ' !)" H&

    C !)" H" (" /" !H&" '&[eri>iue ue:

    ' C

    ' A

    A C!H"!H&& C

    A A

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    10/61

    %ualdade de Conjuntos

    Q 9ois conjuntos A e ' so i%uais" A '" se" esomente se" A' e ' A.

    Exerc?cios:

    . Mostre ue as relaes e so transitias.

    . Mostre ue as relaes e so re>lexias.

    3. Mostre ue a relao e no < sim

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    11/61

    Conjunto das +artes

    Conjunto das +artes 6+ot=ncia7

    Q eja um conjunto ualuer. Ento" o conjunto a$ 'art#$ de "denotado +or P67 ou " < o conjunto >ormado +or todos ossubconjuntos de .

    Ex.: eja !" &. Ento" P67 !!&" !&" !"&" &

    Q eja um conjunto ualuer com cardinalidade RR n. Ento" RP67R n.

    Ex.: !" & P67 !!&" !&" !"&" &

    RR RP67R 0 .

    #67 #67 !&

    RR / RP67R /.

    D'EG[AVD: #ara todo conjunto C" RP6C7R \ RCR 6dia!onali(a*o de +antor7

    5o%o RP6,7R \ R,R e 0

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    12/61

    D+eraes sobre Conjuntos

    eja o conjunto de todos os alunos da UBCK.

    Ento" ualuer conjunto de alunos da UBCK < umelemento de P67.

    eja A !alunos do curso de com+utao& e seja ' !alunos do curso de en%en*aria el

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    13/61

    D+eraes sobre Conjuntos

    Q D conjunto >ormado +or todos os alunos ue >a;emcom+utao 6A7 mais os ue >a;em el

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    14/61

    D+eraes sobre Conjuntos

    Q ejam A e ' conjuntos uaisuer. A !.#r#n-ade A com relaoa '" denotada +or A-'" < o conjunto >ormado +or todos oselementos ue +ertencem a A e no +ertencem a ' 6+ertencema 'Z7.

    A-' !x: x A e x '&Q e A e ' so conjuntos e A' " ento" A e ' so ditos

    serem !$junto$.

    Q ejam A e ' conjuntos. D 'routo cart#$!ano de A com '"denotado +or A x '" < de>inido como:

    A x ' !6x" ]7: x A e ] '&Dbs. 6x"]7 < um 'ar or#nao/ 1ota: 6x"]7 6]"x7

    9e>inies de +ar ordenado: 6x"]7 !x" !x"]&& ou 6x"]7 !!x"&" !]"&&

    Existe !x"x& 4 e 6x"x74 Como seria o +ar 6"7 na se%unda notao4

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    15/61

    #roduto Cartesiano

    A x A A !6x"]7: x A e ] A&A x A x A A3 !6x"]";7: x A" ] A e ; A&

    A x A x...x A !6x"x"..."xn7: xiA" i n&

    Ex.: ejam A !"& e ' !"0&

    A !6"7" 6"7" 6"7" 6"7&

    A x ' !6"7" 6.07" 6"7" 6"07&

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    16/61

    dentidades '@sicas

    A' 'A A' 'A

    6A'7C A6'C7 6A' 7C A6'C

    A6'C7 6A'76AC7 A6'C7 6A'76AC7 A A AU A

    AAZ U AAZ

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    17/61

    Exerc?cio

    ejam o unierso 1 6os naturais7 e A" '

    e C os se%uintes conjuntos:A !x: x ^ (&

    ' !/" " _" /&

    C !x: existe ] 1 e x .]&

    Suais das se%uintes sentenas

    so >alsas 6mostrar +orue74

    . ' C. A C

    3. !" " 3& A0. !& '(. !x: x 1 e x /& '6. A7. A

    Calcule:

    A-'

    '-A

    P6'76' C7 ` A

    ' 6C ` A7

    6AZ'7 - C

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    18/61

    Exerc?cio

    ejam A e ' conjuntos uaisuer. Mostre ue:

    6A'Z7 6AZ'7 se" e somente se" A '.

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    19/61

    Classes de Dbjetos Conjuntos

    as instncias de umaClasse C" RCR

    Uma classe C

    Uma 0#n#ra"!1a-,oCK de C e C

    Uma a0r#0a-,oA de A" A"..." An

    Um a0ru'a)#ntoAK de AE

    Um conjunto C

    Um conjunto uniersal C

    CK CC" e Ci C

    A A x Ax...xAn

    AK P6AE7

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    20/61

    Conjuntos Classes de Dbjetos

    Uma C"a$$# C comos atr!%uto$ A".."An

    Uma a$$oc!a-,o rel entre C e C

    Um )2toom de C

    C A x Ax...xAn

    rel C x C

    Uma >unom: UC UC" tal ue

    m6C7 CZ

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    21/61

    Conjuntos Cont@eis e ncont@eis

    Todo conjunto >inito < cont@el. ou seja" +odemos sem+re desi%nar um elementocomo o +rimeiro" s" outro elemento como o se%undo"s" e assim +or diante.

    ou seja" +odemos listar seus elementos na ordemescol*ida:

    s" s" s3" ..." sn

    Esta lista re+resenta todo o conjunto.

    Um conjunto cont&+#" < um conjunto em ue+odemos associar a cada elemento um inteiro

    ""3"...

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    22/61

    Conjuntos Cont@eis e ncont@eis

    Um conjunto in>inito" tamb

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    23/61

    Conjuntos Cont@eis e ncont@eis

    QUm conjunto in>inito cont@el c*ama-se #nu)#r&+#"6ou denumer@el7.

    Assim" +ara se mostrar ue um conjunto raes da se%uinte >orma: as ue t=m numerador na +rimeira lin*a" as ue t=m

    numerador na se%unda lin*a" e assim +or diante:

    F F F3 F0...F F F3 F0...3F 3F 3F3 3F0...0F 0F 0F3 0F0...

    . . . . ... . . . . ...

    #odemos traar uma lin*a ue +asse +or toda a matri;"comeando no F e em se%uida >ornecer uma enumerao detodo o conjunto. Ex.: F3 seria o 0o. elemento da enumerao.

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    25/61

    Conjuntos Cont@eis e ncont@eis

    Existem conjuntos in>initos ue no +odem serenumerados : so incont@eisFno-cont@eis.

    Exem+lo: o conjunto de todos os reais entre / e .

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    26/61

    #roa: Ds reais entre / e no < cont@el

    Sualuer n2mero real entre / e +ode ser escritocomo um n2mero decimal: /.ddd3...

    onde di!/"...H&.

    [amos assumir ue o conjunto < cont@el. Ento"existe uma enumerao do conjunto e tal ue+odemos descre=-la da se%uinte >orma:

    dij < a j-

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    27/61

    Geais entre / e no < cont@el

    /.dididi3... dij.. ni A%ora" construamos um n2mero real + da se%uinte >orma:

    + /.+++3...

    +i ( se dii( e +i _ se dii (

    #ortanto" + < um n2mero real entre / e .

    1o entanto" + no est@ na enumerao"+ois + ni" +ara todo i j@ ue +ois +idii

    M

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    28/61

    #roblemas de Conta%em

    - Suanto es+ao um +ro%rama consome4

    - Suantos usu@rios um seridor +ode su+ortar4

    - Suantas o+eraes um determinado al%oritmo

    enole4 \ CDM#5EW9A9E 9E A5KDGTMD

    e resumem em determinar uantos elementosexistem em um conjunto >inito.

    #arece >@cil mas nem sem+re se +ode determinarcom >acilidade uma res+osta:

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    29/61

    Exem+lo

    A uma criana < +ermitido escol*er um entre dois con>eitos 6ermel*o e+reto7 e um entre tr=s c*icletes 6amarelo" lil@s e branco7 di>erentes. Suantos+ares di>erentes de doces a criana +ode ter4

    oluo: decom+or tare>a de escol*a em duas eta+as seenciais: a

    escol*a do con>eito e a escol*a do c*iclete. A @rore abaixo ilustra ase=ncia e as +ossibilidades:

    +ares di>erentes 6con>eitos di>erentes7 x 3 6c*icletes di>erentes7 _

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    30/61

    #rinc?+io da Multi+licao

    e dois eentos so seenciados e inde+endentes" o n2merode +ossibilidades +ode ser obtido +or meio da multi+licao don2mero de +ossibilidades do +rimeiro eento +elo n2mero de+ossibilidades do se%undo eento" ou mel*or:

    e existem

    n+ossibilidades +ara um +rimeiro eento"

    n+ossibilidades +ara um se%undo eento"..."

    nf+ossibilidades +ara um f-

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    31/61

    Exem+lo

    A 2ltima +arte dos n2meros dos tele>ones cont=m 0 d?%itos.

    Suantos n2meros de 0 d?%itos existem4

    oluo:

    #odemos ima%inar um n2mero de 0 d?%itos como resultado de 0escol*as sucessias e inde+endentes: escol*a do o." escol*ado o." escol*a do 3o. e" +or >im" escol*a do 0o. d?%ito.

    A escol*a de ualuer desses d?%itos enole / +ossibilidades:

    /" " " ..." H.#ortanto" *@ /./././ /./// escol*as +oss?eis"indicando ue existem /./// n2meros de 0 d?%itos.

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    32/61

    Exerc?cios

    . Com relao ao exem+lo anterior" uantos n2meros de 0d?%itos sem re+etio existem4

    . Um jo%o de com+utador < iniciado >a;endo-se selees emcada um de tr=s menus. D +rimeiro menu 6n2mero de

    jo%adores7 tem uatro o+es" o se%undo menu 6n?el dedi>iculdade7 tem oito o+es e o terceiro menu 6elocidade7tem seis o+es. Com uantas con>i%uraes di>erentes o jo%o+ode ser iniciado4

    . Uma sen*a de usu@rio em um com+utador consiste em tr=sletras se%uidas de dois d?%itos. Suantas sen*as di>erentes so+oss?eis4 Considere um al>abeto de _ letras.

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    33/61

    #rinc?+io da Adio

    u+on*a ue desejamos escol*er uma sobremesadentre tr=s tortas e uatro bolos. 9e uantas >ormasisto +ode ser >eito4

    oluo: Existem dois eentos: escol*er uma torta6com tr=s +ossibilidades7 e escol*er um bolo 6comuatro +ossibilidades7. 1o entanto" esses eentos sodisjuntos" ou seja" um ou outro dee acontecer" +ois

    desejamos a+enas uma sobremesa. Ento" o n2merode +ossibilidades < o n2mero total de o+es uetemos: 3 8 0 ).

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    34/61

    #rinc?+io da Adio

    e A e ' so eentos disjuntos com n e n+ossibilidades" res+ectiamente" ento o n2merototal de +ossibilidades +ara o eento A ou ' orma de escol*er o +rimeiro d?%ito 607e de; maneiras de escol*er cada um dos outros d?%itos.#ortanto" so ./././ /// >ormas de escol*er um n2merode 0 d?%itos comeando com o 0.

    #ara a conta%em do se%undo conjunto se a+lica o mesmo

    racioc?nio dando o mesmo resultado: ///. Usando a%ora o #rinc?+io da Adio" +odemos dedu;ir ue

    existem ///8/// /// resultados +oss?eis ao todo.

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    37/61

    Exerc?cios

    . A" '" C e 9 so nodos 6ns7 de uma rede de com+utadores.Existem dois camin*os entre A e C" dois entre ' e 9" tr=s entre

    A e ' e uatro entre C e 9. #or uantos camin*os umamensa%em de A +ara 9 +ode ser eniada4

    . Um identi>icador em 'AC +recisa ser uma letra sim+les ouuma letra se%uida de outra letra ou d?%ito. Suantosidenti>icadores so +oss?eis de serem >ormados4

    . Em um jantar es+ecial existem dois a+eritios a seremescol*idos" tr=s entradas" o menu +rinci+al e tr=s bebidas.Suantos menus di>erentes so +oss?eis se todos se seriremdo menu +rinci+al e uma bebida mas os a+eritios e entradasso o+cionais4

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    38/61

    #rinc?+io da ncluso e da Excluso

    eja o conjunto unierso e sejam A e ' subconjuntos uaisuer de:

    Dbs.: A-'" '-A e A' so conjuntos mutuamente disjuntos eA' 6A-'7 6'-A7 6A'7

    abemos" +elo #rinc?+io da Adio" ue se C e C so conjuntosdisjuntos ento RCCR RCR 8 RCR.

    Estendendo +ara tr=s conjuntos disjuntos" temos:

    RA' R R6A-'7 6'-A7 6A'7R RA-'R 8 R'-AR 8 RA 'R

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    39/61

    #rinc?+io da ncluso e da Excluso

    RA'R RA-'R 8 R'-AR 8 RA'R

    abemos tamb

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    40/61

    Exem+lo

    Um endedor o>erece +rodutos e 3( +essoas com+raram.9estes 0 com+raram o +roduto e _ o +roduto . Suantoscom+raram ambos4

    oluo: eja A o conjunto das +essoas ue escol*eram o+roduto e ' o conjunto dos ue escol*eram o +roduto :

    R A' R 3(" RAR 0" R'R _

    Mas" RA'R RAR 8R'R - R A ' R 0 8 _ ` 3( (

    #ortanto" ( entreistados escol*eram ambos os +rodutos.

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    41/61

    #rinc?+io da ncluso e da Excluso

    Estendendo +ara 3 conjuntos:

    RA' CR R A6' C7R

    RAR 8 R' CR - RA 6' C7R RAR 8 R'R 8 RCR - R' CR - R6A '7 6AC7R

    RAR 8 R'R 8 RCR - R' CR - 6RA 'R 8 RACR - RA ' CR7

    RAR 8 R'R 8 RCR - RA'R - RA CR - R'CR 8 RA ' CR

    RA' CR RAR 8 R'R 8 RCR - RA'R - RA CR - R'CR 8 RA ' CR

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    42/61

    #rinc?+io da Casa de #ombo

    e mais do ue f itens so distribu?dos entre f caixas"ento +elo menos uma caixa conter@ mais de um ?tem.

    Ex.: Suantas +essoas +recisam estar nesta sala +ara

    ue +elo menos duas +essoas t=m seus nomesiniciados +ela mesma letra4

    oluo: Existem _ letras no al>abeto 6caixas7. e

    tierem ) +essoas" ento *aer@ ) letras iniciais6itens7 ue deem ser distribu?das entre as _ caixas.

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    43/61

    Exerc?cios

    . Suantas e;es dois dados +recisam ser lanados+ara termos certe;a ue obtiemos al%um +ar duase;es4 01u!esto: di%ida as solu*2es em dois casos:

    34 5uando os dados ti%erem o mesmo %alor

    64 5uando os %alores &orem di&erentes7

    . Uma +esuisa dentre (/ estudantes reelou ue g3 so+ro+riet@rios de carros" H) +ossuem bicicletas" g t=mmotocicletas" (3 so donos de carros e bicicletas" 0 t=m carros e

    motocicletas" sete +ossuem bicicletas e motocicletas" e dois t=mtodos os tr=s.

    Suantos estudantes +ossuem a+enas bicicletas4

    Suantos estudantes no t=m ualuer dos tr=s4

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    44/61

    Exerc?cios em sala

    . Suantas e;es dois dados +recisam ser lanados+ara termos certe;a ue obtiemos al%um +ar duase;es4

    01u!esto: di%ida as solu*2es em dois casos:

    5uando os dados ti%erem o mesmo %alor

    5uando os %alores &orem di&erentes7

    . Em um jantar es+ecial existem dois aperiti%os"se%uidos +or tr=s entradas" o menu principal e tr=s"e"idas. Suantos menus di>erentes so +oss?eisse todos se serirem do menu +rinci+al e umabebida mas os a+eritios e entradas so o+cionais4

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    45/61

    e=ncias

    Q Uma $#89:nc!aou $uc#$$,o6ou conjunto or#nao7 uno :I -\ ue determina a ordem dos termosem .

    Q 1otao: 6s" s".." sn" ..7" com si e 6i7 si

    < injetia4

    Ds n2meros reais Rso uma seu=ncia4

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    47/61

    e=ncias

    Q EWEM#5D:

    Q 9ada a seu=ncia b a n a n a" temos

    Q !b"a"n&

    Q I h""3"0"("_

    Q :I -\ < dada +or:

    Q 67 bi67 ai637 ni607 ai6(7 ni6_7 ai

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    48/61

    e=ncias

    9uas se=ncias A e ' so !0ua!$" A '" se esomente se" seus termos res+ectios so i%uais" ouseja A67'67" A67'67" ..." A6n7 '6n7.

    A $#89:nc!a nu"a< a se=ncia sem elementos oude com+rimento i%ual a / e denotada +or 6RR /7.

    Um 'ar or#nao 6de n2meros7 < uma se=ncia

    de com+rimento i%ual a . I h" .

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    49/61

    D+eraes com seu=nciasF+alaras

    e u aa...ane bb...bmento a concat#na-,ode u com " u. ou uRR" < de>inida como:

    u. aa...anbb...bm

    Dbs.: Ru.R RuR 8 RR n8m

    Dbs.: u/ u u u u.u

    un u.u...u

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    50/61

    D+eraes com +alaras

    A !n+#r$a 6ou reersa ou trans+osta7 de uma

    +alara < de>inida como: . G

    . 6u"a7G 6a.u7

    Exem+lo: ;;?=>;?R5 ?;>=?;>=

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    51/61

    e=ncias ` a+licaes

    T#or!a o$ conjunto$: +roduto cartesianoG#o)#tr!a ana"t!caB +ara re+resentar +ontos no

    +lano ou no es+ao. "0#%ra +#tor!a" ` um etor < uma seu=ncia de

    com+onentes 4anco$ # ao$` uma instncia de um banco de

    dados < uma seu=ncia de alores de atributos. L!n0u$t!ca`

    #alara se. de letrasBrase se. de +alaras#ar@%ra>o se. de >rasesTexto se. de +ar@%ra>os

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    52/61

    Al>abeto e #alaras

    Um a".a%#to6%eralmente denotado +or 7 < ualuer conjunto>inito no a;io de s?mbolos 6ou letras7.

    Ex.: !a"b"c"...";& !/"&

    3 !" k" " " " I" " 6" 7" 8" " " p" q" " \" :" ...&

    Ex.: 0 ! "",,..,v,w & !Ale+*" 'et*" Kimel " .. " c*in" Ta&

    Uma 'a"a+ra 6ou cadeia de caracteres" ou strin%7 < ualuerse=ncia >inita de s?mbolos de um al>abeto.

    ;;?=>;? afitamitaM 6 Matimatifa-7 em 0

    Ex.: b"a"n"a"n"a ou 6b"a"n"a"n"a7 ou banana

    "/" ou 6"/"7 ou /

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    53/61

    5in%ua%ens

    ejam /" " " ..." f" f8 " ..." os se%uintes conjuntos de+alaras no al>abeto :

    / ! +alaras em : RR /&

    !+alaras em : RR &

    !+alaras em : RR &

    f !+alaras em : RR f&

    f8 !+alaras em : RR f8&

    Ento" +odemos de>inir /... ff8 ...

    ou seja" < o conjunto de todas as +alaras em .

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    54/61

    5in%ua%ens

    Ex.: !/" &. Ento" !" /" " //" /" /" " ///"...&

    Q Uma "!n0ua0#) 5 em um al>abeto < ualuer sub-conjunto de " ou seja" 5.

    Q Ex.: +ara !/" &" +odemos ter

    5 !//" &

    Q 5 !" /" " //" /" /" " ///"...&

    Q 53 !" /" " //" /" /" " ///"...&

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    55/61

    Kram@ticas

    Q Uma lin%ua%em < usada +ara >ormar .ra$#$ ou$#nt#n-a$.

    Q Uma $#nt#n-a < uma seu=ncia %8lida de +alaras deacordo com uma 0ra)&t!ca

    Q uma 0ra)&t!ca< uma estrutura G 5 L PQde >rases de uma lin%ua%em 5"Qde um al>abeto tntde s?mbolos terminais6t7 e

    no-terminais6nt7.

    Qde>inidas +or um conjunto # de re%ras

    ue substituem s?mbolos no terminais em +or

    D'.: As +alaras em 5 s cont

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    56/61

    Kram@ticas

    Exem+lo:.QSentena frase-subst frase-verboQfrase-subst artigo substantivo

    Qfrase-verbo verbo advrbioQartigo a

    Qsubstantivo vaca-marinha

    Qverbo falaQadvrbio espalhafatosamente |

    Quem seram e L neste exemplo?

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    57/61

    Kram@ticasExem+lo:.

    eja a %ram@tica K " 5" #\" com tnt" t !/"&" nt !&"

    5 t e as +rodues

    # ! /" &

    a7 Suais sentenas @lidas so +rodu;idas +or esta %ram@tica4b7 E se acrescentarmos a +roduo /4

    a7 As sentenas @lidas so " /" //" ///" ////" ...

    b7 A%ora temos " /" //" ///" ...

    e /" //" ///" ...e //" ///" ////" ...

    Du seja" todas cadeias com um YZ e restante Y/Zs.

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    58/61

    Kram@ticas

    Exem+lo:.eja a %ram@tica K " 5" #\" com

    tnt" t !a"b"c&" nt !"'"C&"5 t e as +rodues

    # ! . a'C" . a'C" 3.C' 'C"0.a' ab" (.b' bb" _.bC bc" ).cC cc&

    9s senten*as %8lidas em so an"ncn 4

    [eri>icar se abc < uma sentena @lida

    [eri>icao se uma cadeia +ertence O lin%ua%em

    K @ti E ? i

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    59/61

    Kram@ticas - Exerc?cio

    Exem+lo:.

    eja a %ram@tica K " 5" #\" com nttt !/"&" nt!& e

    as +rodues !#: /" #: / e #3: &

    Suais sentenas @lidas so +rodu;idas +or esta%ram@tica4

    temos " /" //" ///" ... e /" //" ///" ... e //" ///" ////" ...

    Du seja" todas cadeias com um YZ e restante Y/Zs.

    K @ti E ? i

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    60/61

    Kram@ticas - Exerc?cio

    Considere a %ram@tica: K y" 5" G \. Dnde: !8" -" ."" " 3" 0" (" _")" g" H "/& U !'" " " #" B&" sendo '

    o s?mbolo inicial.R = {(1) B SIPF;

    (2) S !"! #;

    ($) I 9 R 9(%) P . (&) F 99 (') /RR R 3R 0R (R _R)R gR H

    Qual a l*n+ua+em ,ue esta +ram-t*.a /e0*ne?ostre .omo ela re.one.e o n3mero "%&45$$o/*0*,ue a +ram-t*.a para ,ue os n3meros n6o tenam 7eros a

    es,uer/a5

  • 7/24/2019 Md4teoria Dos Conjuntos 131023180000 Phpapp02

    61/61

    Considere a %ram@tica: K y" 5" G \. Dnde: !8" -" ."" " 3" 0" (" _")" g" H "/& U !'" " " #" B&" sendo ' o s?mbolo inicial.R = {B SIPF8S !"! # I 9 R 9

    P.F 99 /RR R 3R 0R (R _R)R gR H Qual a l*n+ua+em ,ue esta +ram-t*.a /e0*ne?

    R9SP: esta +ram-t*.a re.one.e n3meros .om /uas .asas /e.*ma*s po/en/o ter um s*nal na 0rente ou n6o5 s

    n3meros po/er6o .ome5 9m outras pala@ras8 re.one.e se,uen.*as /a 0orma nn555n5nn

    ou An555n5nn ou nn555n5nn5

    ostre .omo ela re.one.e o n3mero "%&45$$

    R9SP: para testar8 asta se+u*r8 em or/em *n@ersa8 as re+ras atC .e+ar a B5 u seDa8 temos:

    "%&45$$ "%&45 -0(H.B -0(H#B -0(9#B -099#B -999#B 999#B 99#B 9#B #B ' 61.'. tamb