You are on page 1of 4

Mt s dng bi tp:

Bi 2: Vn phm v ngn ng hnh thc


Xc nh loi ca vn phm v ngn ng theo phn loi Chomsky;
Ch ra ra cc ngn ng sinh bi vn phm;
Xc nh vn phm sinh ra mt ngn ng cho trc n gin;
Bi 3:
Bin i t NFA v DFA
Bin i t NFAe v NFA v DFA
Bin i t RE v FA
Bin i t DFA v RE
Bi 4:
Bin i t automata v vn phm tuyn tnh phi
Bin i t automata v vn phm tuyn tnh tri
Bin i t vn phm tuyn tnh tri v automata
Bin i t vn phm tuyn tnh phi v automata
ng dng b bm chng t mt ngn ng c phi l chnh quy hay khng
Bi 5: Vn phm phi ng cnh, Rt gn vn phm
Loi b cc k hiu tha
Loi b cc lut sinh
Loi b cc lut sinh n v
Chun ha cc vn phm phi ng cnh
a v dng chun Chomsky
a v dng chun Greibach
Bi 6:
Bin i tng ng t dng 2 sang dng 1
Bin i tng ng t dng 1 sang dng 2
Bin i tng ng t CFG sang PDA
Bin i tng ng t PDA sang CFG

VN PHM V NGN NG HNH THC
1: Trong cc bi tp sau, sinh vin cn:
Ch ra ra cc ngn ng sinh bi vn phm tng ng;
Xc nh loi ca vn phm v ngn ng theo phn loi Chomsky;

Bi I.1.
S aaCFD; AD D; F AFB | AB; Cb bC;
AB bBA; CB C; Ab bA; bCD .
Bi I.2.
S aSBC | abc; bC bc; CB BC;
cC cc; BB bb.
Bi I.3. S aQb | accb; Q cSc.
Bi I.4. S Ac | Bc; A a | Ba; B b | Bb | Ab.
Bi I.5. SAb; AaA; A.
Bi I.6. SABC; AaA; BbB; CcC, Aa; Bb; Cc
Bi I.7.
S aSBC S aBC CB BC aB ab
bB bb bC bc cC cc
Bi I.8.
S aB A bAA S bA B b A a
B bS A aS B aB
Bi I.9.
S 0A B 1B S 1B B 1 A 0A
B 0 A 0k S 0 A 1B

2: Trong cc bi tp sau, sinh vin cn:
Xy dng automata bng th chuyn hoc bng chuyn n nhn ngn ng .
Ch ra vn phm sinh ra cc ngn ng tng ng;
Bi I.10. ( ) { | , , 0}
n m k
L G a b c n m k = >

Bi I.11. ( ) {( ) ( ) | , 0}
n m
L G ab cb n m = >

Bi I.12. ( ) {(0) (10) | , 0}
n m
L G n m = >

Bi I.13. ( ) { | {a,b} } L G c c e e e e
+
= e

Bi I.14.
2
( ) { | 0}
n n
L G c d n = >

Bi I.15. ( ) { | {a,b} } L G e e e e
+
= + e

Bi I.16.
1 1
( ) {(10) (01) | 0}
n n
L G n
+
= >

Bi I.17. ( ) { | {0,1} }
R
L G ee e
+
= e

Bi I.18. Biu din cc ch s nguyn dng (1, 3, 4)
Bi I.19. Biu din cc ch s nguyn (-34, +34, 34)
Bi I.20.
Biu din cc s thc (di dng khoa hc 12.5, +12.5, -12.5, 12E3, +12E3, -
12E3, 12E-3, +12E+3, -12E+3, +12E3, -12E3, 12E-312.5, +12.5, -12.5,... hoc
dng thng 012, 0012, +012, -012, 012.5,...)
Bi I.21. Biu din thi hi gian trong ngy (21:30:58),
Bi I.22. Biu din ca cc ngy trong nm (10/05/2010)

3: Trong cc bi tp sau, sinh vin cn:
Xy dng DFA bng th chuyn hoc bng chuyn n nhn ngn ng tng ng.
Bi I.23.
{ }
*
( ) { , } , ( ) mod2 0, ( ) mod2 1
a b
L G w a b n w n w = e = =
(chn ln s ch ci a v l ln s ch ci b)
Bi I.24. L(G) = {w{a, b}*, sao cho khng qu 2 ch ci (a) ng lin nhau}
Bi I.25.
Tt c tn c t ng trong ngn ng C, C++ Pascal, (bao gm cc ch ci in
thng in hoa, cc ch s, ch bt u bng ch ci hoc du gch di)
Bi I.26. L(G) = {w{a, b}*, sao cho ch c duy nht mt ch ci a}
Bi I.27. L(G) = {w{a, b}*, sao cho c t nht mt ch ci a}
Bi I.28. L(G) = {w{a, b}*, sao cho ch c khng qu 3 ch ci a}
Bi I.29. L(G) = {w{a, b}*, sao cho trong mi t tn ti chui con dng a
n
, n>3}
Bi I.30. L(G) = {w{a, b}*, sao cho trong mi t tn ti chui con dng a
n
, n<3}
Bi I.31. L(G) = {w{a, b}*, sao cho trong mi t tn ti khng qu 2 chui con dng a
3
}
Bi I.32. L(G) = {w{a, b}*, sao cho ch ci u v cui ca mi t l khc nhau}
Bi I.33.
L(G) = {w{a, b}*, sao cho trong mi 4 k t lin tip bt k c khng qu 2
ch ci a}
Bi I.34. L(G) = {w{a, b}*, |w|>3, sao cho ch ci th 3 khc ch ci cui cng}
Bi I.35. Biu din dng nh phn ca cc s chia ht cho 5 (v d 0101, 01111)
Bi I.36. { }
*
( ) { , } , 2 L G vwv a b v = e =
Bi I.37. { }
*
( ) { , } , 2
R
L G vwv a b v = e =
Bi I.38. { }
( ) , ( ) mod3 0
m n
L G w a b m n = = + =
Bi I.39. { }
*
( ) { , } , ( ) mod2 0, ( ) mod2 1
a b
L G w a b n w n w = e = =

Mt s bi tp khc:
Bi I.40. Chng minh rng nu A l tp c n phn t, th tp 2
A
c 2
n
phn t.

You might also like