A Pattern Logic for Automata with Outputs.

Emmanuel Filiot Nicolas Mazzocchi Jean-François Raskin

Published in: Int. J. Found. Comput. Sci. (2020)

Keyphrases

pattern matching
cellular automata
multi valued
deterministic automata
finite automata
regular expressions
finite state
automated reasoning
automata theoretic
database
pattern detection
set theory
classical logic
pattern discovery
data mining
databases
data sets
real time