发布求助
文献互助 智能选刊 最新文献

Workshop on Descriptional Complexity of Formal Systems最新文献

筛选
英文 中文
State Complexity of Simple Splicing 简单拼接的状态复杂度
Workshop on Descriptional Complexity of Formal Systems Pub Date : 2019-07-17 DOI: 10.1007/978-3-030-23247-4_15
L. Kari, T. Ng
{"title":"State Complexity of Simple Splicing","authors":"L. Kari, T. Ng","doi":"10.1007/978-3-030-23247-4_15","DOIUrl":"https://doi.org/10.1007/978-3-030-23247-4_15","url":null,"abstract":"","PeriodicalId":305919,"journal":{"name":"Workshop on Descriptional Complexity of Formal Systems","volume":"139 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115211486","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}
引用次数: 3
State Complexity of GF(2)-Concatenation and GF(2)-Inverse on Unary Languages 一元语言上GF(2)-串联和GF(2)-逆的状态复杂度
Workshop on Descriptional Complexity of Formal Systems Pub Date : 2019-07-17 DOI: 10.1007/978-3-030-23247-4_19
A. Okhotin, Elizaveta Sazhneva
{"title":"State Complexity of GF(2)-Concatenation and GF(2)-Inverse on Unary Languages","authors":"A. Okhotin, Elizaveta Sazhneva","doi":"10.1007/978-3-030-23247-4_19","DOIUrl":"https://doi.org/10.1007/978-3-030-23247-4_19","url":null,"abstract":"","PeriodicalId":305919,"journal":{"name":"Workshop on Descriptional Complexity of Formal Systems","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123591374","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}
引用次数: 6
Descriptional Complexity of Matrix Simple Semi-conditional Grammars 矩阵简单半条件语法的描述复杂度
Workshop on Descriptional Complexity of Formal Systems Pub Date : 2019-07-17 DOI: 10.1007/978-3-030-23247-4_8
H. Fernau, Lakshmanan Kuppusamy, Indhumathi Raman
{"title":"Descriptional Complexity of Matrix Simple Semi-conditional Grammars","authors":"H. Fernau, Lakshmanan Kuppusamy, Indhumathi Raman","doi":"10.1007/978-3-030-23247-4_8","DOIUrl":"https://doi.org/10.1007/978-3-030-23247-4_8","url":null,"abstract":"","PeriodicalId":305919,"journal":{"name":"Workshop on Descriptional Complexity of Formal Systems","volume":"99 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122232057","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}
引用次数: 2
NFA-to-DFA Trade-Off for Regular Operations 常规操作的nfa - dfa权衡
Workshop on Descriptional Complexity of Formal Systems Pub Date : 2019-07-17 DOI: 10.1007/978-3-030-23247-4_14
Galina Jirásková, Ivana Krajnáková
{"title":"NFA-to-DFA Trade-Off for Regular Operations","authors":"Galina Jirásková, Ivana Krajnáková","doi":"10.1007/978-3-030-23247-4_14","DOIUrl":"https://doi.org/10.1007/978-3-030-23247-4_14","url":null,"abstract":"","PeriodicalId":305919,"journal":{"name":"Workshop on Descriptional Complexity of Formal Systems","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122153847","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}
引用次数: 3
Union-Freeness, Deterministic Union-Freeness and Union-Complexity 联合自由、确定性联合自由和联合复杂性
Workshop on Descriptional Complexity of Formal Systems Pub Date : 2019-07-17 DOI: 10.1007/978-3-030-23247-4_3
B. Nagy
{"title":"Union-Freeness, Deterministic Union-Freeness and Union-Complexity","authors":"B. Nagy","doi":"10.1007/978-3-030-23247-4_3","DOIUrl":"https://doi.org/10.1007/978-3-030-23247-4_3","url":null,"abstract":"","PeriodicalId":305919,"journal":{"name":"Workshop on Descriptional Complexity of Formal Systems","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130864394","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}
引用次数: 2
Square, Power, Positive Closure, and Complementation on Star-Free Languages 无星形语言中的方形、权力、正闭包和互补
Workshop on Descriptional Complexity of Formal Systems Pub Date : 2019-07-17 DOI: 10.1007/978-3-030-23247-4_7
Sylvie Davies, Michal Hospodár
{"title":"Square, Power, Positive Closure, and Complementation on Star-Free Languages","authors":"Sylvie Davies, Michal Hospodár","doi":"10.1007/978-3-030-23247-4_7","DOIUrl":"https://doi.org/10.1007/978-3-030-23247-4_7","url":null,"abstract":"","PeriodicalId":305919,"journal":{"name":"Workshop on Descriptional Complexity of Formal Systems","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133645718","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}
引用次数: 0
Nondeterministic Right One-Way Jumping Finite Automata (Extended Abstract) 不确定右单向跳跃有限自动机(扩展抽象)
Workshop on Descriptional Complexity of Formal Systems Pub Date : 2019-07-17 DOI: 10.1007/978-3-030-23247-4_5
Simon Beier, M. Holzer
{"title":"Nondeterministic Right One-Way Jumping Finite Automata (Extended Abstract)","authors":"Simon Beier, M. Holzer","doi":"10.1007/978-3-030-23247-4_5","DOIUrl":"https://doi.org/10.1007/978-3-030-23247-4_5","url":null,"abstract":"","PeriodicalId":305919,"journal":{"name":"Workshop on Descriptional Complexity of Formal Systems","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124221207","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}
引用次数: 5
Regulated Tree Automata 调节树自动机
Workshop on Descriptional Complexity of Formal Systems Pub Date : 2019-07-17 DOI: 10.1007/978-3-030-23247-4_9
H. Fernau, Martin Vu
{"title":"Regulated Tree Automata","authors":"H. Fernau, Martin Vu","doi":"10.1007/978-3-030-23247-4_9","DOIUrl":"https://doi.org/10.1007/978-3-030-23247-4_9","url":null,"abstract":"","PeriodicalId":305919,"journal":{"name":"Workshop on Descriptional Complexity of Formal Systems","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126799800","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}
引用次数: 0
The Syntactic Complexity of Semi-flower Languages 半花语言的句法复杂性
Workshop on Descriptional Complexity of Formal Systems Pub Date : 2019-07-17 DOI: 10.1007/978-3-030-23247-4_11
Kitti Gelle, Szabolcs Iván
{"title":"The Syntactic Complexity of Semi-flower Languages","authors":"Kitti Gelle, Szabolcs Iván","doi":"10.1007/978-3-030-23247-4_11","DOIUrl":"https://doi.org/10.1007/978-3-030-23247-4_11","url":null,"abstract":"","PeriodicalId":305919,"journal":{"name":"Workshop on Descriptional Complexity of Formal Systems","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-07-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121757257","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}
引用次数: 0
Generalized de Bruijn words and the state complexity of conjugate sets 广义de Bruijn词与共轭集的状态复杂度
Workshop on Descriptional Complexity of Formal Systems Pub Date : 2019-03-13 DOI: 10.1007/978-3-030-23247-4_10
D. Gabric, S. Holub, J. Shallit
{"title":"Generalized de Bruijn words and the state complexity of conjugate sets","authors":"D. Gabric, S. Holub, J. Shallit","doi":"10.1007/978-3-030-23247-4_10","DOIUrl":"https://doi.org/10.1007/978-3-030-23247-4_10","url":null,"abstract":"","PeriodicalId":305919,"journal":{"name":"Workshop on Descriptional Complexity of Formal Systems","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-03-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114292193","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}
引用次数: 3
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信