Mô hình hóa thông tin và cơ sở tri thức ngày càng trở nên quan trọng đối với cộng đồng học thuật làm việc với hệ thống thông tin, khoa học máy tính và trí tuệ nhân tạo, đồng thời khối lượng, độ phức tạp và mức độ trừu tượng, cùng với quy mô của cơ sở dữ liệu và cơ sở tri thức tiếp tục tăng song song với độ phức tạp ngày càng tăng của các quy trình tính toán. Cuốn sách này cung cấp cái nhìn tổng quan toàn diện về những diễn biến hiện tại và sẽ hữu ích với tất cả những người làm việc trong lĩnh vực này.

Khối lượng và tính phức tạp của thông tin, cùng với số lượng mức độ trừu tượng và quy mô của dữ liệu và cơ sở tri thức, liên tục tăng lên. Dữ liệu có nguồn gốc từ nhiều nguồn khác nhau bao gồm sự kết hợp giữa dữ liệu từ các nguồn kế thừa truyền thống và dữ liệu phi cấu trúc đòi hỏi mô hình ngược, trong khi đó, mô hình thông tin và cơ sở tri thức đã trở thành những yếu tố đóng góp quan trọng cho nghiên cứu học thuật và công nghiệp thế kỷ 21. Cung cấp tổng quan hiện tại về tiến trình trong lĩnh vực này, cuốn sách này sẽ hữu ích cho tất cả những ai có công việc liên quan đến việc sử dụng mô hình thông tin và cơ sở tri thức.

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.