130 search results - page 2 / 26 » Rationally Additive Semirings |
CAI
2009
Springer
14 years 25 days ago
2009
Springer
Two types of simulations for weighted tree automata (wta) are considered. Wta process trees and assign a weight to each of them. The weights are taken from a semiring. The two type...
IFIPTCS
2010
13 years 4 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
ICALP
2001
Springer
13 years 10 months ago
2001
Springer
Formal power series are an extension of formal languages. Recognizable formal power series can be captured by the so-called weighted finite automata, generalizing finite state ma...
MST
2006
13 years 6 months ago
2006
Motivated by problems of pattern statistics, we study the limit distribution of the random variable counting the number of occurrences of the symbol a in a word of length n chosen...
ASAP
1995
IEEE
13 years 9 months ago
1995
IEEE