Showing 1–6 of 6 results for author: Fiorenzi, F

Multipass automata and group word problems

Authors: Tullio Ceccherini-Silberstein, Michel Coornaert, Francesca Fiorenzi, Paul E. Schupp, Nicholas W. M. Touikan

Abstract: We introduce the notion of multipass automata as a generalization of pushdown automata and study the classes of languages accepted by such machines. The class of languages accepted by deterministic multipass automata is exactly the Boolean closure of the class of deterministic context-free languages while the class of languages accepted by nondeterministic multipass automata is exactly the class o… ▽ More We introduce the notion of multipass automata as a generalization of pushdown automata and study the classes of languages accepted by such machines. The class of languages accepted by deterministic multipass automata is exactly the Boolean closure of the class of deterministic context-free languages while the class of languages accepted by nondeterministic multipass automata is exactly the class of poly-context-free languages, that is, languages which are the intersection of finitely many context-free languages. We illustrate the use of these automata by studying groups whose word problems are in the above classes. △ Less

Submitted 3 July, 2015; v1 submitted 29 April, 2014; originally announced April 2014.

MSC Class: 03B25; 05C05; 37B10; 37B15; 68Q70; 68Q80

Journal ref: Theoret. Comput. Sci. 600 (2015), 19-33

Periodic configurations of subshifts on groups

Authors: Francesca Fiorenzi

Abstract: We study the density of periodic configurations for shift spaces defined on (the Cayley graph of) a finitely generated group. We prove that in the case of a full shift on a residually finite group and in that of a group shift space on an abelian group, the periodic configurations are dense. In the one-dimensional case we prove the density for irreducible sofic shifts. In connection with this we st… ▽ More We study the density of periodic configurations for shift spaces defined on (the Cayley graph of) a finitely generated group. We prove that in the case of a full shift on a residually finite group and in that of a group shift space on an abelian group, the periodic configurations are dense. In the one-dimensional case we prove the density for irreducible sofic shifts. In connection with this we study the surjunctivity of cellular automata and local selfmappings. Some related decision problems for shift spaces of finite type are also investigated. △ Less

Submitted 14 February, 2014; originally announced February 2014.

Journal ref: Internat. J. Algebra Comput. 19 (2009) no. 3, 315-335

Cellular automata between sofic tree shifts

Authors: Tullio Ceccherini-Silberstein, Michel Coornaert, Francesca Fiorenzi, Zoran Sunic

Abstract: We study the sofic tree shifts of $A^{Σ^*}$, where $Σ^*$ is a regular rooted tree of finite rank. In particular, we give their characterization in terms of unrestricted Rabin automata. We show that if $X \subset A^{Σ^*}$ is a sofic tree shift, then the configurations in $X$ whose orbit under the shift action is finite are dense in $X$, and, as a consequence of this, we deduce that every injective… ▽ More We study the sofic tree shifts of $A^{Σ^*}$, where $Σ^*$ is a regular rooted tree of finite rank. In particular, we give their characterization in terms of unrestricted Rabin automata. We show that if $X \subset A^{Σ^*}$ is a sofic tree shift, then the configurations in $X$ whose orbit under the shift action is finite are dense in $X$, and, as a consequence of this, we deduce that every injective cellular automata $τ\colon X \to X$ is surjective. Moreover, a characterization of sofic tree shifts in terms of general Rabin automata is given. We present an algorithm for establishing whether two unrestricted Rabin automata accept the same sofic tree shift or not. This allows us to prove the decidability of the surjectivity problem for cellular automata between sofic tree shifts. We also prove the decidability of the injectivity problem for cellular automata defined on a tree shift of finite type. △ Less

Submitted 7 February, 2014; v1 submitted 24 December, 2012; originally announced December 2012.

Journal ref: Theoret. Comput. Sci. 506 (2013), 79-101

Topological properties of cellular automata on trees

Authors: Gabriele Fici, Francesca Fiorenzi

Abstract: We prove that there do not exist positively expansive cellular automata defined on the full k-ary tree shift (for k>=2). Moreover, we investigate some topological properties of these automata and their relationships, namely permutivity, surjectivity, preinjectivity, right-closingness and openness. We prove that there do not exist positively expansive cellular automata defined on the full k-ary tree shift (for k>=2). Moreover, we investigate some topological properties of these automata and their relationships, namely permutivity, surjectivity, preinjectivity, right-closingness and openness. △ Less

Submitted 13 August, 2012; originally announced August 2012.

Comments: In Proceedings AUTOMATA&JAC 2012, arXiv:1208.2498

ACM Class: F.1.1; F.1.2; F.1.3

Journal ref: EPTCS 90, 2012, pp. 255-266

Cellular automata on regular rooted trees

Authors: Tullio Ceccherini-Silberstein, Michel Coornaert, Francesca Fiorenzi, Zoran Sunic

Abstract: We study cellular automata on regular rooted trees. This includes the characterization of sofic tree shifts in terms of unrestricted Rabin automata and the decidability of the surjectivity problem for cellular automata between sofic tree shifts. We study cellular automata on regular rooted trees. This includes the characterization of sofic tree shifts in terms of unrestricted Rabin automata and the decidability of the surjectivity problem for cellular automata between sofic tree shifts. △ Less

Submitted 30 May, 2012; originally announced May 2012.

Journal ref: CIAA 2012, Lect. Notes in Comput. Sci. 7381 (2012), 101-112

Groups, Graphs, Languages, Automata, Games and Second-order Monadic Logic

Authors: Tullio Ceccherini-Silberstein, Michel Coornaert, Francesca Fiorenzi, Paul E. Schupp

Abstract: In this paper we survey some surprising connections between group theory, the theory of automata and formal languages, the theory of ends, infinite games of perfect information, and monadic second-order logic. In this paper we survey some surprising connections between group theory, the theory of automata and formal languages, the theory of ends, infinite games of perfect information, and monadic second-order logic. △ Less

Submitted 15 January, 2012; originally announced January 2012.

MSC Class: 03D05 (Primary) 20F05; 20F10; 20F65; 20F69; 37B15; 68Q70; 68Q80

Journal ref: European J. Combin. 33 (2012) no. 7, 1330-1368