{"id":"https://openalex.org/W7160649583","doi":"https://doi.org/10.48550/arxiv.2605.06269","title":"Edit Distance of Finite-Valued Transducers","display_name":"Edit Distance of Finite-Valued Transducers","publication_year":2026,"publication_date":"2026-05-07","ids":{"openalex":"https://openalex.org/W7160649583","doi":"https://doi.org/10.48550/arxiv.2605.06269"},"language":"en","primary_location":{"id":"pmh:doi:10.4230/lipics.icalp.2026.186","is_oa":true,"landing_page_url":"https://www.worldcat.org/oclc/06364613","pdf_url":"https://saisunny1994.github.io/pdfs/ThesisSigned.pdf","source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},"type":"conference-paper","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://saisunny1994.github.io/pdfs/ThesisSigned.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":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mathew, Prince","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5092474473","display_name":"Saina Sunny","orcid":"https://orcid.org/0009-0005-1366-0168"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sunny, Saina","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.49943673,"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.9656000137329102,"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.9656000137329102,"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.007000000216066837,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.005900000222027302,"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/transducer","display_name":"Transducer","score":0.88919997215271},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.5446000099182129},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.5097000002861023},{"id":"https://openalex.org/keywords/computability","display_name":"Computability","score":0.4645000100135803},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4544000029563904},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4375}],"concepts":[{"id":"https://openalex.org/C56318395","wikidata":"https://www.wikidata.org/wiki/Q215928","display_name":"Transducer","level":2,"score":0.88919997215271},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.5446000099182129},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5199000239372253},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.5097000002861023},{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.4645000100135803},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4544000029563904},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4375},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.38940000534057617},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3569999933242798},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3488999903202057},{"id":"https://openalex.org/C196697905","wikidata":"https://www.wikidata.org/wiki/Q2042052","display_name":"Input/output","level":2,"score":0.3140999972820282},{"id":"https://openalex.org/C44359876","wikidata":"https://www.wikidata.org/wiki/Q5338467","display_name":"Edit distance","level":2,"score":0.3093999922275543},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.2718000113964081},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.2590000033378601},{"id":"https://openalex.org/C135984084","wikidata":"https://www.wikidata.org/wiki/Q7544087","display_name":"Smart transducer","level":3,"score":0.2517000138759613}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:doi:10.4230/lipics.icalp.2026.186","is_oa":true,"landing_page_url":"https://www.worldcat.org/oclc/06364613","pdf_url":"https://saisunny1994.github.io/pdfs/ThesisSigned.pdf","source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},{"id":"doi:10.48550/arxiv.2605.06269","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.06269","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:doi:10.4230/lipics.icalp.2026.186","is_oa":true,"landing_page_url":"https://www.worldcat.org/oclc/06364613","pdf_url":"https://saisunny1994.github.io/pdfs/ThesisSigned.pdf","source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","issn_l":null,"issn":null,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7160649583.pdf","grobid_xml":"https://content.openalex.org/works/W7160649583.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],"words,":[35],"some":[37,73],"constant":[38],"$k$.":[39],"If":[40],"$k":[41],"=":[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-07-29T14:22:42.915294","created_date":"2026-05-09T00:00:00"}