Seed Specification Examples Regular Expressions
Regular expressions (Union is commutative and idempotent) XML file
Regular expressions (Union and product are associative. No repeated star) XML file
Regular expressions with sets of letters XML file
Regular expressions with no repeated star symbol XML file
Regular expressions with words XML file
Regular expressions with squaring XML file
Alphabetic Pattern Constrainst Expressions XML file
Temporal Logic formulas
LTL (Until, Next, Or, Neg and Atomic Formulas) XML file
LTL with Release (Until, Release, Next, Or, Atomic Formulas, Negation of Atomic Formulas) XML file
LTL (Until, F,G, Next, Or, and, neg, Atomic Formulas) XML file
An NP-complete Fragment of LTL XML file
CTL(EUnitl, ENext, EAlways, Or, Neg, False and Atomic formulas) XML file
CTL(EUnitl, ENext, EAlways, Or, Neg, False and Atomic formulas); Formulas are well-formed, i.e symbols EG and neg cannot be consecutively repeated.XML file
Process Algebra
Propositional Logic
Propositional Formulas (and/or are associative, no repeated negations) XML file
Propositional Formulas (and/or are associative, negations are only for atomic formulas) XML file
Propositional Formulas in CNF XML file
Propositional Formulas in DNF XML file
Mathematical Expressions
Peano Arthmetic Expressions (+/* are associative, coherent expressions w.r. to successor and predessecor operators) XML file
Arithmetic Expression over Integer (+/* are associative, binary encoding) XML file
Polynomial functions over Integer, one variable (+/* are associative, binary encoding) XML file
Polynomial functions over Integer, one variable (+/* are associative, binary encoding) variable x has a higer weight to occurs often (distribution is uniform with a weight of 4 for x) XML file
Polynomial functions over Integer, one variable (sequence of monomes, decimal encoding) XML file
First Order Fromulas
Presubuger FormulasXML file
FO(<): first order successor logicXML file
Sigma1-FO(<): existential first order successor logicXML file
Sigma2-FO(<): fragment sigma2 of the first order successor logicXML file
Pi4-FO(<): fragment pi4 of the first order successor logic XML file
Term Rewriting Systems