Download Latest Version
maf-v2.2.1-windows-x86.zip (1.4 MB)
Get an email when there's a new version of MAF (Monoid Automata Factory)
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| maf-v2.2.1-windows-x86.zip | 2016-09-04 | 1.4 MB | |
| maf-v2.2.1-macpro-x64.zip | 2016-09-04 | 1.3 MB | |
| maf-v2.1.1-macpro-x64.zip | 2011-06-14 | 1.3 MB | |
| maf-v2.1.1-macpro-x86.zip | 2011-06-14 | 1.3 MB | |
| maf-v2.1.1-windows-x86.zip | 2011-06-14 | 1.3 MB | |
| readme.md | 2011-06-14 | 2.3 kB | |
| maf-v2.1.0-macpro-x64.zip | 2011-06-11 | 1.3 MB | |
| maf-v2.1.0-macpro-x86.zip | 2011-06-11 | 1.3 MB | |
| maf-v2.1.0-windows-x86.zip | 2011-06-11 | 1.3 MB | |
| maf-v2.0.5-macpro-x64.zip | 2011-06-02 | 1.3 MB | |
| maf-v2.0.5-macpro-x86.zip | 2011-06-02 | 1.3 MB | |
| maf-v2.0.5-windows-x86.zip | 2011-06-02 | 1.2 MB | |
| maf-v2.0.4-windows-x86.zip | 2011-05-20 | 1.2 MB | |
| maf-v2.0.3-macpro-x86.zip | 2010-07-24 | 1.3 MB | |
| maf-v2.0.3-macpro-x64.zip | 2010-07-24 | 1.3 MB | |
| maf-v2.0.3-windows-x86.zip | 2010-07-24 | 1.2 MB | |
| maf_v1-windows.zip | 2009-11-12 | 837.7 kB | |
| maf-v1-macpro-x64.zip | 2009-11-12 | 871.5 kB | |
| maf-v1-macpro-x86.zip | 2009-11-12 | 848.3 kB | |
| macnote.txt | 2009-11-12 | 440 Bytes | |
| Totals: 20 Items | 21.9 MB | 1 |
Licence
MAF is free software, provided without warranty of any kind under the terms of the GNU Public Licence v3. For detailed licence information refer to the file COPYING. For information on how to use MAF refer to the help included with the package, which is also available online.
Latest changes
2.1.1 A bug in the code used for FSA minimisation has been fixed. The bug caused composite multipliers for coset systems to be generated incorrectly under some circumstances. The most likely effect of this was that axiom checking would erroneously fail, or that automata, gpsubpres, or gpsublowindex could fail while generating a subgroup presentation. A minor change has been made to gpmult. The operation of the -sub option has been slightly changed. Previously inverse words were added for each specified subgroup generator. This is no longer done.
2.1.0 There are two new utilities. The more important one is gpxlatwa, which allows a word-acceptor to be translated into a word-acceptor for another alphabet. There is also a fix to the parsing of expressions in input files. Previously an invalid equation such as [a*b)^5,IdWord] would have been parsed without any warning as [a*b,IdWord], because a closing parenthesis without a matching opening parenthesis was treated as "end of expression". There is also a minor fix to the fsaprune utility. Previously the documented -accept_all option was not in fact accepted.
For earlier fixes refer to Release Notes
Installation
Windows
As yet there is no install program for MAF. Simply unzip all the files into the directory where you would like MAF to be installed. For example c:\maf or C:\Program Files\MAF. As yet MAF can only be used from the command line. You will probably find it helpful to set up a batch file that opens your chosen command shell (e.g. cmd.exe or cygwin bash) at a convenient location and which adds the bin directory for MAF to the path.
For more information about MAF refer to the documentation in the help subdirectory or visit the MAF project on Sourceforge.net https://sourceforge.net/projects/maffsa/
Mac
Refer to Macnote.txt