{"id":"https://openalex.org/W2103862049","doi":"https://doi.org/10.23638/lmcs-15(2:1)2019","title":"Streamability of nested word transductions","display_name":"Streamability of nested word transductions","publication_year":2019,"publication_date":"2019-04-04","ids":{"openalex":"https://openalex.org/W2103862049","doi":"https://doi.org/10.23638/lmcs-15(2:1)2019","mag":"2103862049"},"language":"en","primary_location":{"id":"doi:10.23638/lmcs-15(2:1)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(2:1)2019","pdf_url":"https://lmcs.episciences.org/5348/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/5348/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/I4210161954","display_name":"D\u00e9partement d'Informatique","ror":"https://ror.org/05y6rqs46","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2746051580","https://openalex.org/I29607241","https://openalex.org/I4210159245","https://openalex.org/I4210161954"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Emmanuel Filiot","raw_affiliation_strings":["D\u00e9partement d'Informatique [Bruxelles]"],"affiliations":[{"raw_affiliation_string":"D\u00e9partement d'Informatique [Bruxelles]","institution_ids":["https://openalex.org/I4210161954"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032764050","display_name":"Olivier Gauwin","orcid":null},"institutions":[{"id":"https://openalex.org/I4210142254","display_name":"Laboratoire Bordelais de Recherche en Informatique","ror":"https://ror.org/03adqg323","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I15057530","https://openalex.org/I4210142254","https://openalex.org/I4210159245","https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Olivier Gauwin","raw_affiliation_strings":["Laboratoire Bordelais de Recherche en Informatique"],"affiliations":[{"raw_affiliation_string":"Laboratoire Bordelais de Recherche en Informatique","institution_ids":["https://openalex.org/I4210142254"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039842635","display_name":"Pierre-Alain Reynier","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114274","display_name":"Laboratoire d\u2019Informatique et Syst\u00e8mes","ror":"https://ror.org/0257sgk90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I143002897","https://openalex.org/I21491767","https://openalex.org/I4210114274"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre-Alain Reynier","raw_affiliation_strings":["Laboratoire d'Informatique et des Syst\u00e8mes (LIS) (Marseille, Toulon)","Mod\u00e9lisation et V\u00e9rification"],"affiliations":[{"raw_affiliation_string":"Laboratoire d'Informatique et des Syst\u00e8mes (LIS) (Marseille, Toulon)","institution_ids":["https://openalex.org/I4210114274"]},{"raw_affiliation_string":"Mod\u00e9lisation et V\u00e9rification","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047834761","display_name":"Fr\u00e9d\u00e9ric Servais","orcid":null},"institutions":[{"id":"https://openalex.org/I4210161954","display_name":"D\u00e9partement d'Informatique","ror":"https://ror.org/05y6rqs46","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I2746051580","https://openalex.org/I29607241","https://openalex.org/I4210159245","https://openalex.org/I4210161954"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fr\u00e9d\u00e9ric Servais","raw_affiliation_strings":["D\u00e9partement d'Informatique [Bruxelles]"],"affiliations":[{"raw_affiliation_string":"D\u00e9partement d'Informatique [Bruxelles]","institution_ids":["https://openalex.org/I4210161954"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5049821685"],"corresponding_institution_ids":["https://openalex.org/I4210161954"],"apc_list":null,"apc_paid":null,"fwci":0.2,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":{"value":0.4927456,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"Volume 15, Issue 2","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.9998999834060669,"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.9998999834060669,"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.9995999932289124,"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"}},{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9994000196456909,"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/decidability","display_name":"Decidability","score":0.7923346757888794},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.6350387930870056},{"id":"https://openalex.org/keywords/nested-word","display_name":"Nested word","score":0.6209183931350708},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5529282689094543},{"id":"https://openalex.org/keywords/transduction","display_name":"Transduction (biophysics)","score":0.5407651662826538},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5078845620155334},{"id":"https://openalex.org/keywords/quadratic-growth","display_name":"Quadratic growth","score":0.5071403980255127},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4309806823730469},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.42502856254577637},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3887229561805725},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.33592694997787476},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3357178568840027},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.18454864621162415},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.17446660995483398},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.14883896708488464},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.14819136261940002},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.14792156219482422},{"id":"https://openalex.org/keywords/quantum-finite-automata","display_name":"Quantum finite automata","score":0.07290410995483398}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7923346757888794},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.6350387930870056},{"id":"https://openalex.org/C92117001","wikidata":"https://www.wikidata.org/wiki/Q6997829","display_name":"Nested word","level":5,"score":0.6209183931350708},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5529282689094543},{"id":"https://openalex.org/C15152581","wikidata":"https://www.wikidata.org/wiki/Q7833966","display_name":"Transduction (biophysics)","level":2,"score":0.5407651662826538},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5078845620155334},{"id":"https://openalex.org/C195956108","wikidata":"https://www.wikidata.org/wiki/Q7268362","display_name":"Quadratic growth","level":2,"score":0.5071403980255127},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4309806823730469},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.42502856254577637},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3887229561805725},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.33592694997787476},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3357178568840027},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.18454864621162415},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.17446660995483398},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14883896708488464},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.14819136261940002},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.14792156219482422},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.07290410995483398},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.23638/lmcs-15(2:1)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(2:1)2019","pdf_url":"https://lmcs.episciences.org/5348/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:1707.00527","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1707.00527","pdf_url":"https://arxiv.org/pdf/1707.00527","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/300453","is_oa":true,"landing_page_url":"http://hdl.handle.net/2013/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/300453","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, Volume 15, Issue 2","raw_type":"info:ulb-repo/semantics/openurl/article"},{"id":"pmh:oai:doaj.org/article:cb9a45171c924ea4981837832a8e555a","is_oa":true,"landing_page_url":"https://doaj.org/article/cb9a45171c924ea4981837832a8e555a","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 15, Issue 2 (2019)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.23638/lmcs-15(2:1)2019","is_oa":true,"landing_page_url":"https://doi.org/10.23638/lmcs-15(2:1)2019","pdf_url":"https://lmcs.episciences.org/5348/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":[],"awards":[{"id":"https://openalex.org/G2482950395","display_name":null,"funder_award_id":"233599","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G794676242","display_name":null,"funder_award_id":"ANR-16-CE40-0007","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G8415264645","display_name":null,"funder_award_id":"ANR-13-JS02-0010","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320321390","display_name":"Fonds De La Recherche Scientifique - FNRS","ror":"https://ror.org/03q83t159"},{"id":"https://openalex.org/F4320338370","display_name":"FP7 Information and Communication Technologies","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2103862049.pdf","grobid_xml":"https://content.openalex.org/works/W2103862049.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W172857819","https://openalex.org/W1484039100","https://openalex.org/W1504467106","https://openalex.org/W1552999515","https://openalex.org/W1571991326","https://openalex.org/W1573184733","https://openalex.org/W1753218741","https://openalex.org/W1761635979","https://openalex.org/W1769286860","https://openalex.org/W2002121536","https://openalex.org/W2003113120","https://openalex.org/W2027769154","https://openalex.org/W2039511338","https://openalex.org/W2064465758","https://openalex.org/W2096207507","https://openalex.org/W2096693597","https://openalex.org/W2099205674","https://openalex.org/W2102446213","https://openalex.org/W2103862049","https://openalex.org/W2106181999","https://openalex.org/W2131886132","https://openalex.org/W2138917091","https://openalex.org/W2881695248","https://openalex.org/W2889453721","https://openalex.org/W2949160139","https://openalex.org/W3098000419","https://openalex.org/W3123539899","https://openalex.org/W4206411814","https://openalex.org/W4206910410","https://openalex.org/W4230868072","https://openalex.org/W4251144709","https://openalex.org/W4297778734"],"related_works":["https://openalex.org/W2084086280","https://openalex.org/W2027198738","https://openalex.org/W2397767885","https://openalex.org/W2062514649","https://openalex.org/W2972379433","https://openalex.org/W2331020993","https://openalex.org/W4383764068","https://openalex.org/W2083114070","https://openalex.org/W237421766","https://openalex.org/W1481826604"],"abstract_inverted_index":{"We":[0,59,100],"consider":[1],"the":[2,47,53,56,86,95,98,119,122],"problem":[3],"of":[4,22,49,55,89,97,121,129],"evaluating":[5],"in":[6,9,65],"streaming":[7],"(i.e.,":[8],"a":[10,14,19,41,68,74,102,107,113,127],"single":[11],"left-to-right":[12],"pass)":[13],"nested":[15,69],"word":[16,70],"transduction":[17,25,71],"with":[18,40,112],"limited":[20],"amount":[21,88],"memory.":[23],"A":[24],"T":[26,50],"is":[27,63,81],"said":[28],"to":[29,109],"be":[30,38,110],"height":[31,54,96,120],"bounded":[32],"memory":[33,42,90,114],"(HBM)":[34],"if":[35,79],"it":[36,62,80],"can":[37],"evaluated":[39,111],"that":[43,61,115,131],"depends":[44,116],"only":[45],"on":[46,52,94,118],"size":[48],"and":[51],"input":[57],"word.":[58,99,123],"show":[60],"decidable":[64,104],"coNPTime":[66],"for":[67,106],"defined":[72],"by":[73],"visibly":[75],"pushdown":[76],"transducer":[77],"(VPT),":[78],"HBM.":[82],"In":[83],"this":[84],"case,":[85],"required":[87],"may":[91],"depend":[92],"exponentially":[93],"exhibit":[101],"sufficient,":[103],"condition":[105,125],"VPT":[108],"quadratically":[117],"This":[124],"defines":[126],"class":[128],"transductions":[130],"strictly":[132],"contains":[133],"all":[134],"determinizable":[135],"VPTs.":[136]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":4}],"updated_date":"2026-04-21T08:09:41.155169","created_date":"2025-10-10T00:00:00"}