This is a GAP package that introduces algorithms for asynchronous automata. You can download GAP from https://www.gap-system.org/ and place this package in the pkg directory.
ffloresbrito/aaa
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This is a GAP package that introduces algorithms for asynchronous automata. You can download GAP from https://www.gap-system.org/ and place this package in the pkg directory.