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

International Conference on Implementation and Application of Automata最新文献

筛选
英文 中文
A Survey on Automata with Translucent Letters 半透明字母自动机研究综述
International Conference on Implementation and Application of Automata Pub Date : 2023-09-14 DOI: 10.1007/978-3-031-40247-0_2
F. Otto
{"title":"A Survey on Automata with Translucent Letters","authors":"F. Otto","doi":"10.1007/978-3-031-40247-0_2","DOIUrl":"https://doi.org/10.1007/978-3-031-40247-0_2","url":null,"abstract":"","PeriodicalId":182656,"journal":{"name":"International Conference on Implementation and Application of Automata","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127568856","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
Sweep Complexity Revisited 重新审视扫描的复杂性
International Conference on Implementation and Application of Automata Pub Date : 2023-08-13 DOI: 10.1007/978-3-031-40247-0_8
S. Fazekas, Robert Mercas
{"title":"Sweep Complexity Revisited","authors":"S. Fazekas, Robert Mercas","doi":"10.1007/978-3-031-40247-0_8","DOIUrl":"https://doi.org/10.1007/978-3-031-40247-0_8","url":null,"abstract":"","PeriodicalId":182656,"journal":{"name":"International Conference on Implementation and Application of Automata","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132605105","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
Ambiguity Hierarchies for Weighted Tree Automata 加权树自动机的歧义层次
International Conference on Implementation and Application of Automata Pub Date : 2023-03-02 DOI: 10.1007/978-3-030-79121-6_12
A. Maletti, Teodora Nasz, K. Stier, Markus Ulbricht
{"title":"Ambiguity Hierarchies for Weighted Tree Automata","authors":"A. Maletti, Teodora Nasz, K. Stier, Markus Ulbricht","doi":"10.1007/978-3-030-79121-6_12","DOIUrl":"https://doi.org/10.1007/978-3-030-79121-6_12","url":null,"abstract":"","PeriodicalId":182656,"journal":{"name":"International Conference on Implementation and Application of Automata","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2023-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134405463","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
Algorithms for Probabilistic and Stochastic Subsequential Failure Transducers 概率和随机子序列故障传感器算法
International Conference on Implementation and Application of Automata Pub Date : 2022-09-30 DOI: 10.1007/978-3-030-79121-6_11
Diana Geneva, Georgi Shopov, S. Mihov
{"title":"Algorithms for Probabilistic and Stochastic Subsequential Failure Transducers","authors":"Diana Geneva, Georgi Shopov, S. Mihov","doi":"10.1007/978-3-030-79121-6_11","DOIUrl":"https://doi.org/10.1007/978-3-030-79121-6_11","url":null,"abstract":"","PeriodicalId":182656,"journal":{"name":"International Conference on Implementation and Application of Automata","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-09-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116881930","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
Real-Time, Constant-Space, Constant-Randomness Verifiers 实时，恒定空间，恒定随机性验证器
International Conference on Implementation and Application of Automata Pub Date : 2022-06-02 DOI: 10.1007/978-3-031-07469-1_17
Özdeniz Dolu, Nevzat Ersoy, M. U. Gezer, A. Say
{"title":"Real-Time, Constant-Space, Constant-Randomness Verifiers","authors":"Özdeniz Dolu, Nevzat Ersoy, M. U. Gezer, A. Say","doi":"10.1007/978-3-031-07469-1_17","DOIUrl":"https://doi.org/10.1007/978-3-031-07469-1_17","url":null,"abstract":"","PeriodicalId":182656,"journal":{"name":"International Conference on Implementation and Application of Automata","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-06-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129409188","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
Homomorphisms on graph-walking automata 图行走自动机上的同态
International Conference on Implementation and Application of Automata Pub Date : 2021-11-19 DOI: 10.1007/978-3-031-07469-1_14
O. Martynova, A. Okhotin
{"title":"Homomorphisms on graph-walking automata","authors":"O. Martynova, A. Okhotin","doi":"10.1007/978-3-031-07469-1_14","DOIUrl":"https://doi.org/10.1007/978-3-031-07469-1_14","url":null,"abstract":"","PeriodicalId":182656,"journal":{"name":"International Conference on Implementation and Application of Automata","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-11-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128347647","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
Degrees of Restriction for Two-Dimensional Automata 二维自动机的约束度
International Conference on Implementation and Application of Automata Pub Date : 2021-05-03 DOI: 10.1007/978-3-030-79121-6_7
Taylor J. Smith, K. Salomaa
{"title":"Degrees of Restriction for Two-Dimensional Automata","authors":"Taylor J. Smith, K. Salomaa","doi":"10.1007/978-3-030-79121-6_7","DOIUrl":"https://doi.org/10.1007/978-3-030-79121-6_7","url":null,"abstract":"","PeriodicalId":182656,"journal":{"name":"International Conference on Implementation and Application of Automata","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-05-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121766046","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
Guessing the buffer bound for k-synchronizability 猜测k同步性的缓冲区边界
International Conference on Implementation and Application of Automata Pub Date : 2021-04-29 DOI: 10.1007/978-3-030-79121-6_9
C. Giusto, Laetitia Laversa, É. Lozes
{"title":"Guessing the buffer bound for k-synchronizability","authors":"C. Giusto, Laetitia Laversa, É. Lozes","doi":"10.1007/978-3-030-79121-6_9","DOIUrl":"https://doi.org/10.1007/978-3-030-79121-6_9","url":null,"abstract":"","PeriodicalId":182656,"journal":{"name":"International Conference on Implementation and Application of Automata","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-04-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116278939","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}
引用次数: 1
Regularity Conditions for Iterated Shuffle on Commutative Regular Languages 交换正则语言上迭代Shuffle的正则性条件
International Conference on Implementation and Application of Automata Pub Date : 2021-03-17 DOI: 10.1007/978-3-030-79121-6_3
Stefan Hoffmann
{"title":"Regularity Conditions for Iterated Shuffle on Commutative Regular Languages","authors":"Stefan Hoffmann","doi":"10.1007/978-3-030-79121-6_3","DOIUrl":"https://doi.org/10.1007/978-3-030-79121-6_3","url":null,"abstract":"","PeriodicalId":182656,"journal":{"name":"International Conference on Implementation and Application of Automata","volume":"2015 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-03-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114728131","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}
引用次数: 1
Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels 正则表达式在字母不变和用户定义标签上的偏导数
International Conference on Implementation and Application of Automata Pub Date : 2020-12-29 DOI: 10.1007/978-3-030-23679-3_15
S. Konstantinidis, Nelma Moreira, J. Pires, Rogério Reis
{"title":"Partial Derivatives of Regular Expressions over Alphabet-Invariant and User-Defined Labels","authors":"S. Konstantinidis, Nelma Moreira, J. Pires, Rogério Reis","doi":"10.1007/978-3-030-23679-3_15","DOIUrl":"https://doi.org/10.1007/978-3-030-23679-3_15","url":null,"abstract":"","PeriodicalId":182656,"journal":{"name":"International Conference on Implementation and Application of Automata","volume":"2013 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-12-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128133850","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学术文献互助群
群 号：604180095
Book学术官方微信