{"id":"https://openalex.org/W3031667662","doi":"https://doi.org/10.25596/jalc-2017-243","title":"Bottom-Up Quotients for Tree Languages","display_name":"Bottom-Up Quotients for Tree Languages","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W3031667662","doi":"https://doi.org/10.25596/jalc-2017-243","mag":"3031667662"},"language":"en","primary_location":{"id":"pmh:oai:HAL:hal-02335269v1","is_oa":false,"landing_page_url":"https://normandie-univ.hal.science/hal-02335269","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Automata, Languages and Combinatorics, 2017, 22 (4), pp.243--269. ⟨10.25596/jalc-2017-243⟩","raw_type":"Journal articles"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.25596/jalc-2017-243","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111844760","display_name":"Jean-Marc Champarnaud","orcid":null},"institutions":[{"id":"https://openalex.org/I4210108118","display_name":"Laboratoire d'Informatique, du Traitement de l'Information et des Syst\u00e8mes","ror":"https://ror.org/01f1vfy95","country_code":"FR","type":"facility","lineage":["https://openalex.org/I141576021","https://openalex.org/I4210105918","https://openalex.org/I4210105918","https://openalex.org/I4210105918","https://openalex.org/I4210108118","https://openalex.org/I62396329","https://openalex.org/I88814501"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Champarnaud, Jean-Marc","raw_affiliation_strings":["Laboratoire d'Informatique, de Traitement de l'Information et des Syst\u00e8mes"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratoire d'Informatique, de Traitement de l'Information et des Syst\u00e8mes","institution_ids":["https://openalex.org/I4210108118"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026435500","display_name":"Ludovic Mignot","orcid":"https://orcid.org/0000-0001-8262-9707"},"institutions":[{"id":"https://openalex.org/I4210105918","display_name":"Normandie Universit\u00e9","ror":"https://ror.org/01k40cz91","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210105918"]},{"id":"https://openalex.org/I62396329","display_name":"Universit\u00e9 de Rouen Normandie","ror":"https://ror.org/03nhjew95","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210105918","https://openalex.org/I62396329"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mignot, Ludovic","raw_affiliation_strings":["Universit\u00e9 de Rouen Normandie"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Rouen Normandie","institution_ids":["https://openalex.org/I4210105918","https://openalex.org/I62396329"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040842519","display_name":"Nadia Ouali Sebti","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ouali-Sebti, Nadia","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5033485939","display_name":"Djelloul Ziadi","orcid":"https://orcid.org/0000-0001-5497-0828"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ziadi, Djelloul","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7178,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.75729749,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"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/T11567","display_name":"semigroups and automata theory","score":0.9937999844551086,"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.9937999844551086,"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.9824000000953674,"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.9768999814987183,"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","display_name":"Tree (set theory)","score":0.6035279631614685},{"id":"https://openalex.org/keywords/quotient","display_name":"Quotient","score":0.570041298866272},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4004276394844055},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.35878098011016846},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3507981300354004},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.23054060339927673}],"concepts":[{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.6035279631614685},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.570041298866272},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4004276394844055},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.35878098011016846},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3507981300354004},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.23054060339927673}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:HAL:hal-02335269v1","is_oa":false,"landing_page_url":"https://normandie-univ.hal.science/hal-02335269","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Journal of Automata, Languages and Combinatorics, 2017, 22 (4), pp.243--269. ⟨10.25596/jalc-2017-243⟩","raw_type":"Journal articles"},{"id":"doi:10.25596/jalc-2017-243","is_oa":true,"landing_page_url":"https://doi.org/10.25596/jalc-2017-243","pdf_url":null,"source":{"id":"https://openalex.org/S7407052944","display_name":"Justus-Liebig-Universit\u00e4t Gie\u00dfen","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"},{"id":"mag:3031667662","is_oa":false,"landing_page_url":"https://hal-normandie-univ.archives-ouvertes.fr/hal-02335269","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":"HAL (Le Centre pour la Communication Scientifique Directe)","raw_type":null}],"best_oa_location":{"id":"doi:10.25596/jalc-2017-243","is_oa":true,"landing_page_url":"https://doi.org/10.25596/jalc-2017-243","pdf_url":null,"source":{"id":"https://openalex.org/S7407052944","display_name":"Justus-Liebig-Universit\u00e4t Gie\u00dfen","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"},"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/W2748952813","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694","https://openalex.org/W2911598644"],"abstract_inverted_index":{"We":[0,44],"extend":[1],"the":[2,14,46,69,72,82,94,97,130],"notion":[3],"of":[4,12,16,28,35,52,71,96],"tree":[5,18,29,53,75,85,91,111,116],"language":[6,19,92],"quotients":[7],"to":[8,22,68,80,107,113,121],"bottom-up":[9,73],"quotients.":[10],"Instead":[11],"computing":[13],"residual":[15],"a":[17,26,33,89,104,110,114,123],"from":[20],"top":[21],"bottom":[23],"and":[24,62],"producing":[25],"list":[27],"languages,":[30],"we":[31,101],"compute":[32],"set":[34],"$k$-ary":[36],"trees,":[37],"where":[38],"$k$":[39],"is":[40],"an":[41],"arbitrary":[42],"integer.":[43],"define":[45,103,122],"quotient":[47,74],"formula":[48],"for":[49],"different":[50],"combinations":[51],"languages:":[54],"union,":[55],"symbol":[56,60],"products,":[57],"compositions,":[58],"iterated":[59,63],"products":[61],"composition.":[64],"These":[65],"computations":[66],"lead":[67],"definition":[70],"automaton,":[76],"that":[77,118],"turns":[78],"out":[79],"be":[81],"minimal":[83],"deterministic":[84],"automaton":[86],"associated":[87],"with":[88],"regular":[90],"in":[93],"case":[95],"$0$-ary":[98],"trees.":[99],"Furthermore,":[100],"also":[102],"syntactic":[105],"test":[106],"determine":[108],"whether":[109],"belongs":[112],"given":[115],"language,":[117],"allows":[119],"us":[120],"new":[124],"membership":[125],"decision":[126],"algorithm,":[127],"without":[128],"constructing":[129],"whole":[131],"automaton.":[132]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}