... (q, ε) }
δ (q, 1, B) = { (q, B), (q, ε) }
Câu 7 (2.0 điểm): Bạn hãy thi t kế một máy Turing đểthực hiện phép nhân 3 một số nguyên n
dương (n > 0).
Chú ý: trên băng nhập đã được cho trước ... 0B
1
| 0B
2
| 0B
1
B
2
Tập luật sinh trên đã thỏa dạng chuẩn Greibach.
Câu 6 (1.5 điểm): Bạn hãy thi t kế một PDA tương đương với văn phạm phi ngữ cảnh có tập luật
sinh như sau:
S → 0SA | 1SB ... 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ônngữ L.
Vậy giả thi t L là ngônngữ chính quy sai, hay L không là ngônngữ chính quy.
Câu 2 (2.0 điểm): Bạn hãy...
... thứcvà ôtômat.
Tác gi
ả mong nhận được sự chỉ giáo của các đồng nghiệp và độc giả về
những thi u sót khó tránh khỏi của cuốn sách.
Trọng Đông năm Giáp Thân (2004)
Nguyễn Gia Định
2
2.1.11. ... quan tâm đến cách thứ nhất, tức là ta xét văn phạm
như là một thi t bị tự động” sinh ra các từ. Vì lẽ đó mà người ta còn gọi các
thi t bị tự động” đó là văn phạm sinh.
Việc sinh ra các từ ... là chỉ cần giữ lại các ký hiệu và các quy tắc có ích trong văn
phạm G mà chúng thực sự là cần thi t trong quá trình sinh ngônngữ mà thôi.
3.1.4. Định nghĩa:
Cho văn phạm phi ngữ cảnh G=<Σ,...
... HỮU HẠN
TRƯỜNG ĐẠI HỌC BÁCH KHOA ĐÀ NẴNG
1. Otomat hữu hạn đơn định
1.3. Biểu diễn các hàm chuyển trạng thái
Dùng bảng:
Ví dụ: có hàm chuyển của một Otomat như sau:
δ(1,a)=2, δ(2,b)=2, δ(2,c)=2
δ ... đơn định(Deterministic
finite automata –DFA)
1.1. Mô tả
-
Ôtômát hu hn l mt cỏi mỏy oỏn nhn xõu
gm:
ã
Mt băng vào được chia thành nhiều ô, mỗi ô
chứa mt ký hiu ca xõu vo
ã
Mt u c, mi thi điểm ... ôtômat đoán nhận L(M) là:
-
Một số nhị phân chẵn có độ dài xâu lớn hơn 2.
-
Một số nguyên có dấu, không dấu.
-
Một số nguyên không dấu của NNLT C
-
Một số thực tĩnh có dấu, không dấu.
Giáo trình...
... văn phạm phi
ngữ cảnh có vai trò quan trọng nhất trong việc ứng dụng để xây dựng các ngônngữ
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, ... ôtômat hữu hạn.
Trường hợp đơn giản nhất là thi t bị không có bộ nhớ mà ở mỗi thời điểm,
thông tin ra chỉ phụ thuộc vào thông tin vào lúc đó. Các thi t bị như vậ
y là mô hình
của các mạch tổ ... cho, ta có thể chọn một quy cách hoạt
động của thi t bị tự động” để sau một số hữu hạn bước làm việc nó dừng và sinh
ra chính từ đó.
Cách 2:
Thi t bị tự động” có khả năng lần lượt sinh ra...
... thứcvà ôtômat.
Tác gi
ả mong nhận được sự chỉ giáo của các đồng nghiệp và độc giả về
những thi u sót khó tránh khỏi của cuốn sách.
Trọng Đông năm Giáp Thân (2004)
Nguyễn Gia Định
2
2.1.11. ... văn phạm phi
ngữ cảnh có vai trò quan trọng nhất trong việc ứng dụng để xây dựng các ngônngữ
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, ... cho, ta có thể chọn một quy cách hoạt
động của thi t bị tự động” để sau một số hữu hạn bước làm việc nó dừng và sinh
ra chính từ đó.
Cách 2: Thi t bị tự động” có khả năng lần lượt sinh ra...
... P. Không mất tính chất tổng
quát, ta giả thi t rằng
P không là một khoá tối thi u của s’, có nghĩa là nếu A∈K
s
thì A⊂
P. Vì việc tìm một khoá tối thi u của một sơ đồ quan hệ cho trước được ... định nghĩa của khoá tối thi u, ta
thấy nếu A∈K
s’
thì A∈K
s
. Ngược lại, nếu B là một khoá tối thi u của s thì do
C→{a}∈F, ta có a∉B. Mặt khác, do định nghĩa của khoá tối thi u, ta có B∈K
s’
. ... 3-CONSAT là NP-đầy đủ.
2.8. Định lý: Ngônngữ KNAPSACK là NP-đầy đủ.
2.9. Định lý (J. Demetrovics − V.Đ. Thi, 1999): Cho s = (U, F) là một sơ đồ quan
hệ trên
U. Giả sử U={a
1
, …, a
n
} và...
... thựcthi được gọi là thời gian thực
thi (run time).
Chương trình
ngu n
Chương trình
đích
Máy tính
thực thi
Dữ liệu
Kết quả
Trình
biên dịch
Thời gian dịch Thời gian thựcthi ... của các ngôn ngữ.
Phân loại: 1) Ngônngữ máy (machine language),
2) Hợp ngữ (assembly language),
3) Ngônngữ cấp cao (higher-level language).
Bởi vì máy tính chỉ có thể hiểu ngônngữ máy ... này được gọi là mode địa chỉ nếu là 00
và mode trực tiếp – toán hạng nếu là 10. Vì vậy 8 bit của chỉ thị 1 và 3 là địa chỉ,
ngược lại ở chỉ thị 2, 00000010 là toán hạng, hằng nguyên có trị 2....
... i). Tiếp theo ứng với các chỉ số i, máy Turing M’ thi t lập sự
mô tả mã của máy Turing thứ i trong dãy các máy Turing M
1
, M
2
, …Cuối cùng M
thi t lập sự mô tả chuẩn của từ ω
i
và M
i
, <M
i
ω
i
>. ... if 1 then go to 1,
10: stop,
Các máy Turing và các hàm có thể tính được bằng máy Turing đóng vai trò
quan trọng trong lý thuyết thuật toán. Cơ sở cho việc xây dựng một số lý thuyết
thuật ...
f
M
=ωBω.
4.1.7. Định nghĩa: Cho hàm f: D
⎯
→
⎯
N, với N là tập số tự nhiên, D⊂N
m
và m là
một số nguyên dương. Ở đây, với mỗi số tự nhiên n, ký hiệu
n=1
n+1
. Ta nói hàm f
có thể tính được bằng...
... vAx
trong G
A
, do đó A vAx trong G. Tiếp đến xét cây T’’, ta có A w trong G
A
, do
đó A w trong G. Cuối cùng, S uAy, A vAx và A w. Từ đó, ta có
S uAy uwy,
S uAy uvAxy uvwxy,
S uAy uvAxy ... văn phạm phi
ngữ cảnh có vai trò quan trọng nhất trong việc ứng dụng để xây dựng các ngônngữ
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, ... là chỉ cần giữ lại các ký hiệu và các quy tắc có ích trong văn
phạm G mà chúng thực sự là cần thi t trong quá trình sinh ngônngữ mà thôi.
3.1.4. Định nghĩa: Cho văn phạm phi ngữ cảnh G=<Σ,...
... ôtômat hữu hạn.
Trường hợp đơn giản nhất là thi t bị không có bộ nhớ mà ở mỗi thời điểm,
thông tin ra chỉ phụ thuộc vào thông tin vào lúc đó. Các thi t bị như vậ
y là mô hình
của các mạch tổ ... định nào đoán nhận các
ngôn ngữ sau:
a) L = {ωω | ω∈{a, b}
*
}.
b) L = {a
p
| p là một số nguyên tố}.
4. Hãy xây dựng các ôtômat hữu hạn không đơn định đoán nhận các ngônngữ sau:
a) ... thái q
i
(hay bởi cả a
i
và q
i
).
2.1.2. Định nghĩa: Một ôtômat hữu hạn đơn định hay một DFA (Deteministic
Finite Automata) là một bộ năm
A = <Q, Σ, δ, q
0
, F>,
trong đó:
− Q là một...
... NGHIỆM chú ý MSMH: 501038.
2. Sinh viên phải điền họ tên và MSSV của mình vào đề thi. Sinh viên NỘP lại đề thi.
3. Đề gồm 4 trang, 50 câu.
4. Sinh viên chỉ được phép sử dụng tài liệu trong ... k ≥ 0}. Giả sử L phi ngữ cảnh, rõ ràng L vô hạn nên có thể áp dụng bổ
đề bơm. Gọi m là hằng số nguyên dương được chỉ ra trong bổ đề bơm, chuỗi w =
2
mmm
cba
∈ L thỏa | w | ≥ m.
Do đó có thể ...
(E). Tất cả đều sai. tuyến tính và PNC đơn định.
Trang 1
Đại học Quốc gia Tp. Hồ Chí Minh ĐềThi Học Kỳ 1/2003
Trường Đại Học Bách Khoa Môn Lý Thuyết Automat&NNHT - 501038
Khoa Công...
... công cụ Windows Help Designer Pro (down load từ
http://www.devgr.com)
♦ Phần 8 : Giới thi u chuơng trình kết quả.
♦ Phần 9 : Phụ lục - Mã chương trình
♦ Phần 10 : Giới thi u các tài liệu tham ... token.
♦ Phần 7 : Thi t kế Help : đây cũng là một phần quan trọng của một chương trình trợ giúp học
tập, trong phần này chú trọng tìm hiểu thi t kế một hệ thống Help. Đặc biệt là thi t kế hệ thống ... được biên dịch để tạo ra file thựcthi a.out.
3- Cấu Trúc File Đặc Tả Yacc
File đặc t cú dng tng quỏt nh sau :
Declarations
%%
Translation rules
%%
C-routine codes
ã Phần khai báo : Khai báo các...