ngôn ngữ hình thức otomat
Giáo trình : Lý thuyết, ngôn ngữ hình thức và Otômat
Ngày tải lên :
12/09/2012, 16:21
... 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ữ ... phạm hình thức và các ôtômat cũng
như máy Turing, là những công cụ sinh ngôn ngữ, đồng thời đề cập đến các tính
chất của ngôn ngữ chính quy, ngôn ngữ phi ngữ cảnh, ngôn ngữ đệ quy và 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ì các quy tắc của các văn phạm
phi ngữ cảnh...
- 107
- 4.3K
- 54
Ngon ngu hinh thuc va otomat
Ngày tải lên :
02/05/2013, 21:26
... giáo trình
CHƯƠNG 1. MỞ ĐẦU
CHƯƠNG 2. ÔTÔMÁT HỮU HẠN
CHƯƠNG 3. BIỂU THỨC VÀ VĂN PHẠM CHÍNH QUI
CHƯƠNG 4. VĂN PHẠM VÀ NGÔN NGỮ PHI NGỮ CẢNH
CHƯƠNG 5. ÔTÔMÁT ĐẨY XUỐNG
CHƯƠNG 6. MÁY TURING
TRƯỜNG ĐẠI ... tính và Hệ
điều hành
1
ĐẠI HỌC ĐÀ NẴNG
TRƯỜNG ĐẠI HỌC BÁCH KHOA
KHOA CÔNG NGHỆ THÔNG TIN
NGÔN NGỮ HÌNH THỨC & ÔTÔMÁT
Giáo trình Kiến trúc máy tính và Hệ
điều hành
41
CHƯƠNG 2. ÔTÔMÁT HỮU ... ĐẦU
TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG
2. Văn phạm
2.3. Ngôn ngữ được sinh ra từ văn phạm
-
Tập hợp các câu được sinh ra từ văn phạm sẽ
tạo nên ngôn ngữ.
-
Xác định câu được sinh ra từ văn phạm:
Từ...
- 174
- 2.6K
- 99
Tài liệu Lý thuyết và ngôn ngữ hình thức và Ôtômat pdf
Ngày tải lên :
20/12/2013, 19:15
... học. 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 ... sinh ra ngôn ngữ L
1
L
2
.
1.3.5. Hệ quả:
Nếu L
1
và L
2
là hai ngôn ngữ chính quy (t.ư. phi ngữ cảnh, cảm
ngữ cảnh) thì L
1
L
2
cũng là ngôn ngữ chính quy (t.ư. phi ngữ cảnh, cảm ngữ cảnh). ... quy.
1.3.7. Mệnh đề:
Mọi ngôn ngữ hữu hạn đều là ngôn ngữ chính quy.
Chứng minh:
Ngôn ngữ hữu hạn là hợp hữu hạn của các ngôn ngữ một từ, nên từ
Thí dụ 13 (ngôn ngữ một từ là chính quy) và...
- 107
- 1.3K
- 44
Tài liệu Đề thi môn ngôn ngữ hình thức và otomat doc
Ngày tải lên :
23/12/2013, 05:15
... hãy chứng minh ngôn ngữ sau đây không là ngôn ngữ
chính quy: L = {a
i
b
j
c
j
d
i
| i, j ≥ 1}
Giả sử L là ngôn ngữ chính quy. Khi đó sẽ tồn tại một DFA M chấp nhận cho ngôn ngữ L.
Gọi n ... hiệu a nhiều hơn ký
hiệu d, hay chuỗi uv
2
w không thuộc ngôn ngữ L.
Vậy giả thiết L là ngôn ngữ chính quy sai, hay L không là ngôn ngữ chính quy.
Câu 2 (2.0 điểm): Bạn hãy tìm một DFA tương ... sau:
DFA tương đương:
Câu 3 (1.5 điểm): Bạn hãy vẽ một automata hữu hạn chấp nhận cho ngôn ngữ được ký hiệu bởi
biểu thức chính quy sau: ( (a + ab) b* a )*
Cách 1:
start
[q
1
]
[q
2
]
[q
3
]
[q
1
,...
- 4
- 4K
- 78
Lý thuyết ngôn ngữ hình thức và Ôtômat doc
Ngày tải lên :
20/06/2014, 19:20
... L
1
và L
2
là hai ngôn ngữ chính quy (t.ư. phi ngữ cảnh, cảm
ngữ cảnh) thì L
1
∪ L
2
cũng là ngôn ngữ chính quy (t.ư. phi ngữ cảnh, cảm ngữ
cảnh).
Thí dụ 14: Cho hai ngôn ngữ L
1
={a
n
cb
2n
... cơ bản của ngôn ngữ, cấu trúc của văn
phạm sinh ra ngôn ngữ và sự phân cấp Chomsky của ngôn ngữ.
Chương II: Trình bày về ngôn ngữ chính quy, trong đó có các công cụ sinh ra
ngôn ngữ chính quy ... phân cấp
Chomsky
.
Ngôn ngữ hình thức được gọi là ngôn ngữ tổng quát (t.ư. cảm ngữ cảnh, phi
ngữ cảnh, chính quy) nếu tồn tại văn phạm tổng quát (t.ư. cảm ngữ cảnh, phi ngữ
cảnh, chính quy)...
- 107
- 518
- 5
Lý thuyết ngôn ngữ hình thức và ôtômát - Phụ lục pptx
Ngày tải lên :
23/07/2014, 02:20
... phạm và ngôn ngữ hình thức, NXB Khoa
học và Kỹ thuật, Hà Nội, 1991.
[3] Đỗ Đức Giáo,
Toán rời rạc, NXB Đại học Quốc Gia Hà Nội, Hà Nội, 2000.
[4] Lê Mạnh Thạnh,
Nhập môn ngôn ngữ hình thức ... các ngôn ngữ mà ta sẽ
gọi là các ngôn ngữ NP-đầy đủ nhận được thực tế từ mọi lĩnh vực của toán học.
1.10. Định nghĩa: Ngôn ngữ L
1
⊂Σ
1
*
được gọi là dẫn được trong thời gian đa thức
về ngôn ...
98
đoán nhận chính ngôn ngữ như M
1
. (Nói chung, T(n) nhận giá trị lớn hơn T
1
(n)
nhưng vẫn là đa thức) . Tương tự, mỗi ngôn ngữ là trong giới hạn đa thức đối với
một mô hình máy Turing chuẩn...
- 13
- 424
- 2
Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 5 pps
Ngày tải lên :
23/07/2014, 02:20
... mà ngôn ngữ lập trình cổ điển có.
4. Mở rộng ngôn ngữ (language extension). Bộ tiền xử lý tăng khả năng cho ngôn
ngữ bằng một số các macro nội tại của nó. Thí dụ ngôn ngữ Equel là ngôn ngữ ... phép chiếu ngữ nghĩa, trong đó cấu trúc cú pháp của câu trong
ngôn ngữ nguồn sẽ được ánh xạ đến vùng xuất – đó là ngôn ngữ đích (cuối cùng
cũng là ngôn ngữ máy). Ngữ nghĩa của ngôn ngữ là phép ... của các ngôn ngữ.
Phân loại: 1) Ngôn ngữ máy (machine language),
2) Hợp ngữ (assembly language),
3) Ngôn ngữ cấp cao (higher-level language).
Bởi vì máy tính chỉ có thể hiểu ngôn ngữ máy...
- 17
- 475
- 1
Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 4 pps
Ngày tải lên :
23/07/2014, 02:20
... được.
4.3.6. Định lý: Một ngôn ngữ hình thức là loại 0 khi và chỉ khi nó là đệ quy đếm
được. Điều này có nghĩa là lớp ngôn ngữ hình thức loại 0 chính là lớp ngôn ngữ đệ
quy đếm được.
4.3.7. ... M được gọi là ngôn ngữ
được đoán nhận bởi M, ký hiệu T(M).
M
Ngôn ngữ được đoán nhận bởi máy Turing còn được gọi là ngôn ngữ đệ quy
đếm được (Recursively Enumerable). Ngôn ngữ được đoán nhận ... vấn đề ngôn ngữ này có thuộc hay không lớp con đã cho của lớp các
ngôn ngữ đệ quy đếm được.
Ta nói rằng một tính chất của các ngôn ngữ đệ quy đếm được là tầm thường
nếu hoặc mọi ngôn ngữ đệ...
- 17
- 387
- 0
Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 3 pdf
Ngày tải lên :
23/07/2014, 02:20
... đoán
nhận hết lớp ngôn ngữ phi ngữ cảnh. Còn ôtômat đẩy xuống đơn định chỉ có khả
năng đoán nhận được lớp con thực sự của lớp ngôn ngữ phi ngữ cảnh mà thôi. Tuy
vậy, lớp ngôn ngữ được đoán nhận ... tại ngôn ngữ cảm ngữ cảnh mà nó không phải là phi ngữ
cảnh.
u
v
w
x y
Chứng minh: Trong Thí dụ 10 của Chương I, ta đã biết ngôn ngữ L={a
m
b
m
c
m
| m
≥ 1} được sinh bởi văn phạm cảm ngữ ... Một văn phạm phi ngữ cảnh được gọi là nhập nhằng vĩnh cửu nếu không tồn
tại văn phạm phi ngữ cảnh đơn nghĩa nào tương đương với nó.
Ngôn ngữ do văn phạm G sinh ra gọi là ngôn ngữ nhập nhằng...
- 17
- 395
- 2
Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 2 pot
Ngày tải lên :
23/07/2014, 02:20
... (
r+s) là biểu thức chính quy biểu diễn ngôn ngữ R∪S, (rs) là biểu thức chính
quy biểu diễn ngôn ngữ R.S và (
r
*
) là biểu thức chính quy biểu diễn ngôn ngữ R
*
.
Trong biểu thức chính quy, ... biểu thức chính quy, nó biểu diễn ngôn ngữ {ε}.
3) Nếu a
∈Σ thì a là biểu thức chính quy, nó biểu diễn ngôn ngữ {a}.
4) Nếu r, s tương ứng là biểu thức chính quy trên
Σ biểu diễn ngôn ngữ R, ... một ngôn ngữ được đoán nhận
bởi một ôtômat hữu hạn đơn định là chính quy. Do đó hệ quả trên cho biết tồn tại
một ngôn ngữ phi ngữ cảnh mà không là ngôn ngữ chính quy, tức là lớp các ngôn
ngữ...
- 23
- 406
- 0
Bài tập lý thuyết ngôn ngữ hình thức và automata
Ngày tải lên :
13/10/2012, 09:16
...
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 giản cho các ngôn ngữ sau:
L
1
= {anbm: n ≥ 2, ... phương pháp Earley.
G:
E → T|E + T F → I|(E)
T → F|T * F I → a|b|c
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 2/5
Dfa M
1
...
- 5
- 6.2K
- 215
Bài giảng môn học lý thuyết automata và ngôn ngữ hình thức
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
... 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 Đơn giản hóa văn phạm phi ngữ cảnh và các ... phép toán trên ngôn ngữ
Bù (complement),
Bù của ngôn ngữ 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ôn ngữ L
1
, L
2
. Kết nối của 2 ngôn ngữ L
1
, L
2
là:...
- 46
- 2.8K
- 28
Môn Lý Thuyết ngôn ngữ hình thức và automata
Ngày tải lên :
13/10/2012, 09:16
... cảnh)
(A). Tồn tại m
ột ngôn ngữ CNC mà không PNC. (B). Lớp ngôn ngữ đệ qui và CNC là đồng nhất.
(C). Lớp ngôn ngữ khả liệt kê đệ qui bao trùm mọi ngôn ngữ. (D). Lớp ngôn ngữ PNC chỉ bao gồm hai ... ngôn ngữ nào cũng tồn tại máy Turing chấp nhận nó. (D). Cả A, B, C đúng
(E). Chỉ có A, B đúng.
50. Từ các lớp ngôn ngữ đã nghiên cứu chúng ta có thể phát biểu (PNC: phi ngữ cảnh, CNC: cảm ngữ ...
(D). Cả A, B, C đúng (E).Cả A, B, C sai
47. Cho L
1
, L
2
là các ngôn ngữ PNC, L
3
là ngôn ngữ chính qui còn L
4
là ngôn ngữ không PNC. Thì
(A).
1
L
∩
2
L
là PNC.
(B).
4
L
là không...
- 5
- 2.1K
- 40