An Algebra of Deterministic Propositional Acceptance Automata (DPAA).
Aurélien LamercerieBenoît CaillaudPublished in: FDL (2020)
Keyphrases
- finite state automaton
- turing machine
- propositional logic
- decomposable negation normal form
- data model
- cellular automata
- algebraic expressions
- query language
- probabilistic automata
- first order logic
- finite state automata
- boolean algebra
- database
- default logic
- finite state
- multi valued
- deterministic finite automata
- state space
- satisfiability testing
- algebraic structure
- tree automata
- statistical relational learning
- relational algebra
- regular expressions