Tin học lý thuyết - Chương 3 doc

... 4) ε-closure(δ(B, a)) = ε-closure( {3, 8}) = B 5) ε-closure(δ(B, b)) = ε-closure({5, 9}) = {1, 2, 4, 5, 6, 7, 9} = D* 6) ε-closure(δ(C, a)) = ε-closure( {3, 8}) = B 7) ε-closure(δ(C, b)) = ε-closure({5}) ... wa với a ∈ Σ . Chương III : Ôtômát hữu hạn và biểu thức chính quy 36 2) ε-closure(δ(A, a)) = ε-closure( {3, 8}) = {1, 2, 3, 4, 6, 7, 8} = B* 3) ε-closure(δ(A, b)) = ε-clo...

Ngày tải lên: 25/07/2014, 05:20

... thức đã học trong chương trước (ĐỊNH LÝ 5.2) để viết một văn phạm tương đương với văn phạm trên không có chứa các ký hiệu vô ích ? 2 .3. Quan hệ giữa CFL và tập hợp chính quy ĐỊNH LÝ 6.5 ... Automata ) [3] Hồ Văn Quân – Giáo trình lý thuyết ôtômát và ngôn ngữ hình thức – Nhà xuất bản Đại học quốc gia Tp. Hồ Chí Minh – 2002. [4] Copy right by David Matuszek - N...

Ngày tải lên: 25/07/2014, 05:20

... B 2 D 2 D m - 3 → B m - 2 D m - 2 D m - 2 → B m - 1 B m Đặt V’’ là tập các biến mới, P’’ là tập các luật sinh mới và văn phạm mới G 3 (V’’, T, P’’, S). Ta có G 3 chứa các luật ... A 2 A 3 A 2 → A 3 A 1 | a A 3 → aA 2 | b | aA 2 B | bB B → A 1 A 2 | A 1 A 2 B Bước 4 : Thay thế các A i -luật sinh về đúng dạng. Ở bước này, ta có t...

Ngày tải lên: 25/07/2014, 05:20

... cho DFA Ta cần viết biểu thức: r = r 3 12 + r 3 13 Ta có: • r 3 12 = r 2 13 (r 2 33 )*r 2 32 + r 2 12 • r 3 13 = r 2 13 (r 2 33 )*r 2 33 + r 2 13 1 1 q 1 q 2 q 3 0 0 0, 1 Start 21 Biểu thức chính ... quy • Các tính chất của tập chính quy Chương 3: 31 Mối liên hệ giữa FA và BTCQ Sơ đồ liên hệ: DFA NFA NFA RE Định lý 4 Định lý 2 Định lý 1 Định lý 3 11 N...

Ngày tải lên: 25/07/2014, 05:20

... SHEAR-y SHEAR-z (+y)-BENDING-(-y) (+z)-BENDING-(-z) 1 1 1 Tinh tai I 0.0 0.0 -7 265.5 0.0 0.0 0.0 -0 .0 1/4 0.0 0.0 -3 632 .7 0.0 0.0 -9 57 53. 1 242182.4 CNT 0.0 0.0 0.0 0.0 0.0 -1 27670.8 32 2909.9 ... H:0.518 033 B:0 .30 9118 tw:0. 030 988 tf:0.054102 ** MAX ELEM COM LC PT AXIAL SHEAR-y SHEAR-Z (+y)-BENDING-(-y) (+z)-BENDING-(-z) 1 AXL Tinh tai 1 CNT 0.0 0.0...

Ngày tải lên: 14/12/2013, 17:16