TimTaiLieu.vn - Tài liệu, ebook, giáo trình, đồ án, luận văn

Định nghĩa 5.1 „ Một văn phạm G= (V, T, S, P) được gọi là phi ngữ cảnh (context free) nếu mọi luật sinh trong P có dạng A→x, trong đó A∈V còn x∈(V∪T)*. „ Một ngôn ngữ được gọi là phi ngữ cảnh nếu và chỉ nếu có một VPPNC G sao cho L= L(G). „ Nhận xét „ Mọi NNCQ đều là PNC, nhưng điều ngược lại thì không. Như chúng ta sẽ thấy sau này họ NNCQ là m...

32 trang | Chia sẻ: haohao89 | Ngày: 03/07/2013 | Lượt xem: 2336 | Lượt tải: 0

NNCQ tổng quát là như thế nào? Có phải chăng mọi ngôn ngữ hình thức đều là chính qui? „ Khi chúng ta thực hiện các phép toán trên NNCQ thì kết quả sẽ như thế nào, có còn là một NNCQ không? „ Một ngôn ngữ nào đó có hữu hạn không? Có rỗng không? „ Làm thế nào để biết một ngôn ngữ đã cho có là chính qui không?

27 trang | Chia sẻ: haohao89 | Ngày: 03/07/2013 | Lượt xem: 2005 | Lượt tải: 0

Biểu thức chính qui (BTCQ) là gì? „ Là một sự kết hợp các chuỗi kí hiệu của một bảng chữ cái ∑nào đó, các dấu ngoặc, và các phép toán +, ., và *. trong đó phép + biểu thị cho phép hội, phép .biểu thị cho phép kết nối, phép *biểu thị cho phép bao đóng sao. „ Ví dụ „ Ngôn ngữ {a} được biểu thị bởi BTCQ a. „ Ngôn ngữ {a, b, c} được biểu thị bởi BT...

33 trang | Chia sẻ: haohao89 | Ngày: 03/07/2013 | Lượt xem: 2353 | Lượt tải: 2

Accepter hữu hạn đơn định 2.2 Accepter hữu hạn không đơn định 2.3 Sựtương đương giữa accepter hữu hạn đơn định và accepter hữu hạn không đơn định 2.4 Rút gọn sốtrạng thái của một ôtômát hữu hạn

50 trang | Chia sẻ: haohao89 | Ngày: 03/07/2013 | Lượt xem: 2141 | Lượt tải: 3

Ôtômát „ Các mô hình tính toán tự động „ Ngôn ngữhình thức (formal languages): „ Định nghĩa „ Phân loại ngôn ngữ „ Quan hệ với ôtômát „ Ứng dụng vào việc xây dựng các ngôn ngữ lập trình

46 trang | Chia sẻ: haohao89 | Ngày: 03/07/2013 | Lượt xem: 2807 | Lượt tải: 2

Máy phát điện (MFĐ) là một phần tử rất quan trọng trong hệ thống điện (HTĐ), sự làm việc tin cậy của các MFĐ có ảnh hưởng quyết định đến độ tin cậy của HTĐ. Vì vậy, đối với MFĐ đặc biệt là các máy có công suất lớn, người ta đặt nhiều loại bảo vệ khác nhau để chống tất cả các loại sự cố và các chế độ làm việc không bình thường xảy ra bên trong các c...

36 trang | Chia sẻ: haohao89 | Ngày: 03/07/2013 | Lượt xem: 1704 | Lượt tải: 2

Các yếu tố chính của IC lưỡng cực là điện trở, diode và BJT, hai họat động trong IC lưỡng cực là: tắt và bão hòa, các họ logic lưỡng cực:  Mạch logic DDL • Mạch logic RTL • Mạch logic DCTL • Mạch logic HTL • Mạch logic TTL • Mạch logic Schottky TTL • Mạch logic ECL

35 trang | Chia sẻ: haohao89 | Ngày: 03/07/2013 | Lượt xem: 2274 | Lượt tải: 5

Trong thiết kế máy điện vấn để chọn vật liệu để chế tạo máy có vai trò rất quan trọng và ảnh hưởng rất lớn đến giá thành và tuổi thọ của máy. Có thể chia vật liệu dùng để chế tạo máy điện ra làm ba loại: 1. Vật liệu tác dụng: là những vật liệu dẫn điện và dẫn từ. 2. Vật liệu kết cấu: là những vật liệu chế tạo các chi tiết liên kết các mạch đi...

27 trang | Chia sẻ: haohao89 | Ngày: 03/07/2013 | Lượt xem: 3415 | Lượt tải: 1

Chế độ của hệ thống điện thay đổi đột ngột sẽ làm phát sinh quá trình quá độ điện từ, trong đó quá trình phát sinh do ngắn mạch là nguy hiểm nhất. Đểtính chọn các thiết bị điện và bảo vệ rơle cần phải xét đến quá trình quá độ khi: - ngắn mạch. - ngắn mạch kèm theo đứt dây. - cắt ngắn mạch bằng máy cắt điện. Khi xảy ra ngắn mạch, tổng trở củ...

59 trang | Chia sẻ: haohao89 | Ngày: 03/07/2013 | Lượt xem: 1999 | Lượt tải: 1

Môn học Điều khiển logic trình bày các kiến thức cơ bản hệ thống điều khiển logic. Các vấn đề có đề cập đến điều khiển logic, các phương pháp phân tích và thiết kế hệ thống điều khiển logic. Đồng thời giáo trình này trình bày các kiến thức cơ bản về bộ lập trình PLC. Sử dụng bộ lập trình PLC và nghiên cứu các vấn đề có liên quan tới ngắt, truyền th...

13 trang | Chia sẻ: haohao89 | Ngày: 03/07/2013 | Lượt xem: 2366 | Lượt tải: 0