CMSimulator

Mô phỏng cho máy truy cập và ngữ pháp chính thức.

Ứng dụng CMSimulator giúp bạn hiểu rõ hơn về bốn máy đếm được biết đến nhiều nhất - Finite State Automaton, Pushdown Automaton, linear Bounded Automaton, Turing machine. Bạn có thể tạo mới hoặc tải các giải pháp hiện có từ các tệp. Ứng dụng này cũng chứa các ví dụ (cho từng loại máy).

Hơn nữa, ứng dụng cũng giúp bạn hiểu rõ hơn bốn loại ngữ pháp chính thức từ hệ thống phân cấp Chomsky - Ngữ pháp thông thường, Ngữ pháp không ngữ cảnh, Ngữ pháp nhạy cảm ngữ cảnh, Ngữ pháp không giới hạn. Bạn có thể tạo mới hoặc tải các giải pháp hiện có từ các tệp. Ứng dụng này cũng chứa các ví dụ.

Bạn có thể tạo một danh sách các biểu tượng, trạng thái, quy tắc chuyển đổi và cũng có thể chọn trạng thái ban đầu và cuối cùng. Sau đó, bạn có thể điền vào băng và mô phỏng giải pháp từng bước hoặc đi thẳng đến cuối mô phỏng. Bạn cũng có thể đánh dấu bất kỳ phần tử băng nào là điểm dừng để tạm dừng mô phỏng khi máy đạt đến điểm dừng này.

Máy móc và giải pháp không phá hủy cũng được hỗ trợ.

Bạn có thể xác định ngữ pháp của riêng mình, kiểm tra các từ nếu chúng thuộc về ngữ pháp đã xác định và trực quan hóa quá trình phái sinh với 4 loại trực quan hóa khác nhau - Bảng dẫn xuất, cây phái sinh, dẫn xuất tuyến tính, dẫn xuất cố định. Ứng dụng này cũng chứa một tính năng tương tác, nơi bạn có thể kiểm tra nhiều từ cùng một lúc.

Ứng dụng này vẫn đang được phát triển. Xin vui lòng, cho tôi biết nếu bạn tìm thấy bất kỳ lỗi.