Tôi đang sử dụng AASM by Rubyist để tạo trình hướng dẫn 4 bước cho đối tượng AR. Theo trạng thái của đối tượng, có các xác nhận khác nhau cần được thực hiện. Cách thông minh nhất để xác nhận một đối t
Gần đây tôi đã đọc về thư viện boost::statechart (máy trạng thái hữu hạn) và tôi thích khái niệm này. C# có cơ chế tương tự không? Hoặc nó có thể được thực hiện bằng cách sử dụng một mẫu thiết kế cụ t
Với cụm từ thông dụng, tôi đang tìm gói sẽ tự động tạo mã cho một máy trạng thái hữu hạn thực hiện RE. C/C++ và Python được ưu tiên, nhưng các ngôn ngữ khác cũng quan tâm.
Có một bằng chứng chung tồn tại cho sự tương đương của hai máy tính hữu hạn (xác định) hữu hạn luôn luôn mất thời gian hữu hạn? Tức là, với hai FSM, bạn có thể chứng minh rằng với cùng một đầu vào, ch