Coalgebras for Bisimulation of Weighted Automata over Semirings.

Purandar Bhaduri

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

finite automata
regular expressions
cellular automata
probabilistic automata
neural network
constraint satisfaction problems
graph model
weighted sum
information systems
data model
tree automata
turing machine