Giáo trình Lý thuyết ngôn ngữ hình thức và ô tô mát do Nguyễn Thanh Bình biên soạn cung cấp kiến thức như: Khái niệm về ngôn ngữ, văn phạm, ôtômát, Ôtômát hữu hạn, văn phạm và ngôn ngữ phi ngữ cảnh, ôtômát đẩy xuống, máy turing,.! | ! ' "# !$%& ( ! ! !) *+ ' ', -./ 0 ,1 2 1 343 5 -444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444446 347 8 9: ;4444444444444444444444444444444444444444444444444444444444444444444444444444444444444444446 ! " # & $ % ! % ' 34 8 44444444444444444444444444444444444444444444444444444444444444444444444444444444444444444? 34@ 8 9: 743 8 4444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444433 ' 8 ;AB AC DEFF 8 G H F - 8 (% ) % * + (% * + ,-. "/ 0 " 1 2 3 # 4 5 6 78 8 9 ,-. & :3; 5 ? $ % 71@ A B > ,-. 3 B 747 ' 8 ;AB AC D EFF 8 C ? $ % 71@ A B > $-. 74 FGGG M4444444444444444444444444444444444444444444444444444444447N D * + 9 4 + 0 J = ! ! 4 + 0 J = ' 0 K 7L MN 9 4 + 0 J = ' 3 B E # 8 U 8 > ; ` 444444444444444444444444444444444444444444444444444444444444444444444444444444444444444@N # C 8 > % B * \> a 3 B ; ` 444444444444444444444444444444444444444444444444444444444444444R7 & 9= > 8 > -b X 9= > 8 > Z L [)0 \ H% 0 Z L [ B M ]ε Z L [ B M 78 H L N C B > Q "2 b ' =4 AO,. 7 B > Q "2 b HcO,. 7 B > L E =4 O,. 7 B > L N HcO,. 7 B > Q "2 N & # b & & R4 8 > ; ` 444444444444444444444444444444444444N7 =4 HQ L; 3 O,. =4 O,. 3 HQ L; 3 B R4@ ' 8 3 B R4R U R46 Z X -\ R4N & & & & # 643 AB AC 44444444444444444444444444444444444444444444444444444444444444444444444444444444N6 ;> 2] V- ; ` 4444444444444444444444444444444444444444444444444444444444NN A^ \ Y^ ; d0 1S = 5Y " K C > ; ` 44444444444444444444444444444444444444N? ; ` 44444444444444444444444444444444444444444444444444444N? 'G 'G ' ' % , . 44444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444444_@ C ; =R '' & 3 B '' 647 U Yg 8 . 3 B 64 ?7c ) 4 L Q c .