...
1
Chương 2
AUTOMATA HỮU HẠN VÀ
NGÔN NGỮ CHÍNH QUI
2
1.Automata hữu hạn
1.1 Giới thiệu phi hìnhthức về automata hữu hạn
1.2 Automata hữu hạn đơn định
1.3 Automata hữu hạn không đơn định
1.4 Automata ... rỗng
2. Ngônngữvà biểu thức chính qui
2.1 Biểu thức chính qui
2.2 Chuyển đổi giữa biểu thức chính qui và
automata hữu hạn
2.3 Các luật đại số cho biểu thức chính qui
2.4 Ngônngữ chính ... Q
N
và mỗi ký hiệu a thì:
Rp
ND
apaR
),(),(
3
Automata hữu hạn (Finite automata)
Lớp ngônngữNgônngữ chính qui”, được đoán
nhận bởi máy ảo, gọi tên là “automata hữu hạn”.
Automata...
... đẩy xuống vàngônngữ phi ngữ cảnh
+ Ngữ pháp phi ngữ cảnh cho automat đẩy xuống
+ Automat đẩy xuống đơn định vàngônngữ phi ngữ
cảnh đơn định
+ Ngữ pháp cho ngônngữ phi ngữ cảnh đơn định
... Turing
+ Ngônngữ đệ qui kể được vàngônngữ đệ qui
+ Ngữ pháp không giới hạn
+ Ngữ pháp không giới hạn vàngônngữ đệ qui kể được
+ Ngữ pháp cảm ngữ cảnh và các ngônngữ
Tóm tắt các PPGD:
+ Thuyết ... giữa
Automat đẩy xuống không đơn
định vàngônngữ phi ngữ cảnh.
Nội Dung (ND) trên lớp:
+ Automat đẩy xuống không đơn định
+ Ngônngữ chấp nhận bởi Automat đẩy xuống
+ Automat đẩy xuống và ngôn...
... thiệu
Ôtômát
Các mô hình tính toán tự động
Ngôn ngữhìnhthứ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ônngữ lập trình
... hạn
Chương 3 Ngônngữ chính qui và văn phạm chính qui
Chương 4 Các tính chất của ngônngữ chính qui
Chương 5 Ngônngữ phi ngữ cảnh
Chương 6 Đơn giản hóa văn phạm phi ngữ cảnh và các
dạng ... phép toán trên ngôn ngữ
Bù (complement),
Bù của ngônngữ L trên bảng chữ cái Σ, được kí hiệu là:
= Σ* - L
Kết nối, L
1
L
2
Cho 2 ngônngữ L
1
, L
2
. Kết nối của 2 ngônngữ L
1
, L
2
là:...
... là một ngônngữ trên
Σ
. Đặc biệt, tập
∅
là một ngônngữ trên
Σ
, gọi
là ngônngữ rỗng; tập {
ε
} cũng là một ngônngữ trên
Σ
, đây là ngônngữ chỉ chứa
từ rỗng và
Σ
*
là ngônngữ gồm ...
4
{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ì các quy tắc của các văn phạm
phi ngữ cảnh ... I:
NHẬP MÔN VỀ VĂN PHẠM
VÀ NGÔNNGỮHÌNH THỨC
1.1. KHÁI NIỆM NGÔN NGỮ.
1.1.1. Mở đầu:
Từ ngàn xưa con người muốn giao tiếp với nhau phải dùng ngôn ngữ. Ngôn
ngữ để con người có thể giao...
... Mệnh đề:
Mọi ngônngữ hữu hạn đều là ngônngữ chính quy.
Chứng minh:
Ngônngữ hữu hạn là hợp hữu hạn của các ngônngữ một từ, nên từ
Thí dụ 13 (ngôn ngữ một từ là chính quy) và từ Hệ quả 1.3.3 ... Nếu L
1
và L
2
là hai ngônngữ chính quy (t.ư. phi ngữ cảnh, cảm
ngữ cảnh) thì L
1
L
2
cũng là ngônngữ chính quy (t.ư. phi ngữ cảnh, cảm ngữ cảnh).
Thí dụ 15:
1) Cho hai ngônngữ L
1
={a
n
b
n
... học. Ngônngữhìnhthức được sử dụng trong việc
xây dựng các ngônngữ lập trình, lý thuyết về các chương trình d
ịch. Các ngôn
ngữ hìnhthức tạo thành một công cụ mô tả đối với các mô hình...
...
Lý thuyết thiết kế ngônngữ lập trình (ngôn ngữ người – máy và
dịch tự động);
Chuyển đổi từ ngônngữ lập trình này sang ngônngữ khác.
Ứng dụng:
Hiểu từng ngôn ngữ, điểm mạnh điểm ... trình ở ngônngữ đích (target program);
SL: ngônngữ nguồn (source languague);
TL: ngônngữ đích (target languague);
PL: ngônngữ lập trình (programming languague);
HLL: ngônngữ bậc ... (high level languague);
IL: ngônngữ trung gian (intermediate languague);
NL: ngônngữ tự nhiên (natural languague);
MC: mã máy (machine code);
ML: ngônngữ máy (machine languague);...
... cùng ngônngữ L) L
0
= {ε}
• Ngônngữ lặp (bao đóng Kleenr hoặc Closure)
• Ngônngữ lặp cắt (bao đóng dương – positive closure)
• Ngônngữ ngược.
• Ngônngữ cắt trái của ngônngữ X cho ngônngữ ... toán cơ bản trên ngônngữ :
Vì ngônngữ là 1 tập hợp nên ta có các phép toán đại số tập hợp trên ngôn ngữ.
• Phép hợp :
• Phép giao :
• Phép phần bù :
20
Automat vàngônngữhìnhthức …………………………………………………………….……….Ngô ... bơm.
20
Automat vàngônngữhìnhthức …………………………………………………………….……….Ngô Văn
Lương - ĐTH
ĐỀ CƯƠNG AUTOMAT
Câu 1 : Khái niệm về ngôn ngữ, từ(chuỗi,xâu) 1 số phép toán cơ bản trên từ và
trên ngôn ngữ. Các...