Lối vào - Các bộ cảm biến thực hiện nhiệm vụ chuyển đổi như từ các hiện tượng vật lý sang tín hiệu điện (dòng hoặc điện áp). Các mạch xử lý tín hiệu - Các mạch này bao gồm các linh kiện điện tử được kết nối với nhau để tính toán, diễn dịch và chuyển đổi các tín hiệu. Lối ra - Là các bộ truyền động, kích thích (cũng có thể là các bộ chuyển đổi). Các thiết bị này thực hiện việc chuyển đổi các tín hiệu dòng/điện áp thành các dạng tín hiệu vật lý có ích | 3. Ciic ôtôinat và so đồ trạng thái liên phương diện hành vi ớ mức logic các mạc 11 dãy có the được bicu diên bang các ôlõmat hữu hạn. Các ôlôrnat hữu hạn được dinh nghĩa là một bộ năm A X Y s. ô À. trong đó - X là tập hựp các ký tự vào của ôtômat. - V là tập hợp các ký tự ra cùa ôtômat. - s là lập hợp các trạng thái của ôtômat. - d ập hợp các hàm chuyên trạng thái ỏ X X s s - Tập hợp các hàm ra X X X s Y ótôniat Mealy X s - Y òtôinat Moore. - Và sn là trạng thái khời dộng của õtòmat. Báng chuyển trạng thái của ótômat chứa các trạng thâi chuyến liốp và những hàm ra. Tương ứng với các báng chuyển trạng thái khi biếu điền ôtòmat bàng đồ thị ta có sơ dổ chuyển trạng thái. Sơ dổ chuyên trạng thái là một đổ thị có hướng V E trong dó - Tập hợp các đính của đồ thị V tương ứng một - một với tập hợp các trạng thái s của ôtômat. - Tập hợp các cung có hướng E tương ứng một - một với sự chuyên tiếp trạng hái. Nhũng sự chuyến tiêp trạng thái này được dạc trưng bời hàm chuyên licp ỏ. Đặc biệt cung V . V tổn tại nêu tồn tại ký lự vào xe X sao cho õ x s Sj V 1 s . Trong mô hình ổtômat Mealy mỗi cung dược gan nhan bởi cạp ký tự a7ấ .vt X . Còn trong mò hình õlỏmat Moore mỗi cung dược gán nhãn bởi A và mổi dinh Vị s dược dán nhãn tương ứng với hàm ra X Sị . Ta hãy xét VÍ dụ ôtômat Mealy thực hiện việc dồng bộ giữa hai tín hiệu. Các đáu vào sơ cấp lù Ị và b tín hiệu khới lạo ì . Ôtômal có một dẩu ra sơ cấp o. Đầu ra nhận giá trị 1 nếu hai tín hiệu a và b cùng dồng thời nhận giá trị true hoậc trong trường hợp một tín hiệu nhận giá trị true còn tín hiệu kia nhận giá trị trite trong thời điểm trước đó. Otômat có bốn trạng thái sau - Trạng thái khởi động s l. - Trạng thái nhớ s khi a là true và b là false. 91 - Trạng thái nhớ s2 khi b là true và a -A false. Trạng thái nhớ s khi a và h cùng true Trong một số trường hợp dê tiện lựi khi biểu diẻn các sư đổ ôtòmat hữu hạn người ta phân tách ôtômat thành các sơ dổ con. Mỗi sơ đổ con. ngoại trừ sơ đổ gốc có các trạng thái vào và trạng