GAP package Predicata - Deciding Presburger Arithmetic Using Automata Theory
Licence
Copyright (copyright) 2018 by Fritz Kliemann
Predicata is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation,
either version 3 of the License, or (at your option) any later version.
About
- J. Shallit has successfully used automata theory to find properties of automatic sequences.
- In a summer school course at RISC, JKU Linz, he explained also how to use finite automata to decide Presburger arithmetic.
- This package, written as a Master thesis, implements the decision procedure which goes back to J. R. Büchi.
- Furthermore, it allows to construct a deterministic finite automaton from any first-order formula with the addition as the only operation.
- The package Automata is used for the data structure of finite automata.
- For further insight feel free to ask me for my Master thesis.
Install
- Download and unpack the archive into the GAP "pkg" subdirectory.
- Alternatively, most likely ~home/.gap/pkg (Windows: _gap/pkg) is also a possible directory (Use WriteGapIniFile(); to get the right directory).
- Call the package with LoadPackage("Predicata");
Contact
Fritz Kliemann, fritz dot kliemann at gmx dot at