Acta Informatica最新文献

筛选
英文 中文
Nilpotency and periodic points in non-uniform cellular automata 非均匀元胞自动机的幂零和周期点
IF 0.6 4区 计算机科学
Acta Informatica Pub Date : 2021-07-19 DOI: 10.1007/s00236-020-00390-7
Supreeti Kamilya, Jarkko Kari
{"title":"Nilpotency and periodic points in non-uniform cellular automata","authors":"Supreeti Kamilya,&nbsp;Jarkko Kari","doi":"10.1007/s00236-020-00390-7","DOIUrl":"10.1007/s00236-020-00390-7","url":null,"abstract":"<div><p>Nilpotent cellular automata have the simplest possible dynamics: all initial configurations lead in bounded time into the unique fixed point of the system. We investigate nilpotency in the setup of one-dimensional non-uniform cellular automata (NUCA) where different cells may use different local rules. There are infinitely many cells in NUCA but only a finite number of different local rules. Changing the distribution of the local rules in the system may drastically change the dynamics. We prove that if the available local rules are such that every periodic distribution of the rules leads to nilpotent behavior then so do also all eventually periodic distributions. However, in some cases there may be non-periodic distributions that are not nilpotent even if all periodic distributions are nilpotent. We demonstrate such a possibility using aperiodic Wang tile sets. We also investigate temporally periodic points in NUCA. In contrast to classical uniform cellular automata, there are NUCA—even reversible equicontinuous ones—that do not have any temporally periodic points. We prove the undecidability of this property: there is no algorithm to determine if a NUCA with a given finite distribution of local rules has a periodic point.</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"58 4","pages":"319 - 333"},"PeriodicalIF":0.6,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00236-020-00390-7","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50037377","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On the number of active states in finite automata 有限自动机中活动状态的数目
IF 0.6 4区 计算机科学
Acta Informatica Pub Date : 2021-07-19 DOI: 10.1007/s00236-021-00397-8
Henning Bordihn, M. Holzer
{"title":"On the number of active states in finite automata","authors":"Henning Bordihn, M. Holzer","doi":"10.1007/s00236-021-00397-8","DOIUrl":"https://doi.org/10.1007/s00236-021-00397-8","url":null,"abstract":"","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"58 1","pages":"301 - 318"},"PeriodicalIF":0.6,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00236-021-00397-8","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52289281","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Natural language guided object retrieval in images 自然语言引导下的图像对象检索
IF 0.6 4区 计算机科学
Acta Informatica Pub Date : 2021-07-19 DOI: 10.1007/s00236-021-00400-2
Ahmad Ostovar, Suna Bensch, Thomas Hellström
{"title":"Natural language guided object retrieval in images","authors":"Ahmad Ostovar,&nbsp;Suna Bensch,&nbsp;Thomas Hellström","doi":"10.1007/s00236-021-00400-2","DOIUrl":"10.1007/s00236-021-00400-2","url":null,"abstract":"<div><p>The ability to understand the surrounding environment and being able to communicate with interacting humans are important functionalities for many automated systems where visual input (e.g., images, video) and natural language input (speech or text) have to be related to each other. Possible applications are automatic image caption generation, interactive surveillance systems, or human robot interaction. In this paper, we propose algorithms for automatic responses to natural language queries about an image. Our approach uses a predefined neural net for detection of bounding boxes and objects in images, spatial relations between bounding boxes are modeled with a neural net, the queries are analyzed with a syntactic parser, and algorithms to map natural language to properties in the images are introduced. The algorithms make use of semantic similarity and antonyms. We evaluate the performance of our approach with test users assessing the quality of our system’s generated answers.</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"58 4","pages":"243 - 261"},"PeriodicalIF":0.6,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00236-021-00400-2","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45642608","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
On the number of active states in finite automata 有限自动机中活动状态的数目
IF 0.6 4区 计算机科学
Acta Informatica Pub Date : 2021-07-19 DOI: 10.1007/s00236-021-00397-8
Henning Bordihn, Markus Holzer
{"title":"On the number of active states in finite automata","authors":"Henning Bordihn,&nbsp;Markus Holzer","doi":"10.1007/s00236-021-00397-8","DOIUrl":"10.1007/s00236-021-00397-8","url":null,"abstract":"<div><p>We introduce a new measure of descriptional complexity on finite automata, called the number of active states. Roughly speaking, the number of active states of an automaton <i>A</i> on input <i>w</i> counts the number of different states visited during the most economic computation of the automaton <i>A</i> for the word <i>w</i>. This concept generalizes to finite automata and regular languages in a straightforward way. We show that the number of active states of both finite automata and regular languages is computable, even with respect to nondeterministic finite automata. We further compare the number of active states to related measures for regular languages. In particular, we show incomparability to the radius of regular languages and that the difference between the number of active states and the total number of states needed in finite automata for a regular language can be of exponential order.</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"58 4","pages":"301 - 318"},"PeriodicalIF":0.6,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00236-021-00397-8","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50037376","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A new class of the smallest FSSP partial solutions for 1D rings of length (n=2^{k}-1) 一维长度环的最小FSSP偏解的一个新类别 (n=2^{k}-1)
IF 0.6 4区 计算机科学
Acta Informatica Pub Date : 2021-07-19 DOI: 10.1007/s00236-020-00391-6
Hiroshi Umeo, Naoki Kamikawa, Gen Fujita
{"title":"A new class of the smallest FSSP partial solutions for 1D rings of length (n=2^{k}-1)","authors":"Hiroshi Umeo,&nbsp;Naoki Kamikawa,&nbsp;Gen Fujita","doi":"10.1007/s00236-020-00391-6","DOIUrl":"10.1007/s00236-020-00391-6","url":null,"abstract":"<div><p>A synchronization problem in cellular automata has been known as the Firing Squad Synchronization Problem (FSSP), where the FSSP gives a finite-state protocol for synchronizing a large scale of cellular automata. A quest for smaller state FSSP solutions has been an interesting problem for a long time. It has been shown by Balzer (Inf Control 10:22–42, 1967), Sanders (in: Jesshope, Jossifov, Wilhelmi (eds) Proceedings of the VI international workshop on parallel processing by cellular automata and arrays, Akademie, Berlin, 1994) and Berthiaume et al. (Theoret Comput Sci 320:213–228, 2004) that there exists no 4-state FSSP solution in arrays and rings. The number four is the state lower bound in the class of FSSP protocols. Umeo et al. (Parallel Process Lett 19(2):299–313, 2009), by introducing a concept of <i>full</i> versus <i>partial</i> FSSP solutions, provided a list of the smallest 4-state <i>symmetric</i> powers-of-2 FSSP protocols that can synchronize any one-dimensional (1D) ring cellular automata of length <span>(n=2^{k})</span> for any positive integer <span>(k ge 1)</span>. Afterwards, Ng (in: Partial solutions for the firing squad synchronization problem on rings, ProQuest Publications, Ann Arbor, MI, 2011) also added a list of <i>asymmetric</i> FSSP partial solutions, thus completing the 4-state powers-of-2 FSSP partial solutions. A question whether there are any 4-state partial solutions for ring lengths other than powers-of-2 has remained open. In this paper, we answer the question by providing a new class of the smallest symmetric and asymmetric 4-state FSSP protocols that can synchronize any 1D ring of length <span>(n=2^{k}-1)</span> for any positive integer <span>(k ge 2)</span>. We show that the class includes a rich variety of FSSP protocols that consists of 39 <i>symmetric</i> and 132 <i>asymmetric</i> solutions, ranging from minimum to linear synchronization time. In addition, we make an investigation into several interesting properties of those partial solutions, such as swapping general states, transposed protocols, a duality property between them, and an inclusive property of powers-of-2 solutions.</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"58 4","pages":"427 - 450"},"PeriodicalIF":0.6,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00236-020-00391-6","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50037381","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A new class of the smallest FSSP partial solutions for 1D rings of length $$n=2^{k}-1$$ n = 2 k 长度为$$n=2的1D环的一类新的最小FSSP部分解^{k}-1$$n=2 k
IF 0.6 4区 计算机科学
Acta Informatica Pub Date : 2021-07-19 DOI: 10.1007/s00236-020-00391-6
H. Umeo, N. Kamikawa, Gen Fujita
{"title":"A new class of the smallest FSSP partial solutions for 1D rings of length \u0000 \u0000 \u0000 \u0000 $$n=2^{k}-1$$\u0000 \u0000 \u0000 n\u0000 =\u0000 \u0000 2\u0000 k\u0000 ","authors":"H. Umeo, N. Kamikawa, Gen Fujita","doi":"10.1007/s00236-020-00391-6","DOIUrl":"https://doi.org/10.1007/s00236-020-00391-6","url":null,"abstract":"","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"58 1","pages":"427-450"},"PeriodicalIF":0.6,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00236-020-00391-6","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44714965","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The descriptional power of queue automata of constant length 恒长队列自动机的描述能力
IF 0.6 4区 计算机科学
Acta Informatica Pub Date : 2021-07-19 DOI: 10.1007/s00236-021-00398-7
Sebastian Jakobi, Katja Meckel, Carlo Mereghetti, Beatrice Palano
{"title":"The descriptional power of queue automata of constant length","authors":"Sebastian Jakobi,&nbsp;Katja Meckel,&nbsp;Carlo Mereghetti,&nbsp;Beatrice Palano","doi":"10.1007/s00236-021-00398-7","DOIUrl":"10.1007/s00236-021-00398-7","url":null,"abstract":"<div><p>We consider the notion of a <i>constant length queue automaton</i>—i.e., a traditional queue automaton with a built-in constant limit on the length of its queue—as a formalism for representing regular languages. We show that the descriptional power of constant length queue automata greatly outperforms that of traditional finite state automata, of constant height pushdown automata, and of straight line programs for regular expressions, by providing optimal exponential and double-exponential size gaps. Moreover, we prove that constant height pushdown automata can be simulated by constant length queue automata paying only by a linear size increase, and that removing nondeterminism in constant length queue automata requires an optimal exponential size blow-up, against the optimal double-exponential cost for determinizing constant height pushdown automata. Finally, we investigate the size cost of implementing Boolean language operations on deterministic and nondeterministic constant length queue automata.\u0000</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"58 4","pages":"335 - 356"},"PeriodicalIF":0.6,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00236-021-00398-7","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50037378","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
On the size of partial derivatives and the word membership problem 关于偏导数的大小和词的隶属度问题
IF 0.6 4区 计算机科学
Acta Informatica Pub Date : 2021-07-19 DOI: 10.1007/s00236-021-00399-6
S. Konstantinidis, António Machiavelo, N. Moreira, Rogério Reis
{"title":"On the size of partial derivatives and the word membership problem","authors":"S. Konstantinidis, António Machiavelo, N. Moreira, Rogério Reis","doi":"10.1007/s00236-021-00399-6","DOIUrl":"https://doi.org/10.1007/s00236-021-00399-6","url":null,"abstract":"","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"31 1","pages":"357 - 375"},"PeriodicalIF":0.6,"publicationDate":"2021-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00236-021-00399-6","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"52289459","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Correction to: A linear-time branching-time perspective on interface automata 修正:接口自动机的线性时间分支时间视角
IF 0.6 4区 计算机科学
Acta Informatica Pub Date : 2021-07-08 DOI: 10.1007/s00236-021-00406-w
Walter Vogler, Gerald Lüttgen
{"title":"Correction to: A linear-time branching-time perspective on interface automata","authors":"Walter Vogler,&nbsp;Gerald Lüttgen","doi":"10.1007/s00236-021-00406-w","DOIUrl":"10.1007/s00236-021-00406-w","url":null,"abstract":"","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"58 6","pages":"677 - 677"},"PeriodicalIF":0.6,"publicationDate":"2021-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00236-021-00406-w","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44871414","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Correction to: Solving high-level Petri games 修正:解决高级Petri游戏
IF 0.6 4区 计算机科学
Acta Informatica Pub Date : 2021-07-08 DOI: 10.1007/s00236-021-00405-x
Manuel Gieseking, Ernst-Rüdiger Olderog, Nick Würdemann
{"title":"Correction to: Solving high-level Petri games","authors":"Manuel Gieseking,&nbsp;Ernst-Rüdiger Olderog,&nbsp;Nick Würdemann","doi":"10.1007/s00236-021-00405-x","DOIUrl":"10.1007/s00236-021-00405-x","url":null,"abstract":"","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"58 6","pages":"675 - 676"},"PeriodicalIF":0.6,"publicationDate":"2021-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00236-021-00405-x","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45848606","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
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学术官方微信