Giao trình ngôn ngữ hình thức

... một ngôn ngữ hình thức hay ngắn gọn hơn là một ngôn ngữ trên Σ . Đặc biệt, tập ∅ là một ngôn ngữ trên Σ , gọi là ngôn ngữ rỗng; tập { ε } cũng là một ngôn ngữ trên Σ , đây là ngôn ngữ ... 16 {ngôn ngữ chính quy} ⊂ {ngôn ngữ phi ngữ cảnh} ⊂ {ngôn ngữ cảm ngữ cảnh} ⊂ {ngôn ngữ tổng quát}. Ta cũng thấy về mặt cấu trúc ngữ pháp thì...

Ngày tải lên: 12/09/2012, 16:21

Ngày tải lên: 09/08/2012, 23:24

... sách dưới đây những thuật ngữ thích hợp để điền vào các chỗ [(…)] trong đoạn văn mô tả về ngôn ngữ mô hình hoá UML. UML là ngôn ngữ mô hình hoá, trước hết nó mô tả [(1)], ngữ nghĩa các định nghĩa ... tức là mô hình hoá”. Do vậy, quá trình phát triển phần mềm chẳng qua là quá trình nhận thức và mô tả lại tả hệ thống đó. Đó cũng là quá trình thiết lập, sử dụng và...

Ngày tải lên: 22/03/2014, 16:22

... hay một biểu thức con. Các toán tử thuộc vào tập các toán tử mà ngôn ngữ hỗ trợ. Biểu thức được phát biểu như sau: − Các hằng, biến, lời gọi hàm là biểu thức − Nếu A, B là biểu thức và ⊗ là ... Biểu thức và các phép toán 13 III. CHƯƠNG TRÌNH C 26 III.1.Cấu trúc chương trình 27 III.2.Câu lệnh và dòng chú thích 31 III.3.Nhập và xuất dữ liệu 33 IV - CÁC CấU TRÚC ĐIềU KH...

Ngày tải lên: 16/08/2012, 14:22

Ngày tải lên: 16/08/2012, 14:59

... niệm về ngôn ngữ lập trình. - Vai trò của ngôn ngữ lập trình. - Lợ i ích của việc nghiên cứu ngôn ngữ lập trình. - Các tiêu chuẩn để đánh giá một ngôn ngữ lập trình tốt. 1.1.3 Kiến thức cơ ... loại các ngôn ngữ lập trình. - Vai trò của ngôn ngữ lập trình trong công nghệ phần mềm. - Lợi ích của việc nghiên cứu ngôn ngữ lập trình. - Các tiêu chuẩn đ...

Ngày tải lên: 16/08/2012, 14:59

... chu trình lặp dạng : while ( biểu thức ) Lệnh hoặc khối lệnh; Nh vậy toán tử while gồm một biểu thức và thân chu trình. Thân chu trình có thể là một lệnh hoặc một khối lệnh. Hoạt động của chu trình ... biểu thức. Nếu biểu thức đúng ( biểu thức có giá trị khác 0 ) máy sẽ thực hiện khối lệnh 1 và sau đó sẽ thực hiện các lệnh tiếp sau lệnh if trong chơng trình. Nếu biểu thức...

Ngày tải lên: 18/08/2012, 11:08

... q 0 q 2 q 1 Bài tập Lý thuyết Ngôn ngữ Hình thức và Automata Trường ĐH Bách Khoa - Khoa CNTT - Người soạn: Hồ Văn Quân 4/5 PHẦN NGÔN NGỮ PHI NGỮ CẢNH 19. Tìm các VPPNC cho các ngôn ngữ sau: L 1 = {a 2n+1 bn +2 : ... q 3 q 4 q 5 M 5 Bài tập Lý thuyết Ngôn ngữ Hình thức và Automata Trường ĐH Bách Khoa - Khoa CNTT - Người soạn: Hồ Văn Quân 3/5 10. Tìm dfa tối...

Ngày tải lên: 13/10/2012, 09:16

... thiệu  Ôtômát  Các mô hình tính toán tự động  Ngôn ngữ hình thức (formal languages):  Định nghĩa  Phân loại ngôn ngữ  Quan hệ với ôtômát  Ứng dụng vào việc xây dựng các ngôn ngữ lập trình  Trang ... hữu hạn  Chương 3 Ngôn ngữ chính qui và văn phạm chính qui  Chương 4 Các tính chất của ngôn ngữ chính qui  Chương 5 Ngôn ngữ phi ngữ cảnh  Chương 6...

Ngày tải lên: 13/10/2012, 09:16