Trong vài năm qua, robot hình người đã phát triển với tốc độ chóng mặt. Nghiên cứu đã đạt được những tiến bộ ấn tượng về cả cơ điện tử và khả năng nhận thức, bao gồm học tập, nhận thức và kiểm soát. Đồng thời, sự bùng nổ của thị trường thiết bị di động đã dẫn đến sự gia tăng đáng kể về khả năng tính toán của CPU nhúng và tạo ra các cảm biến và đơn vị quán tính có độ phân giải cao hơn.

Chủ nghĩa hình thức thường được sử dụng như một thuật ngữ bao hàm tất cả bao gồm một loạt các phương pháp tiếp cận bản thể học và phương pháp luận trong nghiên cứu trò chơi, với ít mối liên hệ với lịch sử hoặc truyền thống của phương pháp tiếp cận trong các lĩnh vực khác.

Đối với người học ngôn ngữ lập trình và để có thể hiểu sâu sắc về ngôn ngữ lập trình, nhất là về mặt cú pháp thì nhất thiết phải có kiến thức về văn phạm, Otomat. Nhằm đáp ứng nhu cầu trên cuốn giáo trình Ngôn ngữ hình thức và Ôtômát tập trung vào các vấn đề cốt lõi sau: Đó là sự phân lớp văn phạm của Chomsky gồm 4 loại văn phạm cùng với các Ôtômát tương ứng và mối liên hệ giữa chúng. Trong đó đặc biệt là ngôn ngữ phi ngữ cảnh- lớp ngôn ngữ thể hiện các đặc điểm cú pháp của ngôn ngữ lập trình cao cấp.