CHNG IIIstand - Ch ng III : tmt h u h n v bi u th c chnh...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Ch ng III : tmt h u h n v bi u th c chnh quy 20 CH NG III TMT H U H N V BI U TH C CHNH QUY N i dung chnh: Trong ch ng ny, ta s nghin c u m t lo i "my tr u t ng" g i l tmt h u h n. Chng l cng c dng on nh n m t l p ngn ng kh n gi n g i l l p ngn ng chnh quy. Tr c h t, hai d ng c a tmt h u h n s l n l t c trnh by v c s ch ng minh r ng chng t ng ng nhau v kh n ng on nh n ngn ng . Ti p , ta s c p n bi u th c chnh quy - m t ph ng ti n khc xc nh ngn ng v ta l i th y r ng l p ngn ng do cc tmt h u h n ch p nh n chnh l l p ngn ng chnh quy. Ph n ti p theo c a ch ng s c p n m i quan h gi a c ch tmt v cc bi u th c chnh quy dng k hi u cho ngn ng . Cu i ch ng ny, m t vi ng d ng c th c a tmt h u h n s c trnh by. M c tiu c n t: K t thc ch ng ny, sinh vin c n n m v ng : Khi ni m tmt h u h n, cc thnh ph n, cc d ng v s khc bi t c b n gi a hai d ng. Cch th c chuy n i t ng ng t d ng n nh sang khng n nh v ng c l i. Vi t bi u th c chnh quy k hi u cho t p ngn ng chnh quy. M i lin quan gi a tmt h u h n v bi u th c chnh quy. V s chuy n tr ng thi ( n nh ho c khng n nh) t m t bi u th c chnh quy. Tm cc ng d ng th c t khc t m hnh tmt h u h n. Ki n th c c b n : ti p thu t t n i dung c a ch ng ny, sinh vin c n c m t s cc ki n th c lin quan v l thuy t th , l thuy t m ch; hi u cc khi ni m c b n v ki n trc my tnh; c s d ng qua m t s trnh so n th o v n b n thng th ng Ti li u tham kh o : [1] John E. Hopcroft, Jeffrey D.Ullman Introduction to Automata Theory, Languages and Computation Addison Wesley Publishing Company, Inc 1979 (Chapter 2 : Finite Automata and Regular Expressions)....
View Full Document

This note was uploaded on 01/18/2012 for the course INFORMATIK 2011 taught by Professor Phanthuongcang during the Winter '11 term at Cornell University (Engineering School).

Page1 / 32

CHNG IIIstand - Ch ng III : tmt h u h n v bi u th c chnh...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online