1. Trang chủ
  2. » Cao đẳng - Đại học

CNTT Li thuyet Otomat

136 25 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Nội dung

Cách chứng minh định lý này cũng tương tự như cách chứng minh của định lý 7.9 ở chương trước về sự tương đương giữa lớp ngôn ngữ sinh từ văn phạm loại 0 với lớp ngôn ngữ mà máy Turing ch[r]

Ngày đăng: 01/11/2021, 15:40

HÌNH ẢNH LIÊN QUAN

Hình 1.3 -Cây minh họa một câu đơn - CNTT Li thuyet Otomat
Hình 1.3 Cây minh họa một câu đơn (Trang 7)
Nói chung, một mô hình ôtômát thường bao gồm những thành phần chủ yếu như sau: - CNTT Li thuyet Otomat
i chung, một mô hình ôtômát thường bao gồm những thành phần chủ yếu như sau: (Trang 15)
Hình 2. 1- Mô hình chung cho một ôtômát - CNTT Li thuyet Otomat
Hình 2. 1- Mô hình chung cho một ôtômát (Trang 16)
Chẳng hạn, sơ đồ chuyển của một DFA được mô tả trong hình 3.1. Trạng thái khởi đầu q0 được chỉ bằng mũi tên có nhãn "Start" - CNTT Li thuyet Otomat
h ẳng hạn, sơ đồ chuyển của một DFA được mô tả trong hình 3.1. Trạng thái khởi đầu q0 được chỉ bằng mũi tên có nhãn "Start" (Trang 19)
Theo mô tả DFA như trên, ta thấy cũng có thể dùng bảng hàm chuyển (transition table) để mô tả các phép chuyển trạng thái của một ôtômát hữu hạn - CNTT Li thuyet Otomat
heo mô tả DFA như trên, ta thấy cũng có thể dùng bảng hàm chuyển (transition table) để mô tả các phép chuyển trạng thái của một ôtômát hữu hạn (Trang 21)
Hình 3.3 - Sơ đồ chuyển của một NFA - CNTT Li thuyet Otomat
Hình 3.3 Sơ đồ chuyển của một NFA (Trang 22)
Một cách hình thức ta định nghĩa ôtômát hữu hạn không đơn định NFA là một bộ 5 thành phần (Q, S, d, q0, F) trong đó Q, S, q0 và F có ý nghĩa như trong DFA, nhưng d là hàm chuyển ánh xạ từ Q ´ S ® 2Q. - CNTT Li thuyet Otomat
t cách hình thức ta định nghĩa ôtômát hữu hạn không đơn định NFA là một bộ 5 thành phần (Q, S, d, q0, F) trong đó Q, S, q0 và F có ý nghĩa như trong DFA, nhưng d là hàm chuyển ánh xạ từ Q ´ S ® 2Q (Trang 23)
Thí dụ 3. 4: Xét sơ đồ chuyển của hình 3.3. Theo khái niệm hình thức, ta có : NFA M ({q0, q1, q2, q3, q4}, {0, 1}, d, q0, {q2, q4 }) với hàm chuyển như sau : - CNTT Li thuyet Otomat
h í dụ 3. 4: Xét sơ đồ chuyển của hình 3.3. Theo khái niệm hình thức, ta có : NFA M ({q0, q1, q2, q3, q4}, {0, 1}, d, q0, {q2, q4 }) với hàm chuyển như sau : (Trang 24)
Theo khái niệm hình thức, ta có NF AM ({q 0, q 1, q2}, {0,1, 2}, d,q 0, {q 2}) với hàm chuyển d như sau : - CNTT Li thuyet Otomat
heo khái niệm hình thức, ta có NF AM ({q 0, q 1, q2}, {0,1, 2}, d,q 0, {q 2}) với hàm chuyển d như sau : (Trang 27)
Qua khảo sát các dạng mở rộng từ mô hình ôtômát hữu hạn ban đầu, ta thấy DFA thực chất là một trường hợp đặc biệt của NFA, nhưng : - CNTT Li thuyet Otomat
ua khảo sát các dạng mở rộng từ mô hình ôtômát hữu hạn ban đầu, ta thấy DFA thực chất là một trường hợp đặc biệt của NFA, nhưng : (Trang 30)
Hình 3.5 - NFA tương đương cho thí dụ 3.9 1.6. Giải thuật xây dựng DFA từ NFA - CNTT Li thuyet Otomat
Hình 3.5 NFA tương đương cho thí dụ 3.9 1.6. Giải thuật xây dựng DFA từ NFA (Trang 30)
Ta xây dựng các trạng thái và bảng hàm chuyển cho DFA theo cách như sau: - CNTT Li thuyet Otomat
a xây dựng các trạng thái và bảng hàm chuyển cho DFA theo cách như sau: (Trang 31)
Hình 3.6 – Thí dụ chuyển NFA có e -dịch chuyển Các bước xây dựng tập trạng thái cho DFA : - CNTT Li thuyet Otomat
Hình 3.6 – Thí dụ chuyển NFA có e -dịch chuyển Các bước xây dựng tập trạng thái cho DFA : (Trang 32)
Từ bảng hàm chuyển như trên, ta xây dựng DFA tương đương nhận dạng cùng ngôn ngữ có dạng như sau : - CNTT Li thuyet Otomat
b ảng hàm chuyển như trên, ta xây dựng DFA tương đương nhận dạng cùng ngôn ngữ có dạng như sau : (Trang 32)
Hình 3.7 - DFA tương đương cho thí dụ 3.10 - CNTT Li thuyet Otomat
Hình 3.7 DFA tương đương cho thí dụ 3.10 (Trang 33)
Hình a- Phép hợp - CNTT Li thuyet Otomat
Hình a Phép hợp (Trang 37)
Cách xây dựn gM được chỉ ra trong hình c. Mỗi đường đi từ q0 tới f0 gồm: hoặc đường đi từ q0 tới f0 bằng nhãn e; hoặc đường đi từ q0 tới q1 bằng nhãn e và sau đó là đường đi từ q1 tới f1 trên chuỗi thuộc L(M), rồi đến f0 bằng nhãn e - CNTT Li thuyet Otomat
ch xây dựn gM được chỉ ra trong hình c. Mỗi đường đi từ q0 tới f0 gồm: hoặc đường đi từ q0 tới f0 bằng nhãn e; hoặc đường đi từ q0 tới q1 bằng nhãn e và sau đó là đường đi từ q1 tới f1 trên chuỗi thuộc L(M), rồi đến f0 bằng nhãn e (Trang 38)
Hình 3.10 – DFA cho ví dụ 3.13 - CNTT Li thuyet Otomat
Hình 3.10 – DFA cho ví dụ 3.13 (Trang 41)
Hình 4.2 - Xây dựng NFA cho 0(10)* từ văn phạm tuyến tính trái ĐỊNH LÝ 4.2 : Nếu L là một tập hợp chính quy, thì L được sinh từ một văn phạm tuyến tính trái hoặc một văn phạm tuyến tính phải nào đó. - CNTT Li thuyet Otomat
Hình 4.2 Xây dựng NFA cho 0(10)* từ văn phạm tuyến tính trái ĐỊNH LÝ 4.2 : Nếu L là một tập hợp chính quy, thì L được sinh từ một văn phạm tuyến tính trái hoặc một văn phạm tuyến tính phải nào đó (Trang 48)
Thí dụ 4. 4: Trong Hình 4.3 ta thấy sơ đồ chuyển DFA cho 0(10)* Văn phạm tuyến tính phải sinh từ DFA này có dạng : - CNTT Li thuyet Otomat
h í dụ 4. 4: Trong Hình 4.3 ta thấy sơ đồ chuyển DFA cho 0(10)* Văn phạm tuyến tính phải sinh từ DFA này có dạng : (Trang 49)
Thí dụ 5. 5: Xét văn phạm và cây dẫn xuất trong Hình 5.1. Đọc các lá theo thứ tự từ trái sang phải ta có chuỗi aabbaa, trong trường hợp này tất cả các lá đều là ký hiệu kết thúc, nhưng nói chung cũng không bắt buộc như thế, lá có thể có nhãn là e hoặc bi - CNTT Li thuyet Otomat
h í dụ 5. 5: Xét văn phạm và cây dẫn xuất trong Hình 5.1. Đọc các lá theo thứ tự từ trái sang phải ta có chuỗi aabbaa, trong trường hợp này tất cả các lá đều là ký hiệu kết thúc, nhưng nói chung cũng không bắt buộc như thế, lá có thể có nhãn là e hoặc bi (Trang 58)
Hình 5.5 - Các bước dẫn xuất trong chứng minh Bổ đề bơm Ứng dụng bổ đề bơm - CNTT Li thuyet Otomat
Hình 5.5 Các bước dẫn xuất trong chứng minh Bổ đề bơm Ứng dụng bổ đề bơm (Trang 74)
Bảng các Vij cho ở hình 5.8 dưới đây. Dòng đầu tiên trong bảng được cho bởi các bước (1) và (2) trong giải thuật - CNTT Li thuyet Otomat
Bảng c ác Vij cho ở hình 5.8 dưới đây. Dòng đầu tiên trong bảng được cho bởi các bước (1) và (2) trong giải thuật (Trang 80)
Hình 6. 1- Mô tả một PDA - CNTT Li thuyet Otomat
Hình 6. 1- Mô tả một PDA (Trang 83)
Hình 6.2 - Mô tả hoạt động của PDA chấp nhận ngôn ngữ {wcwR |w Î (0+1) *} - CNTT Li thuyet Otomat
Hình 6.2 Mô tả hoạt động của PDA chấp nhận ngôn ngữ {wcwR |w Î (0+1) *} (Trang 84)
Một cách hình thức, đặt M’(Q A´ QM, S, G,d, [p0, q0], Z0, FA ´ FM), trong đó hàm chuyển d được xác định như sau : - CNTT Li thuyet Otomat
t cách hình thức, đặt M’(Q A´ QM, S, G,d, [p0, q0], Z0, FA ´ FM), trong đó hàm chuyển d được xác định như sau : (Trang 94)
Hình 7.2 -  TM với băng 3 rãnh - CNTT Li thuyet Otomat
Hình 7.2   TM với băng 3 rãnh (Trang 103)
Để làm đầy đủ chương trình ta phải thêm các trạng thái để biến đổi hình thái khởi đầu q00m10n thành B0m-11q10n1 - CNTT Li thuyet Otomat
l àm đầy đủ chương trình ta phải thêm các trạng thái để biến đổi hình thái khởi đầu q00m10n thành B0m-11q10n1 (Trang 106)
Hình 7.4 -  Máy Turin g1 băng mô phỏng máy Turing 3 băng - CNTT Li thuyet Otomat
Hình 7.4   Máy Turin g1 băng mô phỏng máy Turing 3 băng (Trang 109)

TỪ KHÓA LIÊN QUAN

TRÍCH ĐOẠN

MÁY TURING NHƯ LÀ MỘT BỘ LIỆT KÊ

CÁC KỸ THUẬT XÂY DỰNG MÁY TURING

CÁC BIẾN DẠNG CỦA MÁY TURING 4.1 Máy Turing với băng vô hạn 2 chiều MÁY TURING NHƯ LÀ MỘT BỘ LIỆT KÊ 6.1 Tính chất đệ qui liệt kê của tập sinh SỰ TƯƠNG ĐƯƠNG GIỮA VĂN PHẠM KIỂU VÀ MÁY TURING ÔTÔMÁT TUYẾN TÍNH GIỚI NỘI (LBA) VĂN PHẠM CẢM NGỮ CẢNH (CSG) Tin Học Lý Thuyết BÀI TẬP CHƯƠNG

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

w