Bài giảng Ôtômát và ngôn ngữ hình thức: Chương 4 Văn phạm phi ngữ cảnh và ôtômát đẩy xuống cung cấp cho người học những kiến thức như: Xuất xứ và định nghĩa của văn phạm phi ngữ cảnh; Cây dẫn xuất và sự nhập nhằng trong VPPNC; Dạng chuẩn Chomsky (CNF); Dạng chuẩn Greibach (GNF); Định nghĩa Ôtômát đẩy xuống (PDA); Ngôn ngữ được chấp nhận bởi PDA; Ôtômát đẩy xuống và ngôn ngữ phi ngữ cảnh.