Bi tp l thuyt chng 5 Vn phm phi ng cnh v ngn ng phi ng cnh Mn: Automata v Ngn ng hnh thc.

1. Xy dng vn phm phi ng cnh cho cc ngn ng sau y: a) Tp {0n1n | n 1}. b) Tp {aibjck | i j hoc j k}. c) Tp tt c cc chui a v b khng c dng ww. d) Tp tt c cc chui vi s lng 0 gp hai ln 1. 2. Vn phm sau y sinh ra ngn ng ca biu thc chnh qui 0*1(0 + 1)*: S A B A1B 0A | 0B | 1B |

Cho bit cc dn xut tri, phi v cy phn tch ca nhng chui sau y: a) 00101 b) 1001 c) 00011 3. Chng t rng mi ngn ng chnh qui u l phi ng cnh. Hng dn: Xy dng CFG bng cch qui np trn cu trc ca RE tng ng. 4. Xt CFG G vi cc lut sinh: S aSbS | bSaS |

Chng minh rng L(G) l tp tt c cc chui a, b vi s lng a v b bng nhau. 5. Gi s G l mt CFG khng c lut sinh no c l thn. Nu w thuc L(G) c chiu di l n v w c mt dn xut gm m bc. Chng t rng w c mt cy phn tch cha (n + m) nt. 6. Xt vn phm: S aS | aSbS |

a) Chng t vn phm ny nhp nhng bng cch xy dng hai cy phn tch cho chui aab. b) Tm mt vn phm khng nhp nhng cho ngn ng m t bi vn phm trn. 7. Vn phm sau y sinh ra cc biu thc tin t (prefix) vi cc ton hng x, y v cc ton t +, -, *. E +EE | *EE | -EE | x | y

a) V cy phn tch c php cho chui +*-xyxy. b) Chng minh rng vn phm ny khng nhp nhng. -- Ht --