{"id":"https://openalex.org/W1699931448","doi":"https://doi.org/10.3233/fi-2013-870","title":"On Language Equations with One-sided Concatenation","display_name":"On Language Equations with One-sided Concatenation","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W1699931448","doi":"https://doi.org/10.3233/fi-2013-870","mag":"1699931448"},"language":"en","primary_location":{"id":"doi:10.3233/fi-2013-870","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2013-870","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":true,"oa_status":"green","oa_url":"https://tud.qucosa.de/id/qucosa%3A79347","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086254817","display_name":"Franz Baader","orcid":"https://orcid.org/0000-0002-4049-221X"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Franz Baader","raw_affiliation_strings":["Institute for Theoretical Computer Science, Technical University of Dresden, Dresden D-01062, Germany. baader@tcs.inf.tu-dresden.de","Institute for Theoretical Computer Science, Technical University of Dresden, Dresden D-01062, Germany. baader@tcs.inf.tu-dresden.de#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Theoretical Computer Science, Technical University of Dresden, Dresden D-01062, Germany. baader@tcs.inf.tu-dresden.de","institution_ids":["https://openalex.org/I78650965"]},{"raw_affiliation_string":"Institute for Theoretical Computer Science, Technical University of Dresden, Dresden D-01062, Germany. baader@tcs.inf.tu-dresden.de#TAB#","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5005683089","display_name":"Alexander Okhotin","orcid":"https://orcid.org/0000-0002-1615-2725"},"institutions":[{"id":"https://openalex.org/I155660961","display_name":"University of Turku","ror":"https://ror.org/05vghhr25","country_code":"FI","type":"education","lineage":["https://openalex.org/I155660961"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Alexander Okhotin","raw_affiliation_strings":["Department of Mathematics and Statistics, University of Turku, Turku FI-20014, Finland. alexander.okhotin@utu.fi","Department of Mathematics and Statistics, University of Turku, Turku FI-20014, Finland. alexander.okhotin@utu.fi#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics, University of Turku, Turku FI-20014, Finland. alexander.okhotin@utu.fi","institution_ids":["https://openalex.org/I155660961"]},{"raw_affiliation_string":"Department of Mathematics and Statistics, University of Turku, Turku FI-20014, Finland. alexander.okhotin@utu.fi#TAB#","institution_ids":["https://openalex.org/I155660961"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.9471,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.87659374,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"126","issue":"1","first_page":"1","last_page":"35"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9923999905586243,"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"}},"topics":[{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9923999905586243,"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/T11567","display_name":"semigroups and automata theory","score":0.9891999959945679,"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/T12029","display_name":"DNA and Biological Computing","score":0.9830999970436096,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/concatenation","display_name":"Concatenation (mathematics)","score":0.8094698190689087},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5198791027069092},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3658570647239685},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.2329109013080597}],"concepts":[{"id":"https://openalex.org/C87619178","wikidata":"https://www.wikidata.org/wiki/Q126002","display_name":"Concatenation (mathematics)","level":2,"score":0.8094698190689087},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5198791027069092},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3658570647239685},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.2329109013080597}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.3233/fi-2013-870","is_oa":false,"landing_page_url":"https://doi.org/10.3233/fi-2013-870","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"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.94.4446","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.4446","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://lat.inf.tu-dresden.de/research/reports/2006/BaaderOkhotin-LTCS-06-01.pdf","raw_type":"text"},{"id":"pmh:oai:qucosa:de:qucosa:79347","is_oa":true,"landing_page_url":"https://tud.qucosa.de/id/qucosa%3A79347","pdf_url":null,"source":{"id":"https://openalex.org/S4377196435","display_name":"Qucosa (Saxon State and University Library Dresden)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I3132420320","host_organization_name":"SLUB Dresden","host_organization_lineage":["https://openalex.org/I3132420320"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/report"}],"best_oa_location":{"id":"pmh:oai:qucosa:de:qucosa:79347","is_oa":true,"landing_page_url":"https://tud.qucosa.de/id/qucosa%3A79347","pdf_url":null,"source":{"id":"https://openalex.org/S4377196435","display_name":"Qucosa (Saxon State and University Library Dresden)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I3132420320","host_organization_name":"SLUB Dresden","host_organization_lineage":["https://openalex.org/I3132420320"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/report"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.41999998688697815,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W49473404","https://openalex.org/W1480007921","https://openalex.org/W1480450127","https://openalex.org/W1495704961","https://openalex.org/W1512779672","https://openalex.org/W1523067754","https://openalex.org/W1546744587","https://openalex.org/W1560050980","https://openalex.org/W1560143702","https://openalex.org/W1570949334","https://openalex.org/W1605229073","https://openalex.org/W1650701334","https://openalex.org/W1886159700","https://openalex.org/W1964647046","https://openalex.org/W1967181601","https://openalex.org/W1977793919","https://openalex.org/W1993370765","https://openalex.org/W1998081523","https://openalex.org/W2000118875","https://openalex.org/W2001621593","https://openalex.org/W2002328599","https://openalex.org/W2022226854","https://openalex.org/W2033071128","https://openalex.org/W2039654728","https://openalex.org/W2046213250","https://openalex.org/W2049209348","https://openalex.org/W2054754886","https://openalex.org/W2064200694","https://openalex.org/W2070863577","https://openalex.org/W2098303102","https://openalex.org/W2111707461","https://openalex.org/W2117541535","https://openalex.org/W2119397055","https://openalex.org/W2120254577","https://openalex.org/W2125639421","https://openalex.org/W2135734455","https://openalex.org/W2162583406","https://openalex.org/W2911838076","https://openalex.org/W2913944636","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W2373577936","https://openalex.org/W3095575180","https://openalex.org/W2389596151","https://openalex.org/W4221148444","https://openalex.org/W4226054107","https://openalex.org/W4387678054","https://openalex.org/W4306784355"],"abstract_inverted_index":{"Language":[0],"equations":[1,3,11,48],"are":[2,15,28,79,119],"where":[4],"both":[5],"the":[6,10,13,39,44,96],"constants":[7],"occurring":[8],"in":[9,23,32,53,83,91],"and":[12,106],"solutions":[14],"formal":[16,24],"languages.":[17],"They":[18],"have":[19],"first":[20],"been":[21],"introduced":[22],"language":[25,47],"theory,":[26],"but":[27,52,66,89],"now":[29],"also":[30,90],"considered":[31],"other":[33,93],"areas":[34],"of":[35,86,95,98],"computer":[36],"science.":[37],"In":[38,76],"present":[40],"paper,":[41],"we":[42,61,78],"restrict":[43],"attention":[45],"to":[46,55,70],"with":[49],"one-sided":[50],"concatenation,":[51],"contrast":[54],"previous":[56],"work":[57],"on":[58],"these":[59,116],"equations,":[60,88],"allow":[62],"not":[63,80],"just":[64,81],"union":[65],"all":[67,115],"Boolean":[68],"operations":[69],"be":[71],"used":[72],"when":[73],"formulating":[74],"them.":[75],"addition,":[77],"interested":[82],"deciding":[84,92],"solvability":[85],"such":[87],"properties":[94],"set":[97],"solutions,":[99],"like":[100],"its":[101],"cardinality":[102],"(finite,":[103],"infinite,":[104],"uncountable)":[105],"whether":[107],"it":[108],"contains":[109],"least/greatest":[110],"solutions.":[111],"We":[112],"show":[113],"that":[114],"decision":[117],"problems":[118],"EXPTIME-complete.":[120]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}