Chương trình theo gnfa2re.sf.net

Chương trình này cho phép bạn chỉ định một Automata hữu hạn xác định, Automata hữu hạn không xác định, hoặc NFA tổng quát và sẽ trả về một biểu thức chính quy nhận ra cùng một ngôn ngữ như FA bạn mô tả.