{"id":"https://openalex.org/W4250861413","doi":"https://doi.org/10.3233/fi-2017-1463","title":"Stochastic Semantics","display_name":"Stochastic Semantics","publication_year":2017,"publication_date":"2017-03-03","ids":{"openalex":"https://openalex.org/W4250861413","doi":"https://doi.org/10.3233/fi-2017-1463"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2017-1463","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2017-1463","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083063581","display_name":"Symeon Bozapalidis","orcid":null},"institutions":[{"id":"https://openalex.org/I21370196","display_name":"Aristotle University of Thessaloniki","ror":"https://ror.org/02j61yw88","country_code":"GR","type":"education","lineage":["https://openalex.org/I21370196"]}],"countries":["GR"],"is_corresponding":false,"raw_author_name":"Symeon Bozapalidis","raw_affiliation_strings":["Department of Mathematics, Aristotle University of Thessaloniki, 54124 Thessaloniki, Greece. ,"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Aristotle University of Thessaloniki, 54124 Thessaloniki, Greece. ,","institution_ids":["https://openalex.org/I21370196"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057469509","display_name":"George Rahonis","orcid":"https://orcid.org/0000-0002-7481-992X"},"institutions":[{"id":"https://openalex.org/I21370196","display_name":"Aristotle University of Thessaloniki","ror":"https://ror.org/02j61yw88","country_code":"GR","type":"education","lineage":["https://openalex.org/I21370196"]}],"countries":["GR"],"is_corresponding":true,"raw_author_name":"George Rahonis","raw_affiliation_strings":["Department of Mathematics, Aristotle University of Thessaloniki, 54124 Thessaloniki, Greece. ,"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Aristotle University of Thessaloniki, 54124 Thessaloniki, Greece. ,","institution_ids":["https://openalex.org/I21370196"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5057469509"],"corresponding_institution_ids":["https://openalex.org/I21370196"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.34968419,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"150","issue":"2","first_page":"143","last_page":"177"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9979000091552734,"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.9979000091552734,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.996399998664856,"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"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9936000108718872,"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/tree-automaton","display_name":"Tree automaton","score":0.6022043824195862},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.5939669609069824},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.575785756111145},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.45704206824302673},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.44733840227127075},{"id":"https://openalex.org/keywords/monoid","display_name":"Monoid","score":0.44367340207099915},{"id":"https://openalex.org/keywords/kleenes-recursion-theorem","display_name":"Kleene's recursion theorem","score":0.42454245686531067},{"id":"https://openalex.org/keywords/substitution","display_name":"Substitution (logic)","score":0.42410755157470703},{"id":"https://openalex.org/keywords/context-free-grammar","display_name":"Context-free grammar","score":0.41802161931991577},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4161551296710968},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4100024104118347},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.38341832160949707},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.34826600551605225},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.34485942125320435},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2597757577896118},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.21798792481422424},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.17674511671066284},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.08043825626373291}],"concepts":[{"id":"https://openalex.org/C2778583254","wikidata":"https://www.wikidata.org/wiki/Q2872598","display_name":"Tree automaton","level":3,"score":0.6022043824195862},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.5939669609069824},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.575785756111145},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.45704206824302673},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.44733840227127075},{"id":"https://openalex.org/C206901836","wikidata":"https://www.wikidata.org/wiki/Q208237","display_name":"Monoid","level":2,"score":0.44367340207099915},{"id":"https://openalex.org/C123260079","wikidata":"https://www.wikidata.org/wiki/Q1933521","display_name":"Kleene's recursion theorem","level":2,"score":0.42454245686531067},{"id":"https://openalex.org/C2778220771","wikidata":"https://www.wikidata.org/wiki/Q1522579","display_name":"Substitution (logic)","level":2,"score":0.42410755157470703},{"id":"https://openalex.org/C97212296","wikidata":"https://www.wikidata.org/wiki/Q338047","display_name":"Context-free grammar","level":3,"score":0.41802161931991577},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4161551296710968},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4100024104118347},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.38341832160949707},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.34826600551605225},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.34485942125320435},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2597757577896118},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.21798792481422424},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.17674511671066284},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.08043825626373291},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/fi-2017-1463","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2017-1463","pdf_url":null,"source":{"id":"https://openalex.org/S39012697","display_name":"Fundamenta Informaticae","issn_l":"0169-2968","issn":["0169-2968","1875-8681"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fundamenta Informaticae","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4280598225","https://openalex.org/W4313593731","https://openalex.org/W1511851241","https://openalex.org/W2742582826","https://openalex.org/W2021535402","https://openalex.org/W1554938010","https://openalex.org/W2014996215","https://openalex.org/W2213295336","https://openalex.org/W3104116428","https://openalex.org/W1524873566"],"abstract_inverted_index":{"We":[0,20,65],"consider":[1],"stochastic":[2,17,62,99,119],"systems":[3,10],"of":[4,6,11,46,61,74,85,88,93,104,115],"equations":[5,12],"tree":[7,18,94],"series,":[8],"i.e.,":[9],"whose":[13],"right-hand":[14],"sides":[15],"are":[16],"polynomials.":[19],"obtain":[21],"their":[22],"least":[23,48,76,89],"solutions":[24],"in":[25,97],"arbitrary":[26],"substochastic":[27],"algebras,":[28],"using":[29],"both":[30],"the":[31,37,43,47,58,72,75,83,86,98,113],"[IO]-":[32,49],"and":[33,50,91],"OI-substitution":[34],"mode.":[35],"In":[36],"term":[38],"algebra,":[39],"we":[40,107],"show":[41],"that":[42],"consistency":[44,59],"problem":[45,60],"OI-solutions":[51,90],"is":[52],"decidable,":[53],"by":[54,118],"reducing":[55],"it":[56],"to":[57],"context-free":[63,120],"grammars.":[64,121],"prove":[66,108],"a":[67,109],"Kleene":[68,110],"type":[69],"theorem":[70,111],"for":[71,112],"components":[73,87],"OI-solutions.":[77],"The":[78],"folklore":[79],"Mezei-Wright":[80],"result":[81],"stating":[82],"coincidence":[84],"behaviors":[92],"automata":[95],"fails":[96],"setup.":[100],"As":[101],"an":[102],"application":[103],"our":[105],"theory,":[106],"class":[114],"series":[116],"generated":[117]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}