{"publication_status":"published","author":[{"id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","last_name":"Chatterjee","first_name":"Krishnendu","full_name":"Krishnendu Chatterjee"},{"last_name":"Doyen","first_name":"Laurent","full_name":"Doyen, Laurent"},{"last_name":"Henzinger","full_name":"Thomas Henzinger","first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000−0002−2985−7724"}],"intvolume":"      5213","month":"09","acknowledgement":"Research supported in part by the NSF grants CCR-0132780, CNS-0720884, and CCR-0225610, by the Swiss National Science Foundation, and by the European COMBEST project.","quality_controlled":0,"publisher":"Springer","publist_id":"2293","page":"385 - 400","date_created":"2018-12-11T12:05:40Z","date_published":"2008-09-10T00:00:00Z","abstract":[{"lang":"eng","text":"Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computation. We use weighted automata (finite automata with transition weights) to define several natural classes of quantitative languages over finite and infinite words; in particular, the real value of an infinite run is computed as the maximum, limsup, liminf, limit average, or discounted sum of the transition weights. We define the classical decision problems of automata theory (emptiness, universality, language inclusion, and language equivalence) in the quantitative setting and study their computational complexity. As the decidability of language inclusion remains open for some classes of weighted automata, we introduce a notion of quantitative simulation that is decidable and implies language inclusion. We also give a complete characterization of the expressive power of the various classes of weighted automata. In particular, we show that most classes of weighted automata cannot be determinized."}],"conference":{"name":"CSL: Computer Science Logic"},"date_updated":"2021-01-12T07:52:54Z","title":"Quantitative languages","doi":"10.1007/978-3-540-87531-4_28","extern":1,"volume":5213,"year":"2008","status":"public","_id":"3879","alternative_title":["LNCS"],"type":"conference","citation":{"mla":"Chatterjee, Krishnendu, et al. <i>Quantitative Languages</i>. Vol. 5213, Springer, 2008, pp. 385–400, doi:<a href=\"https://doi.org/10.1007/978-3-540-87531-4_28\">10.1007/978-3-540-87531-4_28</a>.","short":"K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2008, pp. 385–400.","ama":"Chatterjee K, Doyen L, Henzinger TA. Quantitative languages. In: Vol 5213. Springer; 2008:385-400. doi:<a href=\"https://doi.org/10.1007/978-3-540-87531-4_28\">10.1007/978-3-540-87531-4_28</a>","apa":"Chatterjee, K., Doyen, L., &#38; Henzinger, T. A. (2008). Quantitative languages (Vol. 5213, pp. 385–400). Presented at the CSL: Computer Science Logic, Springer. <a href=\"https://doi.org/10.1007/978-3-540-87531-4_28\">https://doi.org/10.1007/978-3-540-87531-4_28</a>","chicago":"Chatterjee, Krishnendu, Laurent Doyen, and Thomas A Henzinger. “Quantitative Languages,” 5213:385–400. Springer, 2008. <a href=\"https://doi.org/10.1007/978-3-540-87531-4_28\">https://doi.org/10.1007/978-3-540-87531-4_28</a>.","ista":"Chatterjee K, Doyen L, Henzinger TA. 2008. Quantitative languages. CSL: Computer Science Logic, LNCS, vol. 5213, 385–400.","ieee":"K. Chatterjee, L. Doyen, and T. A. Henzinger, “Quantitative languages,” presented at the CSL: Computer Science Logic, 2008, vol. 5213, pp. 385–400."},"day":"10"}