Tóm tắt:

Ngoài việc tổng hợp một số dạng automat mờ còn đề xuất một dạng mới đó là automat có phép chuyển trạng thái bằng ngôn ngữ dựa trên đại số gia tử hữu hạn và bước đầu khảo sát các tính chất của nó mà trong đó công việc chủ yếu là tập trung vào việc mở rộng định lý Myhill-Nerode.