All the files written and read by MAF generally conform to the format used by KBMAG and are structured either as a GAP record or as a GAP list. Files produced by MAF are cosmetically different from KBMAG, since MAF's output reflects the author's different preferences for file layout. KBMAG and MAF can each read files produced by the other package. There are some differences in the file format for coset systems, but MAF can read KBMAG's files, and can produce files in the format it expects.
Four types of input file are handled:
words := [ a*b*A*B, a*b^3*A, b^5 ]
Almost all output files produced by MAF follow use one of the formats listed above. The formats used for automata and rewriting systems files are specified in the GASP Standard Format Document.
The documents Output files (groups and monoids) and Output files (coset systems) describe the names and purpose of all the automata and related files constructed by automata or other RWS utilities, and the circumstances under which they are produced.
Any output files not conforming to one of these formats will generally be structured as a GAP list, or list of lists. Such files are described in the documentation for the relevant utility.