Mô tả vắn tắt học phần

Ngôn ngữ hình thức được sử dụng trong việc xây dựng các ngôn ngữ lập trình, lý thuyết về các chương trình dịch. Các ngôn ngữ hình thức tạo thành một công cụ mô tả đối với các mô hình tính toán cả cho dạng thông tin vào – ra lẫn theo kiểu thao tác. Lý thuyết ngôn ngữ hình thức, chính vì thực chất của nó là một lĩnh vực khoa học liên ngành; nhu cầu mô tả hình thức văn phạm được phát sinh trong nhiều ngành khoa học khác nhau từ lý thuyết ngôn ngữ hình thức đến sinh vật học. Do đó những khía cạnh thích hợp của lý thuyết ngôn ngữ hình thức sẽ có tầm quan trọng quyết định trong các giáo trình về Lý thuyết ngôn ngữ hình thức và otomat. Học phần cung cấp các các kiến thức cơ bản về Ngôn ngữ hình thức và các máy trừu tượng (các otomat, các văn phạm, máy turing). Đây là một mảng kiến thức bắt buộc đối với sinh viên các ngành khoa học máy tính. Trên cơ sở đó, sinh viên có thể hiểu sâu hơn cấu trúc các ngôn ngữ lập trình, các chương trình dịch cũng như bản chất của thuật toán và độ phức tạp tính toán của chúng.