The Triple-Pair Construction for Weighted ω-Pushdown Automata.

Manfred Droste Zoltán Ésik Werner Kuich

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

Keyphrases

cellular automata
finite state machines
finite state
pairwise
model checking
neural network
image segmentation
regular expressions
construction process
finite automata
weighted distance
knowledge base
image sequences
search algorithm
lower bound
timed automata