Showing 1–2 of 2 results for author: Fédou, J

Vertical representation of $C^{\infty}$-words

Authors: Jean-Marc Fédou, Gabriele Fici

Abstract: We present a new framework for dealing with $C^{\infty}$-words, based on their left and right frontiers. This allows us to give a compact representation of them, and to describe the set of $C^{\infty}$-words through an infinite directed acyclic graph $G$. This graph is defined by a map acting on the frontiers of $C^{\infty}$-words. We show that this map can be defined recursively and with no expli… ▽ More We present a new framework for dealing with $C^{\infty}$-words, based on their left and right frontiers. This allows us to give a compact representation of them, and to describe the set of $C^{\infty}$-words through an infinite directed acyclic graph $G$. This graph is defined by a map acting on the frontiers of $C^{\infty}$-words. We show that this map can be defined recursively and with no explicit references to $C^{\infty}$-words. We then show that some important conjectures on $C^{\infty}$-words follow from analogous statements on the structure of the graph $G$. △ Less

Submitted 19 December, 2014; v1 submitted 23 February, 2012; originally announced February 2012.

Comments: Published in Theoretical Computer Science

MSC Class: 68R15

Journal ref: Theoretical Computer Science 565: 90-101, 2015

Automata and Differentiable Words

Authors: Jean-Marc Fédou, Gabriele Fici

Abstract: We exhibit the construction of a deterministic automaton that, given k > 0, recognizes the (regular) language of k-differentiable words. Our approach follows a scheme of Crochemore et al. based on minimal forbidden words. We extend this construction to the case of C\infinity-words, i.e., words differentiable arbitrary many times. We thus obtain an infinite automaton for representing the set of C\i… ▽ More We exhibit the construction of a deterministic automaton that, given k > 0, recognizes the (regular) language of k-differentiable words. Our approach follows a scheme of Crochemore et al. based on minimal forbidden words. We extend this construction to the case of C\infinity-words, i.e., words differentiable arbitrary many times. We thus obtain an infinite automaton for representing the set of C\infinity-words. We derive a classification of C\infinity-words induced by the structure of the automaton. Then, we introduce a new framework for dealing with \infinity-words, based on a three letter alphabet. This allows us to define a compacted version of the automaton, that we use to prove that every C\infinity-word admits a repetition in C\infinity whose length is polynomially bounded. △ Less

Submitted 5 April, 2012; v1 submitted 4 February, 2011; originally announced February 2011.

Comments: Accepted for publication

MSC Class: 68R15

Journal ref: Theoretical Computer Science 443:46-62 (2012)