giáo trình ngôn ngữ hình thức và 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
... văn phạm, ngôn ngữ hình thức và ôtômat.
Chúng tôi xin chân thành cám ơn các đồng nghiệp đã động viên và góp ý
cho công việc viết giáo trình Lý thuyết ngôn ngữ hình thức và ôtômat này và lời ... 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ữ chỉ chứa
từ rỗng và
Σ
*
là ngôn ngữ gồm ... nhất.
Giáo trình này nhằm trình bày về văn 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ữ...
- 107
- 4.3K
- 54
Ngon ngu hinh thuc va otomat
Ngày tải lên :
02/05/2013, 21:26
... trạng thái
Băng vào
q
Bộ điều
khiển
Đầu đọc
Giáo trình Kiến trúc máy tính và Hệ
điều hành
3
Nội dung 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 HỌC BÁCH KHOA ĐÀ NẴNG
Giới thiệu
Giáo trình Kiến trúc máy tính và Hệ
điều hành
9
CHƯƠNG ... 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 HẠN
TRƯỜNG ĐẠI HỌC BÁCH...
- 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 ... từ ngôn ngữ họ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à ... tạp, ngữ nghĩa và lý thuyết về
tính đúng đắn của các ngôn ngữ lập trình, lý thuyết mật mã, lý thuyết các cấu trúc
dữ liệu và lý thuyết các cơ sở dữ liệu.
Lý thuyết ngôn ngữ hình thức và ôtômat...
- 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 ... a
lớn hơn n (và số ký hiệu d không đổi là n). Vậy trong chuỗi uv
2
w sẽ có số ký 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, ... 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 đương với NFA 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ý...
- 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
... văn phạm, ngôn ngữ hình thức và ôtômat.
Chúng tôi xin chân thành cám ơn các đồng nghiệp đã động viên và góp ý
cho công việc viết giáo trình Lý thuyết ngôn ngữ hình thức và ôtômat này và lời
cám ... 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ữ
đệ quy đếm được. Ngoài ra, giáo trình cũng giới thiệu sơ lược về trình biên
dịch, một phần ... phụ lục:
Chương I: Trình bày về các khái niệm 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...
- 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
... ôtômat và thuật toán, NXB Đại học và Trung học
chuyên nghiệp, Hà Nội, 1977.
[2] Đỗ Đức Giáo, Đặng Huy Ruận,
Văn 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, ... BCNF.
103
2.5. Định lý: Ngôn ngữ SAT là NP-đầy đủ.
2.6. Định lý: Ngôn ngữ CONSAT là NP-đầy đủ.
2.7. Định lý: Ngôn ngữ 3-CONSAT là NP-đầy đủ.
2.8. Định lý: Ngôn ngữ KNAPSACK là NP-đầy đủ. ... 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 ngữ...
- 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
... chương trình dùng để đọc một chương trình được viết
trong một ngôn ngữ lập trình được gọi là ngôn ngữ nguồn (source language) và
dịch chương trình đó sang chương trình tương ứng trong ngôn ngữ ... 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ữ ... lập trình (programming). Ngôn ngữ
dùng để lập trình được gọi là ngôn ngữ lập trình (programming language).
Viết chương trình để giải quyết vấn đề s
ẽ dễ dàng và tự nhiên hơn nếu ngôn
ngữ...
- 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
... 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. Chú ý: Nhờ vào Định ... 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ữ đệ ... thuộc ngôn ngữ hình thức đã cho hay không. Trong
trường hợp ngược lại thì bài toán được gọi là giải đượ
c bằng thuật toán. Như vậy,
một vấn đề giải được bằng thuật toán nếu và chỉ nếu ngôn ngữ hình...
- 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
... để xây dựng các ngôn ngữ
lập trình và chương trình dịch.
Trong quá trình dịch từ chương trình nguồn ra chương trình đích, người ta sử
dụng cấu trúc cú pháp của văn phạm phi ngữ cảnh để phân ... đ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 ... quá trình hình thành các xâu của
ngôn ngữ. Vì lẽ đó cần loại bỏ những yếu tố dư thừa không có ích trong việc sinh
ngôn ngữ, sao cho việc loại bỏ đó không làm ảnh hưởng tới quá trình sinh ngôn...
- 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, ... tập cơ sở trên là ngôn ngữ chính quy và
hợp, ghép, lặp của một số hữu hạn của chúng cũng là ngôn ngữ chính quy. Do đó L
là một ngôn ngữ chính quy.
Giả sử L là một ngôn ngữ chính quy trên...
- 23
- 406
- 0
Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 1 ppt
Ngày tải lên :
23/07/2014, 02:20
... đưa cho máy bằng ngôn ngữ
máy hiểu được. Việ
c viết các yêu cầu ta gọi là lập trình. Ngôn ngữ dùng để lập
trình được gọi là ngôn ngữ lập trình.
Cả ngôn ngữ lập trình lẫn ngôn ngữ tự nhiên đều ... 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ữ chỉ chứa
từ rỗng và
Σ
*
là ngôn ngữ gồm tất ... {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 và...
- 16
- 525
- 4
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
... 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, ... văn phạm sau cho ngôn ngữ L = {w: n
a
(w) = n
b
(w)} không là văn phạm LL:
S → aSbbSaSSλ.
33. Tìm các văn phạm LL cho các ngôn ngữ sau (chỉ ra k bằng bao nhiêu) và dựa vào tính chất của...
- 5
- 6.2K
- 215