{"id":"https://openalex.org/W7166849212","doi":"https://doi.org/10.4230/lipics.icalp.2026.186","title":"Edit Distance of Finite-Valued Transducers","display_name":"Edit Distance of Finite-Valued Transducers","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7166849212","doi":"https://doi.org/10.4230/lipics.icalp.2026.186"},"language":"en","primary_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:26575","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2026.186","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol374-icalp2026/LIPIcs.ICALP.2026.186/LIPIcs.ICALP.2026.186.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"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":"InProceedings"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol374-icalp2026/LIPIcs.ICALP.2026.186/LIPIcs.ICALP.2026.186.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5047944730","display_name":"Prince Mathew","orcid":"https://orcid.org/0000-0001-6410-1474"},"institutions":[{"id":"https://openalex.org/I132053463","display_name":"Universit\u00e9 Libre de Bruxelles","ror":"https://ror.org/01r9htc13","country_code":"BE","type":"education","lineage":["https://openalex.org/I132053463"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Mathew, Prince","raw_affiliation_strings":["Universit\u00e9 libre de Bruxelles, Belgium"],"raw_orcid":"https://orcid.org/0000-0001-6410-1474","affiliations":[{"raw_affiliation_string":"Universit\u00e9 libre de Bruxelles, Belgium","institution_ids":["https://openalex.org/I132053463"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5092474473","display_name":"Saina Sunny","orcid":"https://orcid.org/0009-0005-1366-0168"},"institutions":[{"id":"https://openalex.org/I132053463","display_name":"Universit\u00e9 Libre de Bruxelles","ror":"https://ror.org/01r9htc13","country_code":"BE","type":"education","lineage":["https://openalex.org/I132053463"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Sunny, Saina","raw_affiliation_strings":["Universit\u00e9 libre de Bruxelles, Belgium"],"raw_orcid":"https://orcid.org/0009-0005-1366-0168","affiliations":[{"raw_affiliation_string":"Universit\u00e9 libre de Bruxelles, Belgium","institution_ids":["https://openalex.org/I132053463"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I132053463"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.7753482,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"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/T11567","display_name":"semigroups and automata theory","score":0.9610000252723694,"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.9610000252723694,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.0071000000461936,"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.005200000014156103,"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/transducer","display_name":"Transducer","score":0.8891000151634216},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.5514000058174133},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.5038999915122986},{"id":"https://openalex.org/keywords/computability","display_name":"Computability","score":0.46880000829696655},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.44850000739097595},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.43700000643730164}],"concepts":[{"id":"https://openalex.org/C56318395","wikidata":"https://www.wikidata.org/wiki/Q215928","display_name":"Transducer","level":2,"score":0.8891000151634216},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.5514000058174133},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5062999725341797},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.5038999915122986},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.46880000829696655},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.44850000739097595},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.43700000643730164},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.39239999651908875},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.36390000581741333},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3619000017642975},{"id":"https://openalex.org/C196697905","wikidata":"https://www.wikidata.org/wiki/Q2042052","display_name":"Input/output","level":2,"score":0.31859999895095825},{"id":"https://openalex.org/C44359876","wikidata":"https://www.wikidata.org/wiki/Q5338467","display_name":"Edit distance","level":2,"score":0.30799999833106995},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.26489999890327454},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.2558000087738037}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:drops-oai.dagstuhl.de:26575","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2026.186","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol374-icalp2026/LIPIcs.ICALP.2026.186/LIPIcs.ICALP.2026.186.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"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":"InProceedings"},{"id":"doi:10.4230/lipics.icalp.2026.186","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.icalp.2026.186","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"ConferencePaper"}],"best_oa_location":{"id":"pmh:oai:drops-oai.dagstuhl.de:26575","is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2026.186","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol374-icalp2026/LIPIcs.ICALP.2026.186/LIPIcs.ICALP.2026.186.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"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":"InProceedings"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7166849212.pdf","grobid_xml":"https://content.openalex.org/works/W7166849212.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Transducers":[0],"generalise":[1],"automata":[2],"by":[3],"producing":[4],"output":[5,34,68,74],"word(s)":[6],"for":[7,25,36,78,87,101],"each":[8,79],"input":[9,27,80],"word,":[10,28],"thereby":[11],"defining":[12],"a":[13,119],"relation":[14],"over":[15],"words.":[16],"A":[17],"transducer":[18,46,71],"is":[19,47,58,92,99,122],"said":[20,48],"to":[21,49,65,94],"be":[22,50,95],"finite-valued":[23,117],"if,":[24],"every":[26,67],"it":[29,91,98],"produces":[30],"at":[31],"most":[32],"k":[33,41],"words,":[35],"some":[37,73],"constant":[38],"k.":[39],"If":[40],"=":[42],"1,":[43],"then":[44],"the":[45,59,76,110,113],"functional.":[51],"The":[52],"edit":[53,114],"distance":[54,115],"between":[55],"two":[56],"transducers":[57,102],"minimal":[60],"number":[61],"of":[62,69,75,112,116],"edits":[63],"required":[64],"transform":[66],"one":[70],"into":[72],"other,":[77],"word.":[81],"This":[82],"notion":[83],"has":[84],"been":[85],"studied":[86],"functional":[88,127],"transducers,":[89,118],"where":[90],"shown":[93],"computable.":[96],"However,":[97],"uncomputable":[100],"in":[103],"general.":[104],"In":[105],"this":[106],"work,":[107],"we":[108],"show":[109],"computability":[111],"class":[120],"that":[121],"strictly":[123],"more":[124],"expressive":[125],"than":[126],"transducers.":[128]},"counts_by_year":[],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2026-07-02T00:00:00"}