Télécharger le livre :  Weighted Automata, Formal Power Series and Weighted Logic
Ajouter à ma liste d'envies
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. First, we...

Editeur : Springer Spektrum
Parution : 2022-10-13
Collection : BestMasters
PDF

52,74