GrailKnights : an automaton mass manipulation package for enhanced pattern analysis

[摘要] This thesis describes the design and implementation of an application names GrailKnights that allows for the mass manipulation of automata, with added visual pattern analysis features. It comprises a database-driven backend for automata storage, and a graphical user interface that allows for filtering the automata selected from the database with visual interpretation of visible patterns over the resulting automata.

[发布机构] Stellenbosch University