Một công cụ để mô phỏng, hình dung và chuyển automata hữu hạn nhà nước và máy Turing. Tạo, mô phỏng và biến đổi DFA và NFA máy Tạo và mô phỏng TM kiểm tra hàng loạt cho TM: tính năng hữu ích để kiểm tra một loạt các tập tin một cách nhanh chóng ...
- Trang chủ
- Jean Bovet
- Giáo dục và khoa học phần mềm
- Phần mềm toán học