Equational axioms associated with finite automata for fixed point operations in cartesian categories.

Published in: Math. Struct. Comput. Sci. (2017)

Keyphrases

fixed point
finite automata
grammatical inference
deterministic automata
regular expressions
sufficient conditions

dynamical systems
belief propagation
floating point
finite automaton
horn clauses
fixed point theorem

knowledge base
hidden markov models
tree automata
policy iteration
first order logic
three dimensional

computer vision
constraint databases
post processing
query processing
databases