Capitulo2 2 Cop

Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
Maquinas de Mealy e de Moore
ERs e GRs
Linguagens Regulares: Conclusao
O lema do bombeamento
Propriedades de fechamento
O que e Linguagem Regular
Linguagem regular
Uma linguagem e dita ser uma linguagem regular se existe um
automato nito que a reconhece.
Dada uma linguagem L:
E possvel determinar se ela pertence ou nao `a classe das

linguagens regulares?
E possvel facilitar a obtencao de um AF para L?

Newton Jose Vieira, Isabel Gomes Barbosa Captulo 2: Maquinas de Estados Finitos
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Um teorema sobre linguagens regulares
O Lema do Bombeamento
Seja L uma linguagem regular. Entao existe uma constante k > 0
tal que para qualquer palavra z L com [z[ k existem u, v e w
que satisfazem as seguintes condic oes:
z = uvw;
[uv[ k;
v ,= ; e
uv
i
w L para todo i 0.
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Uma aplica cao do Lema do Bombeamento
O LB pode ser usado para provar que uma linguagem innita, L,
nao e regular da seguinte forma:
1
supoe-se que L seja linguagem regular;
2
supoe-se k > 0, a constante do LB;
3
escolhe-se uma palavra z tal que [z[ k ;
4
mostra-se que, para toda decomposicao de z em u v e w tal
que [uv[ k, e v ,= , existe i tal que uv
i
w , L .
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Exemplo de uso do lema do bombeamento
Demonstracao que L = a
n
b
n
[ n N nao e regular
Suponha que L seja uma linguagem regular. Seja k a constante do LB e
z = a
k
b
k
. Como [z[ > k, o lema diz que existem u, v e w tais que:
z = uvw;
[uv[ k;
v ,= ; e
uv
i
w L para todo i 0.
Neste caso, v s o tem as, pois uvw = a
k
b
k
e [uv[ k, e v tem pelo
menos um a, porque v ,= . Isso implica que uv
2
w = a
k+|v|
b
k
, L, o que
contradiz o LB. Portanto, L nao e linguagem regular.
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Outro exemplo de uso do lema do bombeamento
Demonstracao que L = 0
m
1
n
[ m > n nao e regular
Suponha que L seja uma linguagem regular. Seja k a constante do LB, e
seja z = 0
k+1
1
k
. Como [z[ > k, o lema diz que existem u, v e w tais
que:
z = uvw;
[uv[ k;
v ,= ; e
uv
i
w L para todo i 0.
Como uvw = 0
k+1
1
k
e 0 < [v[ k, v so tem 0s e possui no mnimo um
0. Logo, uv
0
w = 0
k+1|v|
1
k
, L, contradizendo o LB. Portanto,L nao e
regular.
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Mais um exemplo de uso do lema do bombeamento
Demonstracao que L = 0
n
[ n e primo nao e regular
Suponha que L seja regular. Seja k a constante do LB, e seja z = 0
n
, em
que n e um n umero primo maior que k. Como [z[ > k, para provar que L
nao e regular, basta mostrar um i tal que uv
i
w , L supondo que
z = uvw, [uv[ k e v ,= . Como z = 0
n
, uv
i
w = 0
n+(i 1)|v|
. Assim, i
deve ser tal que n +(i 1)[v[ nao seja um n umero primo. Ora, para isso,
basta fazer i = n + 1, obtendo-se n + (i 1)[v[ = n + n[v[ = n(1 +[v[),
que nao e primo (pois [v[ > 0). Desse modo, uv
n+1
w , L, contradizendo
o LB. Logo, L nao e linguagem regular.
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Algumas propriedades de fechamento
O que e fechamento
Seja uma classe de linguagens, /, e uma opera cao sobre
linguagens, O. Diz-se que / e fechada sob O se a aplica cao de O
a linguagens de / resulta sempre em uma linguagem de /.
A classe das linguagens regulares e fechada sob:
1
complementacao;
2
uniao;
3
intersecao;
4
concatenacao;
5
fecho de Kleene.
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Fechamento sob concatena cao/esquema
M
1
_
`
i
1

_
`
.
.
.
_
`
F
1
M
2
_
`
i
2

Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Fechamento sob concatena cao
Sejam dois AFDS:
M
1
= (E
1
,
1
,
1
, i
1
, F
1
) e M
2
= (E
2
,
2
,
2
, i
2
, F
2
), E
1
E
2
= .
O AFN M
3
reconhece L(M
1
)L(M
2
):
M
3
= (E
1
E
2
,
1

2
,
3
, i
1
, F
2
)
em que
3
e dada por:
3
(e, a) =
1
(e, a) para todo e E
1
e a
1
;
3
(e, a) =
2
(e, a) para todo e E
2
e a
2
;
3
(e, ) = i
2
para todo e F
1
, e
3
(e, ) = para e (E
1
E
2
) F
1
.
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Fechamento sob fecho de kleene/esquema
_
`
_
`
i

_
`
.
.
.
_
`
`

`
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Fechamento sob fecho de kleene
Seja um AFD M = (E, , , i , F).
O AFN M
reconhece L(M)
:
M
= (E i
, ,
, i
, F i
)
em que i
, E, e
e dada por:
(i
, ) = i ;
(e, a) = (e, a) para todo e E e a ;
(e, ) = i
para todo e F, e
(e, ) = para e E F.
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Aplicac oes das propriedades de fechamento
Tres aplicacoes das propriedades de fecho das linguagens regulares:
1
provar que uma linguagem e regular;
2
provar que uma linguagem nao e regular;
3
facilitar a obten cao de AF para uma linguagem regular.
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Exemplo de aplicacao do tipo 1
Sejam:
L
1
= w 0, 1
[ w representa n umero divisvel por 6; e

L
2
= w 0, 1
[ o terceiro dgito de w, da direita para a

esquerda, e 1.
L
1
L
2
e regular?
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Seja L = a
k
b
m
c
n
[ k = m + n. Prova-se, a seguir, que L nao e
regular.
Suponha que L seja uma linguagem regular. Como a
e
linguagem regular e a classe das linguagens regulares e fechada sob
intersecao, segue-se que L a
deve ser uma linguagem

regular. Mas, L a
= a
n
b
n
[ n 0, que
nao e linguagem regular. Logo, L nao e linguagem regular.
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Sejam:
L
1
= w 0, 1
[ w representa n umero divisvel por 6; e

L
2
= w 0, 1
[ o terceiro dgito de w, da direita para a

esquerda, e 1.
Como construir um AFD para L
1
L
2
?
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Associando sada aos estados
Maquina de Moore
Uma maquina de Moore e uma sextupla (E, , , , , i ), em que:
E (o conjunto de estados), (o alfabeto de entrada), (a
fun cao de transi cao) e i (o estado inicial) sao como em AFDs;
e o alfabeto de sada; e
: E e a funcao de sada, uma fun cao total.
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Diagrama de estados de uma maquina de Moore
Em um diagrma de estados, a transi cao (e, a) = e
e representada
assim, juntamente com (e) e (e
):
_
`
e/(e)

a
_
`
/(e
)
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
A sada computada por uma maquina de Moore
Seja uma maquina de Moore M = (E, , , , , i ). A fun cao de
sada estendida para M, r : E
e denida
recursivamente como segue:
a) r (e, ) = (e);
b) r (e, ay) = (e)r ((e, a), y), para todo a e y
.
A sada computada por uma maquina de Moore
M = (E, , , , , i ) para a palavra w
e r (i , w).
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Exemplo de maquina de Moore
Ultimo smbolo de r (00, w): n umero de 1s nos dois ultimos

smbolos de w.
_
`
00/0
0
>
>
>
>
>
>
>
1
_
`
01/1
0
`
1
0
_
`
10/1
1
_
`
11/2
1
>
>
>
>
>
>
>.
0
Mealy
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Associando sada `as transi coes
Maquina de Mealy
Uma maquina de Mealy e uma sextupla (E, , , , , i ), em que:
E (o conjunto de estados), (o alfabeto de entrada), (a
fun cao de transi cao) e i (o estado inicial) sao como em AFDs;
e o alfabeto de sada;
: E e a funcao de sada, uma fun cao total.
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Diagrama de estados de uma maquina de Mealy
Uma transicao (e, a) = e
com a sada (e, a) = d e representada

em um diagrama de estados assim:
_
`
e

a/d
_
`
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
A sada computada por uma maquina de Mealy
Seja uma maquina de Mealy M = (E, , , , , i ). A fun cao de
sada estendida para M, s : E
, e denida
a) s(e, ) = ;
b) s(e, ay) = (e, a)s((e, a), y), para todo a e y
.
A sada computada por uma maquina de Mealy
M = (E, , , , , i ) para a palavra w
e s(i , w).
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Quociente da divisao por 6 de n umero em binario
Sejam (x) = 6q
1
+ r
1
(0 r
1
< 6),
(xa) = 6q
2
+ r
2
(0 r
2
< 6).
Dois casos:
a = 0: Como (x0) = 2(x), 6q
2
+ r
2
= 2(6q
1
+ r
1
).
Logo, q
2
= 2q
1
+ (2r
1
r
2
)/6.
a = 1: Como (x1) = 2(x)+1, 6q
2
+r
2
= 2(6q
1
+r
1
)+1.
Logo, q
2
= 2q
1
+ (2r
1
+ 1 r
2
)/6.
Portanto, se o proximo smbolo for:
0: o proximo dgito do quociente e (2r
1
r
2
)/6.
1: o proximo dgito do quociente e (2r
1
r
2
+ 1)/6.
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Maquina Mealy para quociente da divisao por 6
_
`
0/0
1/0
_
`
0/1 _
`
0/0
_
`
1/1
_
`
1/0
0/1
_
`
1/1
1/0
`
1/1
0/0
`
0/1
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Equivalencia de maquinas de Moore e de Mealy
Maquinas equivalentes
Uma maquina de Moore (E
1
, , ,
1
,
1
, i
1
) e uma maquina de
Mealy (E
2
, , ,
2
,
2
, i
2
) sao ditas equivalentes se, para todo
w
, r (i
1
, w) =
1
(i
1
)s(i
2
, w).
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Obtendo maquina de Mealy a partir de maquina de Moore
Seja uma maquina de Moore M = (E, , , , , i ).
Maquina de Mealy equivalente:
M
= (E, , , ,
, i ), em que:
(e, a) = ((e, a)), (e, a) E .

Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Um exemplo
Maquina de Moore
Moore
Maquina de Mealy:
_
`
00
0/0
>
>
>
>
>
>
>
1/1
_
`
01
0/1
`
1/1
0/0
_
`
10
1/2
_
`
11
1/2
>
>
>
>
>
>
>.
0/1
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Obtendo maquina de Moore a partir de maquina de Mealy
Seja uma maquina de Mealy M = (E, , , , , i ).
Maquina de Moore equivalente:
M
= (E
, , ,
, i
), em que:
i
= [i , d
0
] para um certo d
0
(qualquer um serve);
E
= [(e, a), (e, a)] [ e E e a i
([e, d], a) = [(e, a), (e, a)] para cada [e, d] E
e a ;
([e, d]) = d para cada e E e d .

Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Um exemplo
Maquina de Mealy Maquina de Moore:
_
`
0/p
1/i
1/p
_
`
0/i
Maquina de Mealy
_
`
[p, p]/p
1
_
`
[i , i ]/i
0
Maquina de Moore
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Express oes Regulares
Gramaticas Regulares
Denotacao e geracao de linguagens regulares
Duas novas formas de especicar as linguagens regulares:
express oes regulares e gramaticas regulares.
Expressao Regular: especica uma linguagem por meio de
uma expressao que a denota.
Gramatica Regular: especica uma linguagem por meio de
um conjunto de regras que a gera.
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Expressoes Regulares
O que e expressao regular
Expressao regular
Uma expressao regular (ER) sobre um alfabeto e denida
1
, , e a para qualquer a sao express oes regulares;
elas denotam , e a;
2
se r e s sao expressoes regulares, entao sao express oes
regulares: (r + s), (rs), e r
; elas denotam L(r ) L(s),

L(r )L(s) e L(r )
.
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Exemplos de express oes regulares
ERs sobre = 0, 1 e conjuntos regulares denotados por elas:
ER Linguagem denotada

(01) 01 = 01
(0 + 1) 0 1 = 0, 1
((0 + 1)(01)) 0, 101 = 001, 101
0
= 0
n
[ n 0
(0 + 1)
0, 1
(((0 + 1)
1)(0 + 1)) 0, 1
10, 1
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Prioridades dos operadores
Regras para omissao de parenteses:
a) Como a uniao e associativa, pode-se escrever
(r
1
+ r
2
+ + r
n
), omitindo-se os parenteses internos.
b) Idem, para a concatenacao.
c) Os parenteses externos podem ser omitidos.
d) Fecho de Kleene tem precedencia sobre uniao e concatena cao.
e) Concatenacao tem precedencia sobre uniao.
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Algumas equivalencias
1. r + s = s + r
2. r + = r
3. r + r = r
4. r = r = r
5. r = r =
6. (r + s)t = rt + st
7. r (s + t) = rs + rt
8. (r + s)
= (r
s)
9. (r + s)
= r
(sr
10. (rs)
= + r (sr )
s
11. r
= r
12. r
= (rr )
( + r )
13.
=
14.
=
15. r
= r
16. rr
= r
r
17. (r
+ s)
= (r + s)
18. (r
= (r + s)
19. r
(r + s)
= (r + s)
20. (r + s)
= (r + s)
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Algumas observacoes sobre a tabela
Qualquer equivalencia que nao envolva fecho de Kleene pode
ser derivada a partir de 1 a 7 mais as propriedades de
associatividade da uniao e da concatenacao.
Com o fecho de Kleene, nao ha um conjunto nito de
equivalencias a partir das quais se possa derivar qualquer
outra.
Algumas equivalencias sao redundantes. Por exemplo, a 13
pode ser obtida de 2, 5 e 10:
= (r )
por 5
= + r (r )
por 10
= + por 5
= por 2
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Simplicacao de express oes regulares
(00
+ 10
)0
(1
+ 0)
= (0 + 1)0
(1
+ 0)
por 6
= (0 + 1)0
(1
+ 0)
por 15
= (0 + 1)0
(1 + 0)
por 17
= (0 + 1)0
(0 + 1)
por 1
= (0 + 1)(0 + 1)
por 19
Diga por que:
(r + rr + rrr + rrrr )
= r
.
((0(0 + 1)1 + 11)0
(00 + 11))
(0 + 1)
= (0 + 1)
.
r
(r + s
) = r
.
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Notac oes uteis
r
+
signica (rr
).
r
n
, n 0 e assim denida, recursivamente:
a) r
0
= ;
b) r
n
= rr
n1
, para n 1.
Exemplos:
(0 + 1)
10
.
r
= (r
n
)
( + r + r
2
+ + r
n1
), para n > 1.
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Obtendo AF a partir de expressao regular
Toda expressao regular denota uma linguagem regular.
1
AFs que reconhecem , e a:
_
`
_
`
AF para
_
`
AF para
_
`
a
_
`
AF para a
2
Dados AFs para L
1
e L
2
, e possvel construir AFs para
L
1
L
2
, L
1
L
2
e L
1
.
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Obtendo expressoes regular a partir de AF
Toda linguagem regular e denotada por alguma expressao regular.
Seja um AFN M = (E, , , I , F).
1. Obtenha AFN M
= (E
, , , i , f ) equivalente a M tal
que:
i , (e, a) para todo par (e, a) E
;
(f , a) = para todo a .
2. Obtenha diagrama ER inicial a partir de M
: substitua
transicoes de e para e
sob s
1
, s
2
, . . . , s
m
, por uma s o
transi cao de e para e
sob s
1
+ s
2
+ + s
m
.
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Obtendo expressoes regular a partir de AF
3. Elimine um a um os estados do diagrama ER, exceto i e f .
Para eliminar e, para cada par (e
1
, e
2
), e
1
,= e,e
2
,= e:
_
`
e
1

r
1
_
`
r
2
r
3
_
`
e
2
_
`
e
1

r
1
r
2
r
3
_
`
e
2
(a) e
1
= e
2
_
`
e
1
= e
2
r
1
_
`
r
2
r
3
_
`
e
1
= e
2
r
1
r
2
r
3
(b) e
1
= e
2
Se havia transicao de e
1
para e
2
sob s substitua-a por
transicao de e
1
para e
2
sob s + r
1
r
2
r
3
.
4. A ER resultante e o r otulo da transicao de i para f .
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Exemplo
p0

b
_
i 1
a
`
a
_
i 0

b
_
p1
a
`
a
b
_
a,b
Diagrama de estados
p0

b
_
i 1

a
`
a
_
i 0

b
_
p1
a
`
a
b
_
a + b
Diagrama ER
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Exemplo (cont.)
1
Eliminando e. Como nao existe transicao de e para algum e
2
diferente de e, ele e simplesmente eliminado.
2
Eliminando i 0:
p0

b
_
i 1

aa
ab
_
p1
a
`
a
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Exemplo (cont.)
3. Eliminando p1:
p0

b + aba
_
i 1

aa
aa
4. Eliminando p0 e i
1
:
i

(aa)
(b + aba)(aa)
_
f
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
O que e uma gramatica regular
Gramatica regular
Uma gramatica regular (GR) e uma gramatica (V, , R, P), em
que cada regra tem uma das formas:
X a;
X aY;
X ;
X, Y V e a .
Formato das formas sentenciais: wA, w
+
, A V.
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Exemplo
L = w a, b, c
[ w nao contem abc.

Uma GR que gera L: (A, B, C, a, b, c, R, A), em que R
contem:
A aB [ bA[ cA[
B aB [ bC [ cA[
C aB [ bA[
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
AF a partir de GR
Toda gramatica regular gera uma linguagem regular.
Seja G = (V, , R, P) e Z , V.
Um AFN que reconhece L(G): M = (E, , , P, F), em que
E =
V Z se R contem regra da forma X a

V caso contrario.
Para toda regra da forma:
X aY faca Y (X, a),
X a faca Z (X, a).
F =
X[X R Z se Z E
X[X R caso contrario.
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Exemplo
G:
A 0A[1B[0
B 1B[
L(G) = 0
(0 + 1
+
). AFN para L(G):
_
`
0
_
`
1
B
_
`
1
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Toda linguagem regular e gerada por gramatica regular.
Seja um AFN M = (E, , , i , F).
Uma GR que gera L(M): G = (E, , R, i ), em que:
R = e ae
[ e
(e, a) e [ e F.
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Exemplo
_
`
0
_
`
1
B
_
`
1
GR:
A 0A[0Z[1B
B 1B[
Z
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Uma sntese
= ERs, GRs e AFs sao formalismos alternativos para linguagens
regulares.
Transforma c oes entre formalismos:
_
ER
_
`
`
_
AF
_
`
`
_
GR
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
AFD visto como um computador
a
1
a
2 a
i a
n
ta de leitura apenas, unidirecional
controle
+
e registrador com estado atual

Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
AFD com ta bidirecional
Funcao de transicao parcial da forma : E E e, d.
a
1
a
2 a
i a
n ta de leitura apenas, bidirecional
controle
+
e registrador com estado atual

L(M): toda palavra w
para a qual M para em um estado

nal (se M nao parar para w, w nao e aceita).
Alguns Exemplos
AFDs
AFNs
LRs:Propriedades
ERs e GRs
Expressividade de AFD bidirecional
AFDs bidirecionais reconhecem exatamente as linguagens
regulares.
Mesmo com nao determinismo, um AF bidirecional reconhece
apenas linguagens regular.
Que incrementos poderiam aumentar o poder
computacional?

Capitulo2 2 Cop

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Capitulo2 2 Cop

Enviado por

Direitos autorais:

Formatos disponíveis

Alguns Exemplos

E possvel determinar se ela pertence ou nao `a classe das

E possvel facilitar a obtencao de um AF para L?

(e, a) = (e, a) para todo e E e a ;

[ w representa n umero divisvel por 6; e

[ o terceiro dgito de w, da direita para a

deve ser uma linguagem

[ w representa n umero divisvel por 6; e

[ o terceiro dgito de w, da direita para a

Ultimo smbolo de r (00, w): n umero de 1s nos dois ultimos

com a sada (e, a) = d e representada

(e, a) = ((e, a)), (e, a) E .

= [(e, a), (e, a)] [ e E e a i

([e, d], a) = [(e, a), (e, a)] para cada [e, d] E

([e, d]) = d para cada e E e d .

; elas denotam L(r ) L(s),

[ w nao contem abc.

V Z se R contem regra da forma X a

ta de leitura apenas, unidirecional

e registrador com estado atual

e registrador com estado atual

para a qual M para em um estado

Você também pode gostar