Acta Informatica最新文献

{"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}

{"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}

{"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}

{"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}

{"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}

{"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}

{"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}

{"title":"Proportional lumpability and proportional bisimilarity","authors":"Andrea Marin,&nbsp;Carla Piazza,&nbsp;Sabina Rossi","doi":"10.1007/s00236-021-00404-y","DOIUrl":"10.1007/s00236-021-00404-y","url":null,"abstract":"<div><p>In this paper, we deal with the lumpability approach to cope with the state space explosion problem inherent to the computation of the stationary performance indices of large stochastic models. The lumpability method is based on a state aggregation technique and applies to Markov chains exhibiting some structural regularity. Moreover, it allows one to efficiently compute the exact values of the stationary performance indices when the model is actually lumpable. The notion of quasi-lumpability is based on the idea that a Markov chain can be altered by relatively small perturbations of the transition rates in such a way that the new resulting Markov chain is lumpable. In this case, only upper and lower bounds on the performance indices can be derived. Here, we introduce a novel notion of quasi-lumpability, named <i>proportional lumpability</i>, which extends the original definition of lumpability but, differently from the general definition of quasi-lumpability, it allows one to derive exact stationary performance indices for the original process. We then introduce the notion of <i>proportional bisimilarity</i> for the terms of the performance process algebra PEPA. Proportional bisimilarity induces a proportional lumpability on the underlying continuous-time Markov chains. Finally, we prove some compositionality results and show the applicability of our theory through examples.</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"59 2-3","pages":"211 - 244"},"PeriodicalIF":0.6,"publicationDate":"2021-06-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00236-021-00404-y","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"46452095","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}

{"title":"An automated system repair framework with signal temporal logic","authors":"Mert Ergurtuna,&nbsp;Beyazit Yalcinkaya,&nbsp;Ebru Aydin Gol","doi":"10.1007/s00236-021-00403-z","DOIUrl":"10.1007/s00236-021-00403-z","url":null,"abstract":"<div><p>We present an automated system repair framework for cyber-physical systems. The proposed framework consists of three main steps: (1) system simulation and fault detection to generate a labeled dataset, (2) identification of the repairable temporal properties leading to the faulty behavior and (3) repairing the system to avoid the occurrence of the cause identified in the second step. We express the cause as a past time signal temporal logic (ptSTL) formula and present an efficient monotonicity-based method to synthesize a ptSTL formula from a labeled dataset. Then, in the third step, we modify the faulty system by removing all behaviors that satisfy the ptSTL formula representing the cause of the fault. We apply the framework to two rich modeling formalisms: discrete-time dynamical systems and timed automata. For both of them, we define repairable formulae, the corresponding repair procedures, and illustrate them over case studies.</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"59 2-3","pages":"183 - 209"},"PeriodicalIF":0.6,"publicationDate":"2021-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00236-021-00403-z","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48983053","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}

{"title":"Finite automata with undirected state graphs","authors":"Martin Kutrib,&nbsp;Andreas Malcher,&nbsp;Christian Schneider","doi":"10.1007/s00236-021-00402-0","DOIUrl":"10.1007/s00236-021-00402-0","url":null,"abstract":"<div><p>We investigate finite automata whose state graphs are undirected. This means that for any transition from state <i>p</i> to <i>q</i> consuming some letter <i>a</i> from the input there exists a symmetric transition from state <i>q</i> to <i>p</i> consuming a letter <i>a</i> as well. So, the corresponding language families are subregular, and in particular in the deterministic case, subreversible. In detail, we study the operational descriptional complexity of deterministic and nondeterministic undirected finite automata. To this end, the different types of automata on alphabets with few letters are characterized. Then, the operational state complexity of the Boolean operations as well as the operations concatenation and iteration is investigated, where tight upper and lower bounds are derived for unary as well as arbitrary alphabets under the condition that the corresponding language classes are closed under the operation considered.</p></div>","PeriodicalId":7189,"journal":{"name":"Acta Informatica","volume":"59 1","pages":"163 - 181"},"PeriodicalIF":0.6,"publicationDate":"2021-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s00236-021-00402-0","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47710086","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}