Version 2.0
August 2015
Michael Albert
Email: malbert at cs.otago.ac.nz
Steve Linton
Email: sl4 at st-andrews.ac.uk
Ruth Hoffmann
Email: rh347 at icloud.com
The PatternClass
package is build on the idea of token passing networks building permutation pattern classes. Those classes are best determined by their basis. Both sets can be encoded by rank encoding their permutations. Each, the class and its basis, in their encoded form build a rational language [AAR03]. Rational languages can be easily computed by using automata, which also can be build directly from the token passing networks [ALTd.]. Both ways will build the same language, i.e. the same automaton.
© 2011 by Michael Albert, Steve Linton and Ruth Hoffmann
generated by GAPDoc2HTML