Lý thuyết Automata là nghiên cứu về máy trừu tượng và automata, cũng như các vấn đề tính toán có thể được giải quyết bằng cách sử dụng chúng. Đó là một lý thuyết trong khoa học máy tính lý thuyết và toán học rời rạc (một môn học trong cả toán học và khoa học máy tính). Từ automata (số nhiều của automaton) xuất phát từ tiếng Hy Lạp αὐτόματα, có nghĩa là "tự hành động".
Hình bên phải minh họa một máy trạng thái hữu hạn, thuộc về một loại máy tự động nổi tiếng. Máy tự động này bao gồm các trạng thái (được biểu thị trong hình bằng các vòng tròn) và chuyển tiếp (được biểu thị bằng mũi tên). Khi automaton nhìn thấy biểu tượng của đầu vào, nó thực hiện chuyển đổi (hoặc nhảy) sang trạng thái khác, theo chức năng chuyển đổi của nó, lấy trạng thái hiện tại và biểu tượng gần đây làm đầu vào.
Ứng dụng cung cấp các tính năng sau
========================================
Dễ sử dụng
GUI thân thiện
Miễn phí