{"id":"https://openalex.org/W7225822631","doi":"https://doi.org/10.5281/zenodo.24142961","title":"The values of rational probabilistic finite automata are the left-c.e. reals","display_name":"The values of rational probabilistic finite automata are the left-c.e. reals","publication_year":2026,"publication_date":"2026-11-11","ids":{"openalex":"https://openalex.org/W7225822631","doi":"https://doi.org/10.5281/zenodo.24142961"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24142961","doi":"https://doi.org/10.5281/zenodo.24142961","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24142961","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24142961","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5140911527","display_name":"Seth Douglas","orcid":"https://orcid.org/0009-0007-4708-3252","observed_orcids":["https://orcid.org/0009-0007-4708-3252"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Douglas, Seth","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0007-4708-3252","affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5123014657","display_name":"Nidhal Mghirbi","orcid":"https://orcid.org/0009-0005-6534-1118","observed_orcids":["https://orcid.org/0009-0005-6534-1118"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mghirbi, Nidhal","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0005-6534-1118","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9390000104904175,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9390000104904175,"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/T11567","display_name":"semigroups and automata theory","score":0.05939999967813492,"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/T10588","display_name":"Mathematical Dynamics and Fractals","score":0.00019999999494757503,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C174784677","wikidata":"https://www.wikidata.org/wiki/Q176567","display_name":"Probabilistic automaton","level":3,"score":0.659500002861023},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.6234999895095825},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6043999791145325},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.571399986743927},{"id":"https://openalex.org/C139423837","wikidata":"https://www.wikidata.org/wiki/Q243800","display_name":"Two-way deterministic finite automaton","level":5,"score":0.5436000227928162},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5034000277519226},{"id":"https://openalex.org/C165753454","wikidata":"https://www.wikidata.org/wiki/Q1020380","display_name":"B\u00fcchi automaton","level":4,"score":0.48809999227523804},{"id":"https://openalex.org/C194525867","wikidata":"https://www.wikidata.org/wiki/Q5265707","display_name":"Deterministic automaton","level":3,"score":0.4810999929904938},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.47450000047683716},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.46860000491142273},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.44209998846054077},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.4196999967098236},{"id":"https://openalex.org/C46875033","wikidata":"https://www.wikidata.org/wiki/Q1244890","display_name":"Rational number","level":2,"score":0.38850000500679016},{"id":"https://openalex.org/C29248071","wikidata":"https://www.wikidata.org/wiki/Q163310","display_name":"Turing machine","level":3,"score":0.37209999561309814},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.33390000462532043},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.32499998807907104},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.30790001153945923},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.3073999881744385},{"id":"https://openalex.org/C94020503","wikidata":"https://www.wikidata.org/wiki/Q12916","display_name":"Real number","level":2,"score":0.30079999566078186},{"id":"https://openalex.org/C92710233","wikidata":"https://www.wikidata.org/wiki/Q291256","display_name":"\u03c9-automaton","level":5,"score":0.28029999136924744},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.27709999680519104},{"id":"https://openalex.org/C156382255","wikidata":"https://www.wikidata.org/wiki/Q818895","display_name":"Computable number","level":4,"score":0.27070000767707825},{"id":"https://openalex.org/C104091681","wikidata":"https://www.wikidata.org/wiki/Q837528","display_name":"Deterministic finite automaton","level":3,"score":0.27000001072883606},{"id":"https://openalex.org/C54271186","wikidata":"https://www.wikidata.org/wiki/Q1148456","display_name":"Computable function","level":2,"score":0.2687999904155731},{"id":"https://openalex.org/C158008952","wikidata":"https://www.wikidata.org/wiki/Q617295","display_name":"Nondeterministic finite automaton","level":4,"score":0.2671999931335449},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.2639000117778778},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2556000053882599}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.5281/zenodo.24142961","doi":"https://doi.org/10.5281/zenodo.24142961","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24142961","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.24142962","doi":"https://doi.org/10.5281/zenodo.24142962","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24142962","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.24143692","doi":"https://doi.org/10.5281/zenodo.24143692","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24143692","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.24147354","doi":"https://doi.org/10.5281/zenodo.24147354","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24147354","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24142961","doi":"https://doi.org/10.5281/zenodo.24142961","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24142961","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Which":[0],"real":[1,75,253],"numbers":[2],"are":[3,22],"values":[4],"of":[5,31,35,41,52,88,93,141,151,167,178,215,224,235,247,260],"probabilistic":[6,237],"finite":[7,49,238],"automata":[8,124],"with":[9,240,264],"rational":[10,15,36,196,265],"transition":[11,266],"probabilities":[12],"and":[13,79,84,180,182,249],"a":[14,96,101,138,168,172,185,195,236,245,261,274],"initial":[16],"distribution?":[17],"We":[18,130],"show":[19],"that":[20,55,72,80,107,119,157],"they":[21],"exactly":[23],"the":[24,29,39,45,53,56,65,114,117,121,149,154,176,199,202,210,233,258],"left-c.e.":[25,63,74,252],"reals":[26],"in":[27,76,175,254,268],"[0,1],":[28],"limits":[30],"computable":[32],"nondecreasing":[33],"sequences":[34],"numbers.":[37],"Here":[38],"value":[40,61,115,145,216,234],"an":[42,132,213],"automaton":[43,98,163,214,239],"is":[44,58,62,146,232,256],"supremum,":[46],"over":[47,153],"all":[48,92],"input":[50,82,160,242],"words,":[51],"probability":[54,223],"word":[57],"accepted.":[59],"Every":[60],"because":[64],"words":[66],"can":[67,99,208,218],"be":[68,219],"enumerated;":[69],"we":[70],"prove":[71],"every":[73,225,251],"[0,1]":[77,255],"occurs,":[78],"two":[81,241],"letters":[83],"one":[85,270],"fixed":[86,139],"number":[87],"states":[89],"suffice":[90],"for":[91],"them.In":[94],"particular":[95,269],"single":[97,128],"have":[100],"noncomputable":[102,275],"value.":[103],"It":[104],"was":[105],"known":[106],"no":[108,206],"algorithm":[109,207],"computes,":[110],"or":[111],"even":[112],"approximates,":[113],"from":[116,123,188,201],"automaton;":[118],"concerns":[120],"map":[122],"to":[125,137],"values,":[126],"not":[127],"values.":[129],"give":[131],"automaton,":[133,211],"specified":[134],"explicitly":[135],"relative":[136],"enumeration":[140],"Turing":[142],"machines,":[143],"whose":[144],"1/4":[147],"plus":[148],"sum":[150],"4^-(n+2)":[152],"programs":[155],"n":[156],"halt":[158],"on":[159],"n.":[161],"The":[162,192,221],"checks":[164],"claimed":[165],"runs":[166],"counter":[169],"machine":[170],"by":[171],"likelihood":[173],"test":[174],"manner":[177],"Condon":[179],"Lipton,":[181],"pays":[183],"out":[184],"reward":[186],"read":[187],"each":[189],"run's":[190],"output.":[191],"construction":[193,246],"uses":[194],"interval":[197],"around":[198],"target;":[200],"target's":[203],"approximations":[204],"alone":[205],"produce":[209],"since":[212],"0":[217],"recognized.":[220],"halting":[222],"prefix-free":[226],"machine,":[227],"Chaitin's":[228],"\u03a9":[229],"among":[230],"them,":[231],"letters.":[243],"With":[244],"Elkouss":[248],"P\u00e9rez-Garc\u00eda,":[250],"also":[257],"capacity":[259],"finite-state":[262],"channel":[263,272],"probabilities;":[267],"such":[271],"has":[273],"capacity.":[276]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}