{"id":"https://openalex.org/W2139183341","doi":"https://doi.org/10.3217/jucs-008-02-0257","title":"Shuffle Decomposition of Regular Languages","display_name":"Shuffle Decomposition of Regular Languages","publication_year":2020,"publication_date":"2020-04-07","ids":{"openalex":"https://openalex.org/W2139183341","doi":"https://doi.org/10.3217/jucs-008-02-0257","mag":"2139183341"},"language":"en","primary_location":{"id":"mag:2139183341","is_oa":true,"landing_page_url":"https://zenodo.org/record/6996123","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"Zenodo (CERN European Organization for Nuclear Research)","raw_type":null},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/6996123","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089322907","display_name":"Masami It\u014d","orcid":null},"institutions":[{"id":"https://openalex.org/I168356945","display_name":"Kyoto Sangyo University","ror":"https://ror.org/05t70xh16","country_code":"JP","type":"education","lineage":["https://openalex.org/I168356945"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Masami Ito","raw_affiliation_strings":["Department of Mathematics, Kyoto Sangyo University, Kyoto, Japan"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Kyoto Sangyo University, Kyoto, Japan","institution_ids":["https://openalex.org/I168356945"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5089322907"],"corresponding_institution_ids":["https://openalex.org/I168356945"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.00332513,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"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":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.9940000176429749,"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.9927999973297119,"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/computer-science","display_name":"Computer science","score":0.8745077848434448},{"id":"https://openalex.org/keywords/regular-language","display_name":"Regular language","score":0.6954404711723328},{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.625095546245575},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4494669735431671},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36292576789855957},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.054232507944107056}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8745077848434448},{"id":"https://openalex.org/C52370388","wikidata":"https://www.wikidata.org/wiki/Q752532","display_name":"Regular language","level":3,"score":0.6954404711723328},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.625095546245575},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4494669735431671},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36292576789855957},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.054232507944107056},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"mag:2139183341","is_oa":true,"landing_page_url":"https://zenodo.org/record/6996123","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"Zenodo (CERN European Organization for Nuclear Research)","raw_type":null},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.96.9877","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.9877","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.jucs.org/jucs_8_2/shuffle_decomposition_of_regular/Ito_M.pdf","raw_type":"text"},{"id":"doi:10.3217/jucs-008-02-0257","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-008-02-0257","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"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"}],"best_oa_location":{"id":"mag:2139183341","is_oa":true,"landing_page_url":"https://zenodo.org/record/6996123","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"Zenodo (CERN European Organization for Nuclear Research)","raw_type":null},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W421997344","https://openalex.org/W1573261786","https://openalex.org/W2002089154"],"related_works":["https://openalex.org/W1652311832","https://openalex.org/W2462453872","https://openalex.org/W2166247150","https://openalex.org/W2135396778","https://openalex.org/W4243252198","https://openalex.org/W2243428364","https://openalex.org/W2109507516","https://openalex.org/W3207171446","https://openalex.org/W1820726602","https://openalex.org/W2106047869"],"abstract_inverted_index":{"Abstract:":[0],"Let":[1,193,219],"A":[2,39,93,129],"\u2286":[3,34],"X":[4,35,126,145,147,153,196,217,267,270],"\u2217":[5,36,197],"be":[6,99,110,188],"a":[7,23,29,100,111,121,141,165,265],"regular":[8,31,46,66,122],"language.":[9],"In":[10,56],"the":[11,137,185,250],"paper,":[12,58,85],"we":[13,59,135],"will":[14,60,118],"provide":[15],"an":[16,69],"algorithm":[17],"to":[18,89],"decide":[19],"whether":[20],"there":[21],"exist":[22],"nontriviallanguage":[24],"B":[25,41,108,131],"\u2208I(n,":[26],"X)":[27,53],"and":[28,74,79,106,164,208,271],"nontrivial":[30],"language":[32,123,138],"C":[33,43,124],"such":[37,127],"that":[38,128],"=":[40,94,130,148,178],"\u22c4":[42,132],"Key":[44],"Words:":[45],"language,":[47],"shuffle":[48,50,63],"product,":[49],"decomposition,":[51],"I(n,":[52],"Category:":[54],"F.1":[55],"this":[57,84],"deal":[61],"with":[62,103,114,144],"decompositions":[64],"of":[65],"languages":[67,78],"over":[68,125],"alphabet":[70],"X.":[71],"Regarding":[72],"definitions":[73],"notations":[75],"concerning":[76],"formal":[77],"automata,":[80],"not":[81],"defined":[82,157,275],"in":[83],"refer,":[86],"for":[87,120],"instance,":[88],"[1].":[90],"Now":[91],"let":[92,107],"(S,":[95],"X,":[96,167,201],"\u03b4,":[97,223,229],"s0,F)":[98],"finite":[101,112],"automaton":[102,113],"L(A)":[104],"=A":[105],"=(T,X,\u03b3,t0,G)":[109],"L(B)":[115,206],"=B.":[116],"We":[117],"look":[119],"C.":[133],"ByX,":[134],"denote":[136],"{a":[139],"|":[140],"\u2208":[142,162,166,182,195,200,205,216,255,258,263,266,269],"X}":[143],"\u2229":[146],"\u2205.":[149],"LetB":[150],"=(T,X":[151],"\u222a":[152,235],"\u222a{#},":[154,222,228],"\u03b3,t0,G)where\u03b3":[155],"is":[156,243,249,274],"as":[158,245,276],"follows:":[159,277],"For":[160,253],"t":[161,179,181,257,261],"T":[163],"\u03b3(t,":[168,171,176],"a)":[169,172],"=t,":[170],"=\u03b3(t,":[173],"a).":[174],"Moreover,":[175],"#)":[177],"if":[180,207,210],"G.":[183],"Then":[184],"following":[186],"can":[187],"easily":[189],"shown.":[190],"Fact":[191],"1":[192],"a1a2...an":[194],"where":[198,214,232,247],"ai":[199],"i":[202],"=1,":[203],"2,...,n.Thena1a2...an":[204],"only":[209],"u1a1u2a2...unanun+1":[211],"#":[212],"\u2208L(B)":[213],"u1,u2,...,un":[215],"\u2217.":[218],"A1":[220],"=(S,X\u222aX":[221,227],"s0,":[224,230],"{\u03b1,":[225],"\u03c9})andletA2":[226],"{\u03b1})":[231],"S":[233,246,259],"=(":[234],"a\u2208X\u222a{\u03bb}S":[236],"(a)":[237],")":[238],"\u222a{\u03b1,":[239],"\u03c9}.":[240],"HereS":[241],"(\u03bb)":[242],"regarded":[244],"\u03bb":[248],"empty":[251],"word.":[252],"s":[254],"S,":[256],"\\\\F,":[260],"\u2032":[262],"F,":[264],"\u222a{\u03bb},b":[268],"{#},":[272],"\u03b4":[273]},"counts_by_year":[{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}