A Kleene Theorem for Weighted ω-Pushdown Automata.

Manfred Droste Werner Kuich

Published in: Acta Cybern. (2017)

Keyphrases

regular expressions
propositional logic
cellular automata
finite state
probabilistic automata
neural network
finite state machines
finite automata
decision making
model checking
von neumann
database
bayesian networks
tree automata