Weighted Nested Word Automata and Logics over Strong bimonoids.

Manfred Droste Bundit Pibaljommee

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

Keyphrases

expressive power
n gram
cellular automata
co occurrence
modal logic
finite state machines
inference rules
keywords
propositional calculus
weighted sum
probabilistic automata
related words
finite automata
nonmonotonic logics
word segmentation
finite state
weighted graph
query language