{"id":"https://openalex.org/W4405536798","doi":"https://doi.org/10.1587/transinf.2024edp7175","title":"A Necessary and Sufficient Condition for Controlled Generation of Right Linear Grammars with Unknown Behaviors","display_name":"A Necessary and Sufficient Condition for Controlled Generation of Right Linear Grammars with Unknown Behaviors","publication_year":2024,"publication_date":"2024-12-18","ids":{"openalex":"https://openalex.org/W4405536798","doi":"https://doi.org/10.1587/transinf.2024edp7175"},"language":"en","primary_location":{"id":"doi:10.1587/transinf.2024edp7175","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2024edp7175","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E108.D/6/E108.D_2024EDP7175/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.jstage.jst.go.jp/article/transinf/E108.D/6/E108.D_2024EDP7175/_pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5047220895","display_name":"Daihei Ise","orcid":null},"institutions":[{"id":"https://openalex.org/I20529979","display_name":"University of Electro-Communications","ror":"https://ror.org/02x73b849","country_code":"JP","type":"education","lineage":["https://openalex.org/I20529979"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Daihei ISE","raw_affiliation_strings":["Graduate School of Informatics and Engineering, The University of Electro-Communications"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Informatics and Engineering, The University of Electro-Communications","institution_ids":["https://openalex.org/I20529979"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101644567","display_name":"Satoshi Kobayashi","orcid":"https://orcid.org/0000-0002-4137-9091"},"institutions":[{"id":"https://openalex.org/I20529979","display_name":"University of Electro-Communications","ror":"https://ror.org/02x73b849","country_code":"JP","type":"education","lineage":["https://openalex.org/I20529979"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Satoshi KOBAYASHI","raw_affiliation_strings":["Graduate School of Informatics and Engineering, The University of Electro-Communications"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Graduate School of Informatics and Engineering, The University of Electro-Communications","institution_ids":["https://openalex.org/I20529979"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I20529979"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16285817,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"E108.D","issue":"6","first_page":"540","last_page":"548"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9952999949455261,"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"}},"topics":[{"id":"https://openalex.org/T10181","display_name":"Natural Language Processing Techniques","score":0.9952999949455261,"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/T12031","display_name":"Speech and dialogue systems","score":0.9891999959945679,"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.9811999797821045,"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.8278321027755737},{"id":"https://openalex.org/keywords/rule-based-machine-translation","display_name":"Rule-based machine translation","score":0.6612667441368103},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.34815824031829834},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.33261603116989136}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8278321027755737},{"id":"https://openalex.org/C53893814","wikidata":"https://www.wikidata.org/wiki/Q7378909","display_name":"Rule-based machine translation","level":2,"score":0.6612667441368103},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34815824031829834},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.33261603116989136}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1587/transinf.2024edp7175","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2024edp7175","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E108.D/6/E108.D_2024EDP7175/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"},{"id":"pmh:oai:irdb.nii.ac.jp:00931:0006720969","is_oa":true,"landing_page_url":"https://uec.repo.nii.ac.jp/records/2000589","pdf_url":null,"source":{"id":"https://openalex.org/S7407056385","display_name":"Institutional Repositories DataBase (IRDB)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I184597095","host_organization_name":"National Institute of Informatics","host_organization_lineage":["https://openalex.org/I184597095"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"doctoral thesis"}],"best_oa_location":{"id":"doi:10.1587/transinf.2024edp7175","is_oa":true,"landing_page_url":"https://doi.org/10.1587/transinf.2024edp7175","pdf_url":"https://www.jstage.jst.go.jp/article/transinf/E108.D/6/E108.D_2024EDP7175/_pdf","source":{"id":"https://openalex.org/S2486202937","display_name":"IEICE Transactions on Information and Systems","issn_l":"0916-8532","issn":["0916-8532","1745-1361"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4320800604","host_organization_name":"Institute of Electronics, Information and Communication Engineers","host_organization_lineage":["https://openalex.org/P4320800604"],"host_organization_lineage_names":["Institute of Electronics, Information and Communication Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEICE Transactions on Information and Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4405536798.pdf","grobid_xml":"https://content.openalex.org/works/W4405536798.grobid-xml"},"referenced_works_count":9,"referenced_works":["https://openalex.org/W1794991410","https://openalex.org/W1977312644","https://openalex.org/W2038125628","https://openalex.org/W2058302256","https://openalex.org/W2085193747","https://openalex.org/W2478537323","https://openalex.org/W2801062473","https://openalex.org/W2908537632","https://openalex.org/W3111495636"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W3204019825"],"abstract_inverted_index":{"This":[0,155],"paper":[1,156],"deals":[2,157],"with":[3,37,158,227],"a":[4,87,124,190,206,231],"formal":[5],"language":[6,145],"theoretic":[7],"framework":[8],"for":[9,41,211,252],"the":[10,54,58,76,97,108,112,151,159,172,228,235,243,247,250,255,263,269],"generation":[11,77,113],"of":[12,25,46,61,63,99,110,115,153,165,174,182,201,215,230,249,261,266],"DNA":[13,16,27],"nanostructures":[14],"by":[15,150,171,221],"hybridization":[17],"control.":[18],"In":[19,68,176],"order":[20,83,121],"to":[21,74,84,122,168,218,254,271],"model":[22],"such":[23],"processes":[24],"generating":[26],"linear":[28,35],"nanostructures,":[29],"Kimoto":[30,103],"et":[31,104],"al.":[32,105],"proposed":[33],"right":[34],"grammars":[36],"unknown":[38],"behaviors":[39,62],"(RLUBs,":[40],"short),":[42],"in":[43,82,120,186,189],"which":[44,144],"behavior":[45,98],"derivation":[47],"is":[48,72],"not":[49,94],"determined":[50],"completely,":[51],"and":[52,57,193,208,223],"only":[53,86],"upper":[55],"bound":[56,60],"lower":[59],"derivations":[64],"are":[65],"known":[66],"beforehand.":[67],"bio-lab":[69,258],"experiments,":[70],"it":[71],"required":[73],"control":[75,118,130,152,173,183,187,199,202,225,236],"process":[78,114],"(chemical":[79],"reaction":[80,101],"process)":[81],"output":[85,123],"target":[88,125],"nanostructure":[89],"even":[90],"if":[91],"we":[92,178],"do":[93],"know":[95],"completely":[96],"chemical":[100],"process.":[102],"focused":[106],"on":[107,162],"problem":[109],"controlling":[111],"RLUBs":[116,222],"using":[117,127],"systems":[119,188,226],"string":[126],"as":[128,134,196],"few":[129],"devices":[131,184,267],"(control":[132],"symbols)":[133],"possible.":[135],"However,":[136],"there":[137],"has":[138],"been":[139],"no":[140],"general":[141,160],"discussion":[142],"about":[143],"classes":[146,164,214],"can":[147],"be":[148,169,219,242],"generated":[149,170,220],"RLUBs.":[154,175],"theory":[161,251],"finite":[163,166,213,216],"languages":[167,217],"particular,":[177],"consider":[179],"physical":[180,264],"properties":[181,265],"used":[185],"detailed":[191],"manner":[192],"formulate":[194],"them":[195],"quasiorders":[197],"over":[198,234],"alphabets":[200],"systems.":[203],"We":[204],"give":[205],"necessary":[207],"sufficient":[209],"condition":[210],"given":[212,232],"their":[224],"constraint":[229],"quasiorder":[233],"alphabet.":[237],"The":[238],"obtained":[239],"results":[240],"would":[241],"first":[244],"step":[245],"toward":[246],"construction":[248],"answering":[253],"question":[256],"from":[257],"experiment":[259],"researchers":[260],"whether":[262],"affect":[268],"ability":[270],"generate":[272],"nanostructures.":[273]},"counts_by_year":[],"updated_date":"2026-08-23T07:36:19.812096","created_date":"2025-10-10T00:00:00"}