tài liệu đề thi môn ngôn ngữ hình thức và otomat doc

Tài liệu Đề thi môn ngôn ngữ hình thức và otomat doc

... (1.0 điểm): Áp dụng bổ đề bơm, bạn chứng minh ngôn ngữ sau không ngôn ngữ i j j i quy: L = {a b c d | i, j ≥ 1} Giả sử L ngôn ngữ quy Khi tồn DFA M chấp nhận cho ngôn ngữ L Gọi n số trạng thái ... uv2w có số ký hiệu a nhiều ký hiệu d, hay chuỗi uv2w không thuộc ngôn ngữ L Vậy giả thi t L ngôn ngữ quy sai, hay L không ngôn ngữ quy Câu (2.0 điểm): Bạn tìm DFA tương đương với NFA sau: b start ... 3] a a a [q 2, q 3] b b [q 3] Câu (1.5 điểm): Bạn vẽ automata hữu hạn chấp nhận cho ngôn ngữ ký hiệu biểu thức quy sau: ( (a + ab) b* a )* Cách 1: start b a q1 q2 a a b q3 Cách 2: sử dụng cách...

4
4,018
78

Lý thuyết ngôn ngữ hình thức và Ôtômat doc

Danh mục: Cơ sở dữ liệu

... Định nghĩa: Mỗi tập Σ* gọi ngôn ngữ hình thức hay ngắn gọn ngôn ngữ Σ Đặc biệt, tập ∅ ngôn ngữ Σ, gọi ngôn ngữ rỗng; tập {ε} ngôn ngữ Σ, ngôn ngữ chứa từ rỗng Σ* ngôn ngữ gồm tất từ Σ Thí dụ 4: ... phạm hình thức ôtômat máy Turing, công cụ sinh ngôn ngữ, đồng thời đề cập đến tính chất ngôn ngữ quy, ngôn ngữ phi ngữ cảnh, ngôn ngữ đệ quy ngôn ngữ đệ quy đếm Ngoài ra, giáo trình giới thi u ... 93 Tài liệu tham khảo 105 CHƯƠNG I: NHẬP MÔN VỀ VĂN PHẠM VÀ NGÔN NGỮ HÌNH THỨC 1.1 KHÁI NIỆM NGÔN NGỮ 1.1.1 Mở đầu: Từ ngàn xưa người muốn giao tiếp với phải dùng ngôn ngữ Ngôn ngữ...

107
518
5

Tài liệu Đề thi môn kế toán quản trị tiếng ANH doc

Danh mục: Kế toán - Kiểm toán

... Fran Corporation has $250,000 in profits, while the Transportation Division has $500,000 Based on this information, which unit would have a better rate of return? A Auto Division B Insufficient...

6
3,616
40

Tài liệu Lý thuyết và ngôn ngữ hình thức và Ôtômat pdf

Danh mục: Kỹ thuật lập trình

... Định nghĩa: Mỗi tập Σ* gọi ngôn ngữ hình thức hay ngắn gọn ngôn ngữ Σ Đặc biệt, tập ∅ ngôn ngữ Σ, gọi ngôn ngữ rỗng; tập {ε} ngôn ngữ Σ, ngôn ngữ chứa từ rỗng Σ* ngôn ngữ gồm tất từ Σ Thí dụ 4: ... phạm hình thức ôtômat máy Turing, công cụ sinh ngôn ngữ, đồng thời đề cập đến tính chất ngôn ngữ quy, ngôn ngữ phi ngữ cảnh, ngôn ngữ đệ quy ngôn ngữ đệ quy đếm Ngoài ra, giáo trình giới thi u ... 93 Tài liệu tham khảo 105 CHƯƠNG I: NHẬP MÔN VỀ VĂN PHẠM VÀ NGÔN NGỮ HÌNH THỨC 1.1 KHÁI NIỆM NGÔN NGỮ 1.1.1 Mở đầu: Từ ngàn xưa người muốn giao tiếp với phải dùng ngôn ngữ Ngôn ngữ...

107
1,328
44

Tài liệu ĐỀ THI MÔN XÁC SUẤT THỐNG KÊ SỐ 1 doc

Danh mục: Toán học

...

1
652
3

Tài liệu Đề thi môn Toán khối B&D năm 2010 doc

Danh mục: Cao đẳng - Đại học

... n thi n lim f ( x) = lim f ( x) = nờn y = l ti m c n ngang c a ủ th hm s x + 0.25 x lim f ( x) = +, lim = nờn x = l ti m c n ủ ng c a ủ th hm s x 1+ x 1

5
482
0

Tài liệu Đề thi môn tiền tệ ngân hàng khóa 6 doc

Danh mục: Ngân hàng - Tín dụng

...

1
791
1

Tài liệu Bài thi phân biệt các hình thức tín dụng docx

Danh mục: Cao đẳng - Đại học

... Nguyễn Phương Nam I/ Những vấn đề chung tín dụng: 1/Sự xuất vấn đề tín dụng: Tín dụng đời, tồn qua nhiều hình thái xã hội Kể từ ý thức phân công lao động xã hội hình thành, suất lao động gia tăng ... vay nặng lãi: - Hình thức tín dụng đời điều kiện trình độ sản xuất xã hội mức thấp kém, sản xuất phụ thuộc điều kiện thi n nhiên Khi rủi ro xuất đẩy người vào hoàn cảnh đặc biệt thi u thốn để đáp ... triển, thúc đẩy liên kết kinh tế nước khu vực nước châu lục khác II/ Các hình thức tín dụng: Chúng ta tìm hiểu phân biệt hình thức tín dụng sau đây: cho vay nặng lãi, tín dụng thương mại, tín dụng...

10
2,404
30

Giáo trình : Lý thuyết, ngôn ngữ hình thức và Otômat

Danh mục: Toán học

... Định nghĩa: Mỗi tập Σ* gọi ngôn ngữ hình thức hay ngắn gọn ngôn ngữ Σ Đặc biệt, tập ∅ ngôn ngữ Σ, gọi ngôn ngữ rỗng; tập {ε} ngôn ngữ Σ, ngôn ngữ chứa từ rỗng Σ* ngôn ngữ gồm tất từ Σ Thí dụ 4: ... phạm hình thức ôtômat máy Turing, công cụ sinh ngôn ngữ, đồng thời đề cập đến tính chất ngôn ngữ quy, ngôn ngữ phi ngữ cảnh, ngôn ngữ đệ quy ngôn ngữ đệ quy đếm Ngoài ra, giáo trình giới thi u ... 93 Tài liệu tham khảo 105 CHƯƠNG I: NHẬP MÔN VỀ VĂN PHẠM VÀ NGÔN NGỮ HÌNH THỨC 1.1 KHÁI NIỆM NGÔN NGỮ 1.1.1 Mở đầu: Từ ngàn xưa người muốn giao tiếp với phải dùng ngôn ngữ Ngôn ngữ...

107
4,319
54

Ngon ngu hinh thuc va otomat

Danh mục: Hệ điều hành

... ĐẦU Một số vấn đề ngôn ngữ 1.3 Biểu diễn ngôn ngữ  Ngôn ngữ phức tạp - Văn phạm: chế để sản sinh ngôn ngữ - Đối với ngôn ngữ tự nhiên: văn phạm hệ thống ngữ pháp - Đối với ngôn ngữ lập trình: ... vấn đề ngôn ngữ 1.2 Ngôn ngữ - Ngôn ngữ L chữ V tập hợp xâu V, L⊆V* - Các phép toán ngôn ngữ • Vì ngôn ngữ tập hợp nên có phép toán tập hợp: ∩(giao), ∪(hợp), -(hiệu), bù • Ghép tiếp ngôn ngữ ... NẴNG CHƯƠNG MỞ ĐẦU Một số vấn đề ngôn ngữ 1.3 Biểu diễn ngôn ngữ  Ngôn ngữ đơn giản - Phương pháp sử dụng tân từ P(x): ngôn ngữ mà xâu có đặc điểm Ví dụ: ngôn ngữ số thực nhỏ L={x/ (x∈ R) (x

174
2,557
99

Lý thuyết ngôn ngữ hình thức và ôtômát

Danh mục: Kĩ thuật Viễn thông

... Định nghĩa: Mỗi tập Σ* gọi ngôn ngữ hình thức hay ngắn gọn ngôn ngữ Σ Đặc biệt, tập ∅ ngôn ngữ Σ, gọi ngôn ngữ rỗng; tập {ε} ngôn ngữ Σ, ngôn ngữ chứa từ rỗng Σ* ngôn ngữ gồm tất từ Σ Thí dụ 4: ... phạm hình thức ôtômat máy Turing, công cụ sinh ngôn ngữ, đồng thời đề cập đến tính chất ngôn ngữ quy, ngôn ngữ phi ngữ cảnh, ngôn ngữ đệ quy ngôn ngữ đệ quy đếm Ngoài ra, giáo trình giới thi u ... 93 Tài liệu tham khảo 105 CHƯƠNG I: NHẬP MÔN VỀ VĂN PHẠM VÀ NGÔN NGỮ HÌNH THỨC 1.1 KHÁI NIỆM NGÔN NGỮ 1.1.1 Mở đầu: Từ ngàn xưa người muốn giao tiếp với phải dùng ngôn ngữ Ngôn ngữ...

107
1,185
7

Lý thuyết ngôn ngữ hình thức và ôtômát - Phụ lục pptx

Danh mục: Cao đẳng - Đại học

... ký hiệu KNAPSACK ngôn ngữ gồm từ 2.4 Định lý: Ngôn ngữ 2-CONSAT thuộc lớp P 100 2.5 Định lý: Ngôn ngữ SAT NP-đầy đủ 2.6 Định lý: Ngôn ngữ CONSAT NP-đầy đủ 2.7 Định lý: Ngôn ngữ 3-CONSAT NP-đầy ... quan trọng định ngôn ngữ nằm P xem tính Trên thực tế ta nói ngôn ngữ đệ quy bất trị không thuộc P Rõ ràng ngôn ngữ nằm P bất trị theo quan điểm thực hành Ta nói ngôn ngữ P có cận đa thức khổng lồ ... không đẳng thức P=NP, định nghĩa kết sau chứng tỏ cần xét ngôn ngữ đặc biệt (có thể ngôn ngữ ta ưa thích!) xác định 96 xem có thuộc P hay không Có số lớn đa dạng ngôn ngữ mà ta gọi ngôn ngữ NP-đầy...

13
424
2

Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 5 pps

Danh mục: Cao đẳng - Đại học

... (cuối ngôn ngữ máy) Ngữ nghĩa ngôn ngữ phép ánh xạ kết hợp cấu trúc cú pháp câu nhập vào với chuỗi ký hiệu ngôn ngữ đó, mà ta gọi nghĩa câu nguyên thuỷ (câu nhập vào) Đặc tả ngữ nghĩa ngôn ngữ ... trình cổ điển có Mở rộng ngôn ngữ (language extension) Bộ tiền xử lý tăng khả cho ngôn ngữ số macro nội Thí dụ ngôn ngữ Equel ngôn ngữ hỏi đáp với sở liệu nhúng vào ngôn ngữ C Các phát biểu bắt ... tương ứng ngôn ngữ khác, ngôn ngữ đích (target language) Như ta có nhiều trình biên dịch, ta có hàng ngàn ngôn ngữ nguồn từ ngôn ngữ lập trình họ cổ điển (Fortran, Pascal) đến ngôn ngữ đặc biệt...

17
475
1

Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 4 pps

Danh mục: Cao đẳng - Đại học

... 4.3.6 Định lý: Một ngôn ngữ hình thức loại đệ quy đếm Điều có nghĩa lớp ngôn ngữ hình thức loại lớp ngôn ngữ đệ quy đếm 4.3.7 Chú ý: Nhờ vào Định lý 4.3.4, ta thấy có ngôn ngữ đệ quy đếm không ... thuộc ngôn ngữ hình thức cho hay không Trong trường hợp ngược lại toán gọi giải thuật toán Như vậy, vấn đề giải thuật toán ngôn ngữ hình thức mô tả đệ quy Sau ta nghiên cứu vài tính chất ngôn ngữ ... gọi ngôn ngữ đoán nhận M, ký hiệu T(M) Ngôn ngữ đoán nhận máy Turing gọi ngôn ngữ đệ quy đếm (Recursively Enumerable) Ngôn ngữ đoán nhận máy Turing mà dừng sau số hữu hạn bước từ vào gọ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

Danh mục: Cao đẳng - Đại học

... không đơn định đoán nhận hết lớp ngôn ngữ phi ngữ cảnh Còn ôtômat đẩy xuống đơn định có khả đoán nhận lớp thực lớp ngôn ngữ phi ngữ cảnh mà Tuy vậy, lớp ngôn ngữ đoán nhận lớp ôtômat đẩy xuống ... định nghĩa văn phạm phi ngữ cảnh mà L(G)=N(M) Lưu ý gọi P1, P2, P3 lớp ngôn ngữ phi ngữ cảnh, lớp ngôn ngữ đoán nhận ôtômat đẩy xuống theo tập trạng thái kết thúc, lớp ngôn ngữ đoán nhận ôtômat ... việc sinh ngôn ngữ, cho việc loại bỏ không làm ảnh hưởng tới trình sinh ngôn ngữ Điều có nghĩa cần giữ lại ký hiệu quy tắc có ích văn phạm G mà chúng thực cần thi t trình sinh ngôn ngữ mà 3.1.4...

17
395
2

Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 2 pot

Danh mục: Cao đẳng - Đại học

... ứng biểu thức quy Σ biểu diễn ngôn ngữ R, S (r+s) biểu thức quy biểu diễn ngôn ngữ R∪S, (rs) biểu thức quy biểu diễn ngôn ngữ R.S (r*) biểu thức quy biểu diễn ngôn ngữ R* Trong biểu thức quy, ... điều kiện cần đủ để ngôn ngữ đoán nhận ôtômat hữu hạn đơn định quy Do hệ cho biết tồn ngôn ngữ phi ngữ cảnh mà không ngôn ngữ quy, tức lớp ngôn ngữ quy thực lớp ngôn ngữ phi ngữ cảnh 25 2.1.11 ... định nghĩa biểu thức quy theo bước đệ quy sau đây: 1) ∅ biểu thức quy, biểu diễn ngôn ngữ rỗng 2) ε biểu thức quy, biểu diễn ngôn ngữ {ε} 3) Nếu a∈Σ a biểu thức quy, biểu diễn ngôn ngữ {a} 4) Nếu...

23
406
0

Lý thuyết ngôn ngữ hình thức và ôtômát - Chương 1 ppt

Danh mục: Cao đẳng - Đại học

... Định nghĩa: Mỗi tập Σ* gọi ngôn ngữ hình thức hay ngắn gọn ngôn ngữ Σ Đặc biệt, tập ∅ ngôn ngữ Σ, gọi ngôn ngữ rỗng; tập {ε} ngôn ngữ Σ, ngôn ngữ chứa từ rỗng Σ* ngôn ngữ gồm tất từ Σ Thí dụ 4: ... cảm ngữ cảnh, phi ngữ cảnh, quy) tồn văn phạm tổng quát (t.ư cảm ngữ cảnh, phi ngữ cảnh, quy) sinh Vì vậy, lớp ngôn ngữ, ta có bao hàm thức: 13 {ngôn ngữ quy} ⊂ {ngôn ngữ phi ngữ cảnh} ⊂ {ngôn ngữ ... phạm quy sinh ngôn ngữ L1L2 1.3.5 Hệ quả: Nếu L1 L2 hai ngôn ngữ quy (t.ư phi ngữ cảnh, cảm ngữ cảnh) L1L2 ngôn ngữ quy (t.ư phi ngữ cảnh, cảm ngữ cảnh) Thí dụ 15: 1) Cho hai ngôn ngữ L1={anbn...

16
525
4

Lý thuyết ngôn ngữ hình thức và ôtômát - Chương mở đầu pot

Danh mục: Cao đẳng - Đại học

... phạm hình thức ôtômat máy Turing, công cụ sinh ngôn ngữ, đồng thời đề cập đến tính chất ngôn ngữ quy, ngôn ngữ phi ngữ cảnh, ngôn ngữ đệ quy ngôn ngữ đệ quy đếm Ngoài ra, giáo trình giới thi u ... lục, tài liệu tham khảo phần phụ lục: Chương I: Trình bày khái niệm ngôn ngữ, cấu trúc văn phạm sinh ngôn ngữ phân cấp Chomsky ngôn ngữ Chương II: Trình bày ngôn ngữ quy, có công cụ sinh ngôn ngữ ... chẽ với Lý thuyết ngôn ngữ hình thức ôtômat Một phần quan trọng lý thuyết thuật toán lớp ngôn ngữ (hay toán) P NP lớp ngôn ngữ NP-đầy đủ giới thi u phần phụ lục Nội dung tài liệu bố trí chương,...

4
405
2

Ngôn ngữ hình thức và Ôtômat - Chương 4 pot

Danh mục: Kỹ thuật lập trình

... 11/65 12/65 12/65 Ô x oán nh n câu vào oá \ Cho ô x M m t câu vào c n x lí w và Ô x th a nh n câu vào \ Cho ô x M Q, * \ M t oán nh n Execution c a M w dãy c u hình : oá hì q0, w, Z M q1, w1, ó ... n t u c a câu vào th nh DS X b i câu ph n 7/65 7/65 8/65 8/65 C u hình hì \ C u hình c a ô x hì Là b ba C = q, u, Trong ó : Q Q Q * Chuy n ti p m t b \ Cho ô x M, ta nói : M, C u hình C’= q’, ... nh lý : M t ngôn ng PNC n u ngôn ng ó c th a nh n b i m t ôtômat y xu ng L = L(M) = L(G) v i G VP2 M ô x là SbA | SS | ba } L(G4) = ? 25/65 25/65 26/65 26/65 Ngôn ng L1 Tính ch t c a ngôn ng PNC...

11
446
0

Ngôn ngữ hình thức và Ôtômat - Chương 3 pps

Danh mục: Kỹ thuật lập trình

... b A A b Chú ý A tr ng thái cu i m i thêm vào Chú thá thái vào 35/61 35/61 Chú ý A tr ng thái cu i m i thêm vào Chú thá thái vào 36/61 36/61 Bài t p Các ngôn ng quy chí \ Cho VP3 Gi nh sau : cá ... nhiên chí \ Th c t , ngôn ng c s n sinh b i VP3 cá u ngôn ng quy chí “ ” Cho L NNCQ, c n xây d ng VPCQ G cho L(G) = L : u \ Ta có nh lý sau ây : có u M t ngôn ng qui n u chí ngôn ng ó c s n sinh ... vào vào 43/61 43/61 44/61 44/61 Phép giao c a hai NNCQ L1 Phé Ví d l y ph n bù bù ’, ’, q0’, F’) th a nh n L1 nh sau : F’ a, b b a a q0 a q1 q0 ba q0’ ¬ M2 u L1R = (ba)*abba* u m i thêm vào vào...

11
454
0