- ホーム
- > 洋書
- > 英文書
- > Science / Mathematics
Full Description
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.



