{"id":"https://openalex.org/W2583206604","doi":"https://doi.org/10.2168/lmcs-11(3:14)2015","title":"Quantitative Languages Defined by Functional Automata","display_name":"Quantitative Languages Defined by Functional Automata","publication_year":2015,"publication_date":"2015-09-17","ids":{"openalex":"https://openalex.org/W2583206604","doi":"https://doi.org/10.2168/lmcs-11(3:14)2015","mag":"2583206604"},"language":"en","primary_location":{"id":"doi:10.2168/lmcs-11(3:14)2015","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-11(3:14)2015","pdf_url":"https://lmcs.episciences.org/1590/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/1590/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049821685","display_name":"Emmanuel Filiot","orcid":"https://orcid.org/0000-0002-2520-5630"},"institutions":[{"id":"https://openalex.org/I132053463","display_name":"Universit\u00e9 Libre de Bruxelles","ror":"https://ror.org/01r9htc13","country_code":"BE","type":"education","lineage":["https://openalex.org/I132053463"]},{"id":"https://openalex.org/I4210156583","display_name":"Laboratoire d'Informatique de Paris-Nord","ror":"https://ror.org/05g1zjw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210091279","https://openalex.org/I4210156583","https://openalex.org/I4210159245"]}],"countries":["BE","FR"],"is_corresponding":true,"raw_author_name":"Emmanuel Filiot","raw_affiliation_strings":["Universit Libre de Bruxelles, Computer Science Department","Universit\u00e9 Libre de Bruxelles, Computer Science Department"],"affiliations":[{"raw_affiliation_string":"Universit Libre de Bruxelles, Computer Science Department","institution_ids":["https://openalex.org/I132053463"]},{"raw_affiliation_string":"Universit\u00e9 Libre de Bruxelles, Computer Science Department","institution_ids":["https://openalex.org/I132053463","https://openalex.org/I4210156583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090624553","display_name":"Raffaella Gentilini","orcid":null},"institutions":[{"id":"https://openalex.org/I27483092","display_name":"University of Perugia","ror":"https://ror.org/00x27da85","country_code":"IT","type":"education","lineage":["https://openalex.org/I27483092"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Raffaella Gentilini","raw_affiliation_strings":["University of Perugia, Department of Mathematics and Computer Science"],"affiliations":[{"raw_affiliation_string":"University of Perugia, Department of Mathematics and Computer Science","institution_ids":["https://openalex.org/I27483092"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112248707","display_name":"Jean-Fran\u00c3\u00a7ois Raskin","orcid":null},"institutions":[{"id":"https://openalex.org/I132053463","display_name":"Universit\u00e9 Libre de Bruxelles","ror":"https://ror.org/01r9htc13","country_code":"BE","type":"education","lineage":["https://openalex.org/I132053463"]},{"id":"https://openalex.org/I4210156583","display_name":"Laboratoire d'Informatique de Paris-Nord","ror":"https://ror.org/05g1zjw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210091279","https://openalex.org/I4210156583","https://openalex.org/I4210159245"]}],"countries":["BE","FR"],"is_corresponding":false,"raw_author_name":"Jean-Fran\u00c3\u00a7ois Raskin","raw_affiliation_strings":["Universit Libre de Bruxelles, Computer Science Department","Universit\u00e9 Libre de Bruxelles, Computer Science Department"],"affiliations":[{"raw_affiliation_string":"Universit Libre de Bruxelles, Computer Science Department","institution_ids":["https://openalex.org/I132053463"]},{"raw_affiliation_string":"Universit\u00e9 Libre de Bruxelles, Computer Science Department","institution_ids":["https://openalex.org/I132053463","https://openalex.org/I4210156583"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5049821685"],"corresponding_institution_ids":["https://openalex.org/I132053463","https://openalex.org/I4210156583"],"apc_list":null,"apc_paid":null,"fwci":2.1892,"has_fulltext":true,"cited_by_count":14,"citation_normalized_percentile":{"value":0.89045201,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"Volume 11, Issue 3","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9940000176429749,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/realizability","display_name":"Realizability","score":0.762216329574585},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.7333496809005737},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6606302857398987},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5274591445922852},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5233998894691467},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5037755370140076},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.49315470457077026},{"id":"https://openalex.org/keywords/\u03c9-automaton","display_name":"\u03c9-automaton","score":0.48849427700042725},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.44924232363700867},{"id":"https://openalex.org/keywords/quantum-finite-automata","display_name":"Quantum finite automata","score":0.44732803106307983},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.3641868829727173},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3516291081905365},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.29663795232772827},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.25209930539131165}],"concepts":[{"id":"https://openalex.org/C2776378722","wikidata":"https://www.wikidata.org/wiki/Q3454417","display_name":"Realizability","level":2,"score":0.762216329574585},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.7333496809005737},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6606302857398987},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5274591445922852},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5233998894691467},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5037755370140076},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.49315470457077026},{"id":"https://openalex.org/C92710233","wikidata":"https://www.wikidata.org/wiki/Q291256","display_name":"\u03c9-automaton","level":5,"score":0.48849427700042725},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44924232363700867},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.44732803106307983},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.3641868829727173},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3516291081905365},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.29663795232772827},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.25209930539131165}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.2168/lmcs-11(3:14)2015","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-11(3:14)2015","pdf_url":"https://lmcs.episciences.org/1590/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1111.0862","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1111.0862","pdf_url":"https://arxiv.org/pdf/1111.0862","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:dipot.ulb.ac.be:2013/224297","is_oa":true,"landing_page_url":"http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/224297","pdf_url":null,"source":{"id":"https://openalex.org/S4306401063","display_name":"D\u00e9p\u00f4t institutionnel de l'Universit\u00e9 libre de Bruxelles (Universit\u00e9 Libre de Bruxelles)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I132053463","host_organization_name":"Universit\u00e9 Libre de Bruxelles","host_organization_lineage":["https://openalex.org/I132053463"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical methods in computer science, 11 (3","raw_type":"info:ulb-repo/semantics/openurl/article"},{"id":"pmh:oai:doaj.org/article:c3477a836cd743e49042e9c569d5c10d","is_oa":true,"landing_page_url":"https://doaj.org/article/c3477a836cd743e49042e9c569d5c10d","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 11, Issue 3 (2015)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.2168/lmcs-11(3:14)2015","is_oa":true,"landing_page_url":"https://doi.org/10.2168/lmcs-11(3:14)2015","pdf_url":"https://lmcs.episciences.org/1590/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.7799999713897705}],"awards":[{"id":"https://openalex.org/G4663460106","display_name":null,"funder_award_id":"279499","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320311030","display_name":"Istituto Nazionale di Alta Matematica \"Francesco Severi\"","ror":"https://ror.org/01vx64p53"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321390","display_name":"Fonds De La Recherche Scientifique - FNRS","ror":"https://ror.org/03q83t159"},{"id":"https://openalex.org/F4320334079","display_name":"Gruppo Nazionale per il Calcolo Scientifico","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2583206604.pdf","grobid_xml":"https://content.openalex.org/works/W2583206604.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W151848917","https://openalex.org/W1497067119","https://openalex.org/W1506437980","https://openalex.org/W1560909590","https://openalex.org/W1564884508","https://openalex.org/W1569390362","https://openalex.org/W1629199664","https://openalex.org/W1643571618","https://openalex.org/W1666394765","https://openalex.org/W1779049265","https://openalex.org/W1835836356","https://openalex.org/W1852784691","https://openalex.org/W1971499713","https://openalex.org/W1993033486","https://openalex.org/W2000587532","https://openalex.org/W2003113120","https://openalex.org/W2011523226","https://openalex.org/W2012140001","https://openalex.org/W2016206563","https://openalex.org/W2018562589","https://openalex.org/W2024935831","https://openalex.org/W2026128612","https://openalex.org/W2037367360","https://openalex.org/W2049481601","https://openalex.org/W2061054158","https://openalex.org/W2073788194","https://openalex.org/W2094856502","https://openalex.org/W2096062594","https://openalex.org/W2096207507","https://openalex.org/W2109187338","https://openalex.org/W2114657710","https://openalex.org/W2118895096","https://openalex.org/W2122393219","https://openalex.org/W2125529971","https://openalex.org/W2125939438","https://openalex.org/W2157390113","https://openalex.org/W2249410330","https://openalex.org/W2294334272","https://openalex.org/W4285719527","https://openalex.org/W4299423393"],"related_works":["https://openalex.org/W277366380","https://openalex.org/W2537940722","https://openalex.org/W4386400090","https://openalex.org/W4297362790","https://openalex.org/W2066393902","https://openalex.org/W2368684504","https://openalex.org/W1975910189","https://openalex.org/W2950632552","https://openalex.org/W3147849782","https://openalex.org/W2518832034"],"abstract_inverted_index":{"A":[0],"weighted":[1,25,83],"automaton":[2,126],"is":[3,57,105],"functional":[4,24,125,154],"if":[5],"any":[6],"two":[7],"accepting":[8],"runs":[9],"on":[10,142,176],"the":[11,16,31,33,35,43,50,60,64,70,75,82,88,94,98,119,149,163],"same":[12,17,164],"finite":[13],"word":[14],"have":[15],"value.":[18],"In":[19],"this":[20,187],"paper,":[21],"we":[22,53,91],"investigate":[23],"automata":[26,84,172,182],"for":[27,59,107,134,148],"four":[28,61],"different":[29,191],"measures:":[30],"sum,":[32,108,135],"mean,":[34],"discounted":[36,138,170],"sum":[37,171,177],"of":[38,97,153],"weights":[39],"along":[40],"edges":[41],"and":[42,47,66,74,101,110,137,144,173,178,190],"ratio":[44],"between":[45],"rewards":[46],"costs.":[48],"On":[49,87],"positive":[51],"side,":[52,90],"show":[54,102,114],"that":[55,103],"functionality":[56,143],"decidable":[58,80],"measures.":[62],"Furthermore,":[63],"existential":[65],"universal":[67],"threshold":[68],"problems,":[69],"language":[71,120],"inclusion":[72],"problem":[73,77,100],"equivalence":[76],"are":[78,85,146,193],"all":[79],"when":[81],"functional.":[86],"negative":[89],"also":[92],"study":[93],"quantitative":[95],"extension":[96],"realizability":[99],"it":[104],"undecidable":[106],"mean":[109,136,179],"ratio.":[111],"We":[112],"finally":[113],"how":[115],"to":[116,160,169,195],"decide":[117,196],"whether":[118],"associated":[121],"with":[122,130],"a":[123,131],"given":[124],"can":[127],"be":[128],"defined":[129],"deterministic":[132],"one,":[133],"sum.":[139],"The":[140],"results":[141,167,175],"determinizability":[145],"expressed":[147],"more":[150],"general":[151,188],"class":[152],"group":[155],"automata.":[156,180],"This":[157],"allows":[158],"one":[159],"formulate":[161],"within":[162,186],"framework":[165],"new":[166],"related":[168],"known":[174],"Ratio":[181],"do":[183],"not":[184],"fit":[185],"scheme":[189],"techniques":[192],"required":[194],"functionality.":[197]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}