Weighted automata, formal power series and weighted logic
Auteur :
Wirth, Laura
Éditeur :
Springer Fachmedien Wiesbaden
ISBN :
9783658393229
Date de publication :
14 oct. 2022
Dimensions :
21,0 x 14,8 cm
Langue :
Anglais
Pays d'origine :
Allemagne
The main objective of this work is to represent the behaviors of weighted automata by expressively equivalent formalisms: rational operations on formal power series, linear representations by means of matrices, and weighted monadic second-order logic.