On the determinization of event-clock input-driven pushdown automata.

Mizuhito Ogawa Alexander Okhotin

Published in: CoRR (2021)

Keyphrases

high speed
knowledge base
data driven
cellular automata
input data
real time
probabilistic automata
tree automata
event driven
finite state machines
event detection
database
power consumption
model checking
finite state
artificial neural networks
event recognition
real world