... {λ} ngônngữquy Σ, Các ngônngữ sơ cấp bảng chữ Σ (tức tập ∅, {a} (a ∈ Σ)) ngônngữ Chương Ôtômat hữuhạnngônngữquyquy Σ iii Nếu R, S ngônngữquy Σ R ∪ S, R.S R* ngônngữquy Σ iv Các ngôn ... đương : − − − − 12 Lớp ngônngữquy Lớp ngônngữ sinh biểu thức quy Lớp ngônngữ sinh văn phạm quy Lớp ngônngữ đoán nhận ôtômat hữuhạn Chương Ôtômat hữuhạnngônngữquy V Định lý Myhill-Nerode ... Chøng minh : 10 Chương Ôtômat hữuhạnngônngữquy IV quan hệ ôtômat hữuhạn văn phạm quy §Þnh lý Tập ngônngữ đoán nhận ôtômat hữuhạn trùng với tập ngônngữ sinh văn phạm quy Chøng minh : Để chứng...
... 001}*} ngônngữquy 2.2.4 Chú ý: Từ định lý với ý ôtômat hữuhạn đơn định xem ôtômat hữuhạn không đơn định, ta rút kết luận sau Gọi D lớp ngônngữ đoán nhận ôtômat hữuhạn đơn định, N lớp ngônngữ ... nhận ngônngữ L Từ ta có khái niệm ôtômat tối tiểu 2.4.1 Định nghĩa: Ôtômat có số trạng thái ôtômat hữuhạn đơn định đầy đủ đoán nhận ngônngữ L gọi ôtômat tối tiểu ngônngữ L Việc tìm ôtômat ... không tồn ôtômat hữuhạn đơn định đoán nhận A Về sau, ta thấy điều kiện cần đủ để ngônngữ đoán nhận ôtômat hữuhạn đơn định quy Do hệ cho biết tồn ngônngữ phi ngữ cảnh mà không ngônngữ quy, ...
... Automata hữuhạn (Finite automata) Lớp ngônngữNgônngữ qui”, đoán nhận máy ảo, gọi tên “automata hữuhạn Automata hữuhạn đơn định (Deterministic Finite Automata – DFA Automata hữuhạn không ... q3 20 Ngônngữ DFA Định nghĩa: Ngônngữ L(A) DFA A = (Q, , , q0, F) xác định bởi: L(A) = {w | ^(q0, w) F } Nếu ngônngữ L L(A) DFA A đó, ta nói, L ngônngữ qui 21 Automata hữuhạn không đơn ... NFA) Automata hữuhạn không đơn định, chấp nhận phép truyền rỗng (ε-NFA) Giới thiệu phi hình thức automata hữuhạn Một toán automata nhận diện chuỗi w có thuộc ngônngữ L hay không Chuỗi nhập...
... ôt mát đơn định ôt mát không đơn định Ôtômat hữuhạn không đơn định s1 0 0,1 s0 s3 Xuất phát s2 12 6.Sự tương đương ôt mát đơn định ôt mát không đơn định • Theo định nghĩa ôtômát đơn định ô ... tômát không đơn định lớp ngônngữ đoán nhận ôtômát đơn định(M) nằm lớp ngônngữ đoán nhận ôtômát không đơn định (N) • Và người ta chứng minh điều ngược lại: lớp ngônngữ đoán nhận ôtômát ... đoán nhận ôtômát không đơn định nằm lớp ngônngữ đoán nhận ôtômát đơn định • Định lý Lớp ngônngữ đoán nhận ôtômát đơn định trùng với lớp ngônngữ đoán nhận ôtômát không đơn định bảng ký...
... rộng 1.Định nghĩa ô- tômáthữuhạn đơn định Ô -tô- máthữuhạn đơn định ô- t mát mà thời điểm trạng thái định 2.Mô tả không hình thức Ô -tô- máthữuhạn đơn định (deterministic finite automata) ... Ô -tô- máthữuhạn đơn định ô- t mát mà thời điểm trạng thái định Ô -tô- máthữuhạn không đơn định (hay ô- tô- máthữuhạn bất định) ô- tô- mát mà thời điểm nhiều trạng thái khác Sự khác OHD OHKD Sự ... nghĩa ô- tômáthữuhạn đơn định Mô tả không hình thức Mô tả hình thức Xử lý xâu OHD Các cách biểu diễn đơn giản OHD Sự khác OHD OHKD Hàm dịch chuyển mở rộng 1.Định nghĩa ô- tômáthữuhạn đơn...
... (DFA) không đơn định (NFA) Cả hai loại ôt máthữuhạn có khả nhận dạng xác tập quy Ôt máthữuhạn đơn định có khả nhận dạng ngônngữ dễ dàng ôt máthữuhạn không đơn định, thay vào thông thường ... trữ ôt mát trình đoán nhận ngôn ngữ, khả lưu trữ ôt máthữuhạnMặt khác, hàm chuyển d hàm toàn phần đơn trị, bước chuyển ôt mát luôn xác định cách Chính hai đặc điểm mà DFA mô tả gọi ôt máthữu ... lại lớn so với ôt máthữuhạn không đơn định tương đương Ôt mát h ữu hạn đơn định - DFA (Deterministic Finite Automata) Một ôt máthữuhạn đơn định (DFA) - gọi tắt FA -gồm tập hữuhạn cáctrạng...
... Di õy l s trỡnh by s phõn b TN ting Anh v ting 90 80 70 Mắt Trán Tai Mũi Mặt Miệng Má Lông mày Lông mi Môi 60 50 40 30 20 10 Anh Việt 46 Vit S 3.2 S phõn b TNBPCTKM theo tng tiu nhúm 3.2 Nhng ... Ting Anh 4.2 ng dng ging dy 4.3 Tiu kt chng KT LUN TI LIU THAM KHO CHNH PHN PH LC QUY C TRèNH BY V VIT TT A Quy c trỡnh by vớ d bng hai th ting: Cỏc thnh ng dn chng u c sp xp theo trt t: ting ... vic nghiờn cu ú giỳp chỳng ta thõm nhp vo thc cht ca cỏc quỏ trỡnh ngụn ng cng nh hiu sõu hn cỏc quy lut iu khin cỏc quỏ trỡnh 13 ny [24; 26] Khụng cũn nghi ng gỡ na chỳng ta cú th ng ý vi nhn...
... 293 + 145m : DC = 632.73 kN/m n II: DW = 41.36 kN/m = 1000 kN, M = 500 kN.m 4.3 Mơ hình phần tửhữuhạn yếu tố xem xét 39 37 35 33 31 29 27 25 23 21 19 17 15 13 11 10 12 14 16 18 20 22 24 26 28 ... = {0} M) U = {0} (4) Giải phương trình (4) phương pháp SUBSPACE cho giá trị riêng véc tơ riêng từ tính tần số riêng (eigen frequencies) dạng dao động riêng (mode shape) tương ứng Trong 4.1 : ... theo thời gian Các ma trận độ cứng, khối lượng, ma trận cản ma trận vng đối xứng, chúng lắp ghép từ ma trận tương ứng phần tử kết cấu – Trường hợp phân tích tĩnh (Static Analysis): F(t)= F Phương...
... Nếu ngônngữ L đ-ợc chấp nhận ôtômat hữuhạn không đơn định, tồn ôt máthữuhạn đơn định chấp nhận L Ôtômat hữuhạn văn phạm qui: 2.4.1 Định lý : Nếu L ngônngữ qui tồn ôtômat hữuhạn không đơn ... u L ngônngữ qui ị Ôt máthữuhạn không đơn định í u D ò Ôt máthữuhạn đơn định g N 2.4.3 Định lý : ( Định lý Pumping cho ngônngữ qui) Giả sử L ngônngữ vô hạn đ-ợc đoán nhận ôtômat hữ- hạn ... gọi ngônngữ đ-ợc đoán nhận ôtômat M Tập trạng thái Q trình tính toán đ-ợc coi nh- nhớ ôtômat Vì Q hữuhạn nên M đ-ợc gọi ôtômat hữuhạn 2.2 phương pháp biểu diễn ôt máthữuhạn n a u Cho Ôtômat...
... diễn hữuhạn nhóm tối đại S biểu diễn hữuhạn Chứng minh Điều kiện S có hữuhạn iđêan trái hữuhạn iđêan phải tương đương với điều kiện S có hữuhạn R - lớp hữuhạn L - lớp Điều kéo theo S có hữu ... với hữuhạn iđêan trái hữuhạn iđêan phải S biểu diễn hữuhạn vị nhóm ngược S biểu diễn vị nhóm Chứng minh Giả thiết S biểu diễn hữuhạn nửa nhóm ngược Từ kiện S chứa hữuhạn iđêan trái hữuhạn ... - tối tiểu S Vì S chứa hữuhạn iđêan trái hữuhạn iđêan phải nên I ∧ hữuhạn Khi G biểu diễn hữuhạn nên T biểu diễn hữuhạn Chúng ta kết luận tất thương S biểu diễn hữuhạn được, áp dụng Mệnh...
... chuyển δ hàm toàn phần đơn trị, bước chuyển ôt mát luôn xác định cách Chính hai đặc điểm mà DFA mô tả gọi ôt máthữuhạn đơn định Ôt máthữuhạn không đơn định - NFA (Nondeterministic Finite ... định (DFA) không đơn định (NFA) DFA có khả nhận dạng ngônngữ dễ dàng NFA, thay vào thông thường kích thước lại lớn so với ôt máthữuhạn không đơn định tương đương Ôt máthữuhạn đơn định ... ε(ti ếp) Input: Một ôt máthữuhạn không đơn định NFA Output: Một ôt máthữuhạn đơn định DFA nhận dạng ngônngữ NFA Phương pháp: Xây dựng bảng hàm chuyển cho DFA mô đồng thời tất chuyển dịch...
... GIỮA ÔTÔMÁT HỮUHẠN VÀ BIỂU THỨC CHÍNHQUY Như nói, ngônngữ chấp nhận ôt máthữuhạnngônngữ mô tả biểu thức quyChính tương đương này, mà người ta gọi ngônngữ chấp nhận ôt máthữuhạn tập quy ... lớn so với ôt máthữuhạn không đơn định tương đương 21 Chương III : Ôt máthữuhạn biểu thức quy 1.1 Ôt máthữuhạn đơn định - DFA (Deterministic Finite Automata) Một ôt máthữuhạn đơn định ... (DFA) không đơn định (NFA) Cả hai loại ôt máthữuhạn có khả nhận dạng xác tập quy Ôt máthữuhạn đơn định có khả nhận dạng ngônngữ dễ dàng ôt máthữuhạn không đơn định, thay vào thông thường...
... chuyển trạng thái δ(q, ε) = q δ(q, wa) = δ( δ(q,w), a) với ∀ w, a Ngônngữ chấp nhận: L(M) = { x | δ( q0, x ) ∈ F } Ngônngữquy Ví dụ: chuỗi nhập w=110101 • δ(q0, 1) = q1 • δ(q0, 11) = δ(q1, ... thức quy Automata hữuhạn đơn định (DFA) Ví dụ: c Input Start q0 0 1 0 1 q1 Bộ điều khiển a b Trạng thái bắt đầu q2 d M=(Q, Σ, δ, q0, F) Trạng thái kết thúc q3 x Phép chuyển nhãn x Q : tập hữuhạn ... thái p cho có phép chuyển nhãn a từ q tới p, với a ∈ (Σ ∪ {ε}) 11 Mở rộng hàm chuyển trạng thái cho NFAε Định nghĩa ε-CLOSURE: ● ε-CLOSURE(q) = { p | có đường từ q tới p theo nhãn ε} ● ε-CLOSURE(P)...
... đương ôtômáthữuhạn BTCQ Từ biểu thức quy đến ÔtômathữuhạnTừôtômáthữuhạntớingônngữquyTừ biểu thức quy đến Ôtômathữuhạn Định lý II.4 Mọi ngônngữquy ∑ ngônngữ trạng ... ôtômáthữuhạn M1 M2: Thì α1.α2 đoán nhận bởi: ε ε ε Từ biểu thức quy đến Ôtômathữuhạn α1* đoán nhận ôtô mát: Từ biểu thức quy đến Ôtômathữuhạn α1 +α2 Từôtômáthữuhạntớingôn ... quy Ôtômat hữuhạn Ôtômat hữuhạn tiền định Ôtômat hữuhạn không tiền định Sự tương đương ôtômáthữuhạn tiền định không tiền định Sự tương đương ôtômát biểu thức quy Văn phạm quy Các ngôn...
... Định nghĩa ôt mát (automata) Định nghĩa: máy trừu tượng có cấu hoạt động đơn giản có khả đoán nhận ngônngữ • Con người phải lập trình sẵn cho máy ‘lộ trình’ ... δ(q, ) = q δ(q, wa) = δ( δ(q,w), a) với w, a Ngônngữ chấp nhận: L(M) = { x | δ( q0, x ) F } Ví dụ: chuỗi nhập w=110101 • • • • • • Ngônngữquy δ(q0, 1) = q1 δ(q0, 11) = δ(q1, 1) = q0 δ(q0, ... thức quy Automata hữuhạn đơn định (DFA) Ví dụ: c Input Start 1 0 1 q1 q0 0 a Bộ điều khiển b Trạng thái bắt đầu q2 d M=(Q, Σ, δ, q0, F) Trạng thái kết thúc q3 x Phép chuyển nhãn x Q : tập hữu hạn...
... bi t r ng ngôn ng L3 = {anbn: n 0} L4 = {an: n nguyên t } không qui Tr b m ng H Bách Khoa - Khoa CNTT - Ng i so n: H V n Quân 3/5 Bài t p Lý thuy t Ngôn ng Hình th c Automata PH N NGÔN NG PHI ... ngôn ng c sinh b i v n ph m B aS b c) Xây d ng VPTT-T t ng ng v i VPTT-P 15 Cho hai ngôn ng L1 L2 có hai dfa t ng ng M1 M2 sau Tìm dfa cho th ng úng c a L1/L2 a a b a, b b M1 : 16 Cho hai ngôn ... b q2 ch ng minh ngôn ng sau không qui: L1 = {a2nbl: n 0, l n + 2} L2 = {anblck: n = l+1 ho c l k + 2} 18 Áp d ng tính óng c a h NNCQ i v i phép toán ch ng minh ngôn ng sau ây không qui: L1 = {anblct...