Pub Date : 2020-08-24DOI: 10.1007/978-3-030-62536-8_8
C. Keeler, K. Salomaa
{"title":"Combining Limited Parallelism and Nondeterminism in Alternating Finite Automata","authors":"C. Keeler, K. Salomaa","doi":"10.1007/978-3-030-62536-8_8","DOIUrl":"https://doi.org/10.1007/978-3-030-62536-8_8","url":null,"abstract":"","PeriodicalId":305919,"journal":{"name":"Workshop on Descriptional Complexity of Formal Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-08-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123454911","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-09-01DOI: 10.1007/978-3-319-60252-3_23
T. Ng, D. Rappaport, K. Salomaa
{"title":"State Complexity of Suffix Distance","authors":"T. Ng, D. Rappaport, K. Salomaa","doi":"10.1007/978-3-319-60252-3_23","DOIUrl":"https://doi.org/10.1007/978-3-319-60252-3_23","url":null,"abstract":"","PeriodicalId":305919,"journal":{"name":"Workshop on Descriptional Complexity of Formal Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131448992","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-07-17DOI: 10.1007/978-3-030-23247-4_22
T. Yamakami
{"title":"How Does Adiabatic Quantum Computation Fit into Quantum Automata Theory?","authors":"T. Yamakami","doi":"10.1007/978-3-030-23247-4_22","DOIUrl":"https://doi.org/10.1007/978-3-030-23247-4_22","url":null,"abstract":"","PeriodicalId":305919,"journal":{"name":"Workshop on Descriptional Complexity of Formal Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116250935","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-07-17DOI: 10.1007/978-3-030-23247-4_18
Mizuhito Ogawa, V. Selivanov
{"title":"On Classes of Regular Languages Related to Monotone WQOs","authors":"Mizuhito Ogawa, V. Selivanov","doi":"10.1007/978-3-030-23247-4_18","DOIUrl":"https://doi.org/10.1007/978-3-030-23247-4_18","url":null,"abstract":"","PeriodicalId":305919,"journal":{"name":"Workshop on Descriptional Complexity of Formal Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121454849","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-07-17DOI: 10.1007/978-3-030-23247-4_4
G. Pighizzini
{"title":"Limited Automata: Properties, Complexity and Variants","authors":"G. Pighizzini","doi":"10.1007/978-3-030-23247-4_4","DOIUrl":"https://doi.org/10.1007/978-3-030-23247-4_4","url":null,"abstract":"","PeriodicalId":305919,"journal":{"name":"Workshop on Descriptional Complexity of Formal Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128757227","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-07-17DOI: 10.1007/978-3-030-23247-4_12
Yo-Sub Han, Sang-Ki Ko, K. Salomaa
{"title":"Limited Nondeterminism of Input-Driven Pushdown Automata: Decidability and Complexity","authors":"Yo-Sub Han, Sang-Ki Ko, K. Salomaa","doi":"10.1007/978-3-030-23247-4_12","DOIUrl":"https://doi.org/10.1007/978-3-030-23247-4_12","url":null,"abstract":"","PeriodicalId":305919,"journal":{"name":"Workshop on Descriptional Complexity of Formal Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134331988","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-07-17DOI: 10.1007/978-3-030-23247-4_16
C. Keeler, K. Salomaa
{"title":"Nondeterminism Growth and State Complexity","authors":"C. Keeler, K. Salomaa","doi":"10.1007/978-3-030-23247-4_16","DOIUrl":"https://doi.org/10.1007/978-3-030-23247-4_16","url":null,"abstract":"","PeriodicalId":305919,"journal":{"name":"Workshop on Descriptional Complexity of Formal Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121452238","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-07-17DOI: 10.1007/978-3-030-23247-4_17
Martin Kutrib, Andreas Malcher, C. Mereghetti, Beatrice Palano
{"title":"Descriptional Complexity of Iterated Uniform Finite-State Transducers","authors":"Martin Kutrib, Andreas Malcher, C. Mereghetti, Beatrice Palano","doi":"10.1007/978-3-030-23247-4_17","DOIUrl":"https://doi.org/10.1007/978-3-030-23247-4_17","url":null,"abstract":"","PeriodicalId":305919,"journal":{"name":"Workshop on Descriptional Complexity of Formal Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127867541","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-07-17DOI: 10.1007/978-3-030-23247-4_6
J. Brzozowski, Sylvie Davies, A. Madan
{"title":"State Complexity of Single-Word Pattern Matching in Regular Languages","authors":"J. Brzozowski, Sylvie Davies, A. Madan","doi":"10.1007/978-3-030-23247-4_6","DOIUrl":"https://doi.org/10.1007/978-3-030-23247-4_6","url":null,"abstract":"","PeriodicalId":305919,"journal":{"name":"Workshop on Descriptional Complexity of Formal Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121285595","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2019-07-17DOI: 10.1007/978-3-030-23247-4_1
R. Freund
{"title":"A General Framework for Sequential Grammars with Control Mechanisms","authors":"R. Freund","doi":"10.1007/978-3-030-23247-4_1","DOIUrl":"https://doi.org/10.1007/978-3-030-23247-4_1","url":null,"abstract":"","PeriodicalId":305919,"journal":{"name":"Workshop on Descriptional Complexity of Formal Systems","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2019-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128084326","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}