automata theory
lý thuyết otomat. Sự nghiên cứu các quá trình tính toán, các khả năng của chúng và những hạn chế của chúng - cách thức theo đó các hộ nhận tín hiệu vào, xử lý nó và tạo ra tín hiệu ra; ngoài ra là sự nghiên, cứu các quan hệ giữa các lý thuyết về cách vận hành máy và sự vận hành và sự sử dụng các thiết bi tự động hóa.