Autômatos

Autômatos e computabilidade
Elementos básicos
Pedro A D Rezende
UnB – IE – CIC
Cadeia vazia: l (ou e) é a cadeia tal que |l| = 0
A & C: Elementos básicos
Números Naturais: N = {0, 1, 2, ...}

Alfabeto:  = conjunto finito não vazio
Cadeia (string): a = a0a1...an-1 onde
ai  ; 0  i < nN (a é dita cadeia de S)
(a é alguma função :{0, ..., n-1} S ; nN)
Comprimento da cadeia: |a| = |a0an-1| = n



Notação: n = { a cadeia de S tal que |a| = n }

Monóide Sintático gerado por :
 n = { a cadeia de S }
* = nN
Operação de concatenação  em  : *
dados a = a0...an-1  , b = b0...bm-1 

n m
tem-se
ab = a0...an-1b0...bm-1 n+m (abrevia-se ab)

l (ou e) é elemento neutro para a operação 

* = nN
dados a = a0...an-1  , b = b0...bm-1 

n m
tem-se


* = nN
dados a = a0...an-1  , b = b0...bm-1 

n m
tem-se

Linguagem Formal
L  * (um conjunto de cadeias de um alfabeto S)
Operações com linguagens formais (afora , , etc.):
LL' = LL' = { ab t.q. aL  bL' } (concatenação)
L* =  Ln = {l}{a1...an ; aiL ; 0<i<nN}
(fecho por concatenação ou fecho de Kleene)
aL = true ou false? (reconhecimento)
Linguagem Formal
L* = ( Ln = LL...L n vezes){a1; 0<i<nN}
nN
Linguagem Formal
L* =  Ln = {l}{a1...an ; aiL ; 0<i<nN}
nN
Linguagem Formal
L* =  Ln = {l}{a1...an ; aiL ; 0<i<nN}
nN
Notação para operações com conjuntos

A–B = { aA t.q. aB} ( diferença )
AB = { (a,b) t.q. aA  bB} ( produto direto )
(a,b) = par ordenado ( função :{0, 1}  {a, b} )
2 = P(A) = { B t.q. BA }
A
( partes de A )
Relação binária:
R  AB ( Denotamos aRb se (a,b)  R )
Relação binária sobre um conjunto: R  AA

2 = P(A) = { B t.q. BA }
A
( partes de A )
Relação binária:

2 = P(A) = { B t.q. BA }
A
( partes de A )
Relação binária:

2 = P(A) = { B t.q. BA }
A
( partes de A )
Relação binária:

2 = P(A) = { B t.q. BA }
A
( partes de A )
Relação binária:
Notação: R(a) = {bB | (a,b)R} ; R(A') =  R(a)
aA'A

2 = P(A) = { B t.q. BA }
A
( partes de A )
Relação binária:
Relação de equivalência:
R  AA é dita relação de equivalência se for:
Reflexiva: xA [xRx]
Simétrica: xRy  yRx
Transitiva: xRy  yRz  xRz (R denotado por )
Classes de equivalência:
 particiona A em classes disjuntas [x] , xA
[x] = { yA tal que x  y }
[x] = { yA tal que x  y }
[x] = { yA tal que x  y }
[x] = { yA tal que x  y }
[x] = { yA | x  y }
Conjunto quociente:
Uma rel. de equivalência  sobre A define, pela
partição, o conjunto de classes ou quociente
A/ = { [x] | xA }
Exemplos: (ZZ)/ onde (a,b)  (c,d)  ad = bc
Q = (ZZ)/ - {[(a,0)]} =
{ [(a,b)] t.q. aZ, bZ }
+
(Números Racionais)
Notação: em Q, [(a,b)] é abreviado a/b

Conjunto quociente:
A/ = { [x] | xA }
Q = (Z = {...-2, -1, 0, 1, 2,...})Z)/ - {[(a,0)]} =
{ [(a,b)] t.q. aZ, bZ }
+
(Números Racionais)

Conjunto quociente:
A/ = { [x] | xA }
Q = (ZZ)/ - {[(a,0)]} =
{ [(a,b)] | aZ, bZ-{0}} (Números Racionais)

Conjunto quociente:
A/ = { [x] | xA }
Q = (ZZ)/ - {[(a,0)]} =
{ [(a,b)] | aZ, bZ-{0}} (Números Racionais)

Cardinais
A relação  (equipotência):
A  B se  :AB função bijetora
é uma relação de equivalência entre conjuntos.
[A] (abreviado |A|) é dito cardinal(idade) de A
A relação < (equipotência com algum subconjunto):
|A| < |B| se  C  B tal que A  C
é uma relação de ordem entre cardinais.
OBS: A [|A| < |P(A)|] i.e., A  P(A) (dem. adiada)
Cardinais
|A| < |B| se  C  B tal que A  C
Cardinais
|A| < |B| se  C  B | A  C
Cardinais
|A| < |B| se  C  B | A  C
Algumas Questões Fundamentais
- Cadeias são finitas; linguagens formais (LF) nem sempre.
- LF finitas são triviais; as infinitas motivam A & C.
- A motivação é pela busca de métodos finitários
para a execução de processos potencialmente ilimitados.
- Por exemplo, para a operação de reconhecimento (aL?)
- Para conjuntos infinitos, fariam sentido expressões como
|AB| = |A||B| ; |LL'|  |L||L'|
|P(A)| = |2A| = 2|A| ; |*| < |P(*)| = |{L*}| ?
- Se fazem sentido, quais as consequências para A & C ?
|AB| = |A||B| ; |LL'|  |L||L'|
|P(A)| = |2A| = 2|A| ; |*| < |P(*)| = |{L*}| ?
|AB| = |A||B| ; |LL'|  |L||L'|
|P(A)| = |2A| = 2|A| ; |*| < |P(*)| = |{L*}| ?
|AB| = |A||B| ; |LL'|  |L||L'|
|P(A)| = |2A| = 2|A| ; |*| < |P(*)| = |{L*}| ?
|AB| = |A||B| ; |LL'|  |L||L'|
|P(A)| = |2A| = 2|A| ; |*| < |P(*)| = |{L*}| ?
|AB| = |A||B| ; |LL'|  |L||L'|
|P(A)| = |2A| = 2|A| ; |*| < |P(*)| = |{L*}| ?

Autômatos

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Autômatos

Загружено:

Авторское право:

Доступные форматы

Autômatos e computabilidade

Números Naturais: N = {0, 1, 2, ...}

Números Naturais: N = {0, 1, 2, ...}

Números Naturais: N = {0, 1, 2, ...}

Números Naturais: N = {0, 1, 2, ...}

Notação: n = { a cadeia de S tal que |a| = n }

dados a = a0...an-1  , b = b0...bm-1 

ab = a0...an-1b0...bm-1 n+m (abrevia-se ab)

Notação: n = { a cadeia de S tal que |a| = n }

dados a = a0...an-1  , b = b0...bm-1 

ab = a0...an-1b0...bm-1 n+m (abrevia-se ab)

Notação: n = { a cadeia de S tal que |a| = n }

dados a = a0...an-1  , b = b0...bm-1 

ab = a0...an-1b0...bm-1 n+m (abrevia-se ab)

Notação para operações com conjuntos

Notação para operações com conjuntos

Notação para operações com conjuntos

Notação para operações com conjuntos

Notação para operações com conjuntos

Notação para operações com conjuntos

Notação: em Q, [(a,b)] é abreviado a/b

Notação: em Q, [(a,b)] é abreviado a/b

Notação: em Q, [(a,b)] é abreviado a/b

Notação: em Q, [(a,b)] é abreviado a/b

Вам также может понравиться