{"id":"https://openalex.org/W4402414761","doi":"https://doi.org/10.1007/s00224-024-10192-w","title":"Jumping Automata over Infinite Words","display_name":"Jumping Automata over Infinite Words","publication_year":2024,"publication_date":"2024-09-10","ids":{"openalex":"https://openalex.org/W4402414761","doi":"https://doi.org/10.1007/s00224-024-10192-w"},"language":"en","primary_location":{"id":"doi:10.1007/s00224-024-10192-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00224-024-10192-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00224-024-10192-w.pdf","source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00224-024-10192-w.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021154671","display_name":"Shaull Almagor","orcid":"https://orcid.org/0000-0001-9021-1175"},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Shaull Almagor","raw_affiliation_strings":["Computer Science, Technion - Israel Institute of Technology, Haifa, 3200003, Israel"],"affiliations":[{"raw_affiliation_string":"Computer Science, Technion - Israel Institute of Technology, Haifa, 3200003, Israel","institution_ids":["https://openalex.org/I174306211"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027498933","display_name":"Omer Yizhaq","orcid":null},"institutions":[{"id":"https://openalex.org/I174306211","display_name":"Technion \u2013 Israel Institute of Technology","ror":"https://ror.org/03qryx823","country_code":"IL","type":"education","lineage":["https://openalex.org/I174306211"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Omer Yizhaq","raw_affiliation_strings":["Computer Science, Technion - Israel Institute of Technology, Haifa, 3200003, Israel"],"affiliations":[{"raw_affiliation_string":"Computer Science, Technion - Israel Institute of Technology, Haifa, 3200003, Israel","institution_ids":["https://openalex.org/I174306211"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5021154671"],"corresponding_institution_ids":["https://openalex.org/I174306211"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.18347339,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"68","issue":"6","first_page":"1572","last_page":"1600"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":1.0,"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":1.0,"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/T11269","display_name":"Algorithms and Data Compression","score":0.9998000264167786,"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/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"}}],"keywords":[{"id":"https://openalex.org/keywords/jumping","display_name":"Jumping","score":0.8050199151039124},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.580748438835144},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.40871503949165344},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3887918293476105},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2564542591571808},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.08868485689163208}],"concepts":[{"id":"https://openalex.org/C2779897013","wikidata":"https://www.wikidata.org/wiki/Q1151752","display_name":"Jumping","level":2,"score":0.8050199151039124},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.580748438835144},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.40871503949165344},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3887918293476105},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2564542591571808},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.08868485689163208},{"id":"https://openalex.org/C42407357","wikidata":"https://www.wikidata.org/wiki/Q521","display_name":"Physiology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00224-024-10192-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00224-024-10192-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00224-024-10192-w.pdf","source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00224-024-10192-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00224-024-10192-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00224-024-10192-w.pdf","source":{"id":"https://openalex.org/S4210177266","display_name":"Theory of Computing Systems","issn_l":"1432-4350","issn":["1432-4350","1433-0490"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320323721","display_name":"Technion-Israel Institute of Technology","ror":"https://ror.org/03qryx823"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4402414761.pdf"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W271776540","https://openalex.org/W1132487926","https://openalex.org/W1551851178","https://openalex.org/W1930502691","https://openalex.org/W1967415065","https://openalex.org/W2031592188","https://openalex.org/W2066393902","https://openalex.org/W2087718129","https://openalex.org/W2094912129","https://openalex.org/W2114616381","https://openalex.org/W2142452201","https://openalex.org/W2157390113","https://openalex.org/W2162593546","https://openalex.org/W2174825782","https://openalex.org/W2745995963","https://openalex.org/W2804031838","https://openalex.org/W2888796762","https://openalex.org/W2963905619","https://openalex.org/W2964077628","https://openalex.org/W3100227670","https://openalex.org/W3131125590","https://openalex.org/W3158916599","https://openalex.org/W6811288861","https://openalex.org/W7057282354"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W648845647","https://openalex.org/W2381882558","https://openalex.org/W4388849567","https://openalex.org/W2486266915","https://openalex.org/W964501512","https://openalex.org/W2102267190","https://openalex.org/W1995093229","https://openalex.org/W2952585256"],"abstract_inverted_index":{"Abstract":[0],"Jumping":[1],"automata":[2,5,28,62,77,91],"are":[3],"finite":[4,36],"that":[6,63,72,78,92],"read":[7,64],"their":[8],"input":[9],"in":[10,20,68,83,97],"a":[11,86],"non-consecutive":[12],"manner,":[13],"disregarding":[14],"the":[15,18,21,33,65,81,95],"order":[16,70],"of":[17,35,85,99,111],"letters":[19],"word.":[22],"We":[23,103],"introduce":[24],"and":[25,90,108],"study":[26,104],"jumping":[27],"over":[29],"infinite":[30,44,66],"words.":[31],"Unlike":[32],"setting":[34],"words,":[37],"which":[38],"has":[39],"been":[40],"well":[41],"studied,":[42],"for":[43],"words":[45,51],"it":[46],"is":[47,75],"not":[48],"clear":[49],"how":[50],"can":[52,79,93],"be":[53],"reordered.":[54],"To":[55],"this":[56],"end,":[57],"we":[58],"consider":[59],"three":[60],"semantics:":[61],"word":[67,82,96],"some":[69],"so":[71],"no":[73],"letter":[74],"overlooked,":[76],"permute":[80,94],"windows":[84,98],"given":[87],"size":[88],"k,":[89],"an":[100],"existentially-quantified":[101],"bound.":[102],"expressiveness,":[105],"closure":[106],"properties":[107,110],"algorithmic":[109],"these":[112],"models.":[113]},"counts_by_year":[],"updated_date":"2026-03-11T06:11:40.159057","created_date":"2025-10-10T00:00:00"}