<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta>
      <journal-title-group>
        <journal-title>Series</journal-title>
      </journal-title-group>
      <issn pub-type="ppub">1613-0073</issn>
    </journal-meta>
    <article-meta>
      <title-group>
        <article-title>Trace shifts - minimal case for independence relations given by five node co-graphs</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Wit Forys´</string-name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Gabriel Semanišin</string-name>
          <email>gabriel.semanisin@upjs.sk</email>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Magdalena Forys´</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>AGH University of Science and Technology Kraków</institution>
          ,
          <country country="PL">Poland</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Jagiellonian University</institution>
          ,
          <addr-line>Kraków</addr-line>
          ,
          <country country="PL">Poland</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>P.J. Šafárik University</institution>
          ,
          <addr-line>Košice</addr-line>
          ,
          <country country="SK">Slovakia</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2013</year>
      </pub-date>
      <volume>1003</volume>
      <fpage>89</fpage>
      <lpage>93</lpage>
      <abstract>
        <p>We study interrelations between symbolic descriptions of concurrently evolving systems and underlying sequential dynamics. We focus our interests on minimal shifts and t-shifts generated by them, assuming that an independence relation is given by a five vertex co-graph.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        In [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ] we formulated a framework which allows to study
parallel dynamics by tools used in a research of
sequential symbolic dynamics. To be more precise, in place of
words we consider traces introduced in the seminal papers
[
        <xref ref-type="bibr" rid="ref16 ref4">4, 16</xref>
        ] and define a t-shift as a parallel counterpart of a
shift. Then we raised a problem of interrelations between
the sequential dynamics and their parallel counterparts.
      </p>
      <p>
        The problem is well known in the theory of computing.
Namely, a one-tape Turing machine is equivalent, in the
sense of a computational power, to a Turing machine with
multiple tapes. However, if we analyze moves of the tape
then a “simple” computation of a multi-tape machine may
force quite “complex” behavior of a one-tape machine
during a simulation process. Some attempts have been made
for the better understanding of relations between
dynamics of computation and computation process itself -
compare [
        <xref ref-type="bibr" rid="ref19 ref20 ref21 ref22 ref3 ref9">3, 9, 20, 21, 22, 19</xref>
        ]. There are also other models of
computation considered in the literature [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ]. For example,
CRCW P-RAM - Concurrent Read Concurrent Write
Parallel RAM that realizes the situation in which more than
one processor can concurrently read from or write into the
same memory location. These models could be described
as dynamical systems and then one could analyze some of
their dynamical properties. Basing our research on trace
theory we try to combine, in some sense, these two
approaches - parallel or concurrent execution of
computational processes and its dynamics description using
symbolic dynamics tools. This paper fits into this direction of
a research.
      </p>
      <p>
        Our recent results are published in [
        <xref ref-type="bibr" rid="ref11 ref12 ref13 ref14">11, 12, 13, 14</xref>
        ]. In
this paper we focus our interests on minimal shifts and
tshifts generated by them, assuming that an independence
relation, which determines infinite traces, is given by a five
vertex co-graph. In fact there are 24 such co-graphs and
we try to analyze all of them. The reason for choosing
cographs as an independence relations follows from the
general fact proved by B.Courcelle, M.Mosbah in [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] that all
problems that can be formulated in monadic second-order
logic (without quantification of edge sets) can be solved
in a linear time on co-graphs. To make it more clear
for any co-graph its recognition, along with the
construction of the corresponding co-tree, can be done in linear
time. Co-trees form the basis for polynomial algorithms
for problems such as isomorphism, coloring, clique
detection, Hamiltonicity, tree-width and path-width, and
dominating sets on co-graphs. In general case these problems
are NP-hard. This is also a common reason for choosing a
family of co-graphs as a subject of various theoretical
researches with possible applications, for example in
examination scheduling and automatic clustering of index terms
[
        <xref ref-type="bibr" rid="ref7">7</xref>
        ].
2
      </p>
    </sec>
    <sec id="sec-2">
      <title>Definitions and notations</title>
      <p>
        Now we recall only basic concepts of graph theory,
symbolic dynamics and theory of traces. All the missing
notions may be found in [
        <xref ref-type="bibr" rid="ref15 ref6">6, 15</xref>
        ].
      </p>
      <p>We consider only simple and finite graphs. By a
cograph we understand either a single vertex graph, or the
disjoint union of two co-graphs, or the edge complement
of a co-graph.</p>
      <p>Let Σ be any finite set (alphabet) and denote by Σ∗
and Σω the set of all finite and infinite words over Σ,
respectively. The set Σ∗ with concatenation of words and
the empty word, denoted 1 is a free monoid. The set of
nonempty words is denoted by Σ+ and Σ∞ = Σ∗ ∪ Σω .</p>
      <p>Let I ⊂ Σ × Σ be a symmetric and irreflexive relation.
In the sequel I is called an independence (commutation)
relation; its complement is denoted by D and called a
dependence relation. For every letter a ∈ Σ we denote
by D(a) = { b ∈ Σ : (a, b) ∈/ I} , a set of all letters from
Σ which depend on a. The relation I may be extended
to a congruence ∼I on Σ∗. We have u ∼I v if and only
if it is possible to transform u to v by a finite number
of swaps ab → ba of independent letters. A trace is an
element of the quotient space M(Σ, I) = Σ∗/ ∼I . For
w ∈ Σ∗, t ∈ M(Σ, I) we denote by | w | a and | t | a the
number of occurrences of the letter a ∈ Σ in w and t
respectively. al ph(w) and al ph(t) denote the set of all letters
which occur in w, t. Two traces t1 and t2 are
independent, denoted t1It2, if and only if al ph(t1) × al ph(t2) ⊂ I.
If x ∈ Σω and i ≤ j are nonnegative integers then we denote
x[i, j] = xixi+1 . . . x j and x[i, j) = x[i, j−1].</p>
      <p>We recall that a word w ∈ Σ∗ is in the Foata normal
form, if it is the empty word or if there exist an integer
n &gt; 0 and nonempty words v1, ..., vn ∈ Σ+ (called Foata
steps) such that:
1. w = v1.....vn,
2. for any i = 1, ..., n the word vi is a concatenation of
pairwise independent letters and is minimal with
respect to the lexicographic ordering,
3. for any i = 1, ..., n − 1 and for an arbitrary letter a ∈
al ph(vi+1) there exists a letter b ∈ al ph(vi) such that
(a, b) ∈ D.</p>
      <p>It is well known that for any x ∈ Σ∗ there exists the unique
w ∈ [x]∼I in the Foata normal form.</p>
      <p>In the theory of dynamical systems continuous maps
acting on metric spaces are considered. Hence we endow
Σω with the following metric d. If x = y then d(x, y) = 0
and otherwise d(x, y) = 2− j where j is the number of
letters in the longest common prefix of x and y. Now, define
a shift map σ : Σω → Σω by</p>
      <p>(σ (x))i = xi+1
where (· )i denotes the i-th letter of a sequence. It is easy
to observe that σ is continuous. Σω together with the map
σ is referred to as the full shift over Σ. Any closed and
σ -invariant (i.e. σ (X ) ⊂ X ) set X ⊂ Σ is called a shift or a
subshift.</p>
      <p>For any word w = (wi)i∈N ∈ Σω the dependence graph
φ G(w) = [V, E,λ ] is defined as follows. We put V = N
and λ (i) = wi for any i ∈ N. The function λ successively
labels nodes of φ G(w) by letters of w. There exists an
arrow (i, j) ∈ E, if and only if i &lt; j and (wi, w j ) ∈ D.
Let us denote the set of all possible dependence graphs
(up to an isomorphism of graphs) by Rω (Σ, I) and let
φ G : Σω
ements o→fRωR(ωΣ(,ΣI,)Ii)nfibneitae n(raetuarl)altrparcoejse.cEtiaocnh.
dWepeecnadlelneclegraph is acyclic and it induces a well-founded ordering on
N. Then for any v ∈ V the function h : V → N given by
h(v) = max P (v) where
P (v) = { n ∈ N : ∃v1, .., vn ∈ V, vn = v, (vi, vi+1) ∈ E for i =
1, ..., n − 1} is well defined.</p>
      <p>
        By Fn(t) we denote a word w ∈ Σ∗ consisting of all the
letters from the n-th level of infinite trace t ∈ Rω (Σ, I),
that is from the set { λ (v) : v ∈ V, h(v) = n} . It follows
from the definition of a dependence relation that for any
infinite trace t ∈ Rω (Σ, I) the word w = F1(t) . . . Fn(t) is
in the Foata normal form with Foata steps given by Fi(t)
and t = φ G(F1(t)F2(t) . . .). Then in the same way as it
was done for Σω we may endow Rω (Σ, I) with a
metric dR(s, t) putting dR(s, t) = 0 if s = t and dR(s, t) =
2− j+1 if s 6= t where j is the maximal integer such that
Fi(t) = Fi(s) for 1 ≤ i ≤ j. By a full t-shift we mean
the metric space (Rω (Σ, I), dR) together with a
continuous map Φ : Rω (Σ, I) → Rω (Σ, I) defined by the formula
Φ(t) = φ G(F2(t)F3(t) . . .) for any t ∈ Rω (Σ, I).
Analogically as a shift is defined, by a t-shift we mean any closed
and Φ-invariant subset of Rω (Σ, I). It was proved in [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ]
that from a dynamical system point of view (Rω (Σ, I), Φ)
is equivalent to a shift of finite type (which means that
dynamics of (Rω (Σ, I), Φ) and (Σω ,σ ) is to some extent
similar). However, it frequently happens that the φ G image
of a shift is not a t-shift and there are also t-shifts which
cannot be obtained as images of any (sequential) shift.
      </p>
      <p>Let (X , d) be a compact metric space and let f : X → X
be continuous. A point y ∈ X is said to be an ω -limit
point of x if it is an accumulation point of the sequence
x, f (x), f 2(x), . . . . The set containing all elements of the
sequence x, f (x), f 2(x), . . . is called an orbit of x and
denoted by Orb+(x). The set of all ω -limit points of x is
referred to as ω -limit set of x and denoted by ω (x, f ). A
point x is said to be periodic (fixed) if f n(x) = x for some
n ≥ 1 (n = 1) and is said to be recurrent if x ∈ ω (x, f ). If
x is not periodic (fixed) point but f m(x) is periodic (fixed)
for some positive integer m then we say that x is
eventually periodic (fixed). A subset M of X is minimal if it
is closed, nonempty, invariant (i.e. f (M) ⊂ M) and
contains no proper subset with these three properties. It is
well known that if a nonempty closed set M ⊂ X is
minimal then the orbit of every point of M is dense in M. We
recall that a point x is referred to as minimal (or almost
periodic) if it belongs to a minimal set.</p>
      <p>Let X and Y be compact metric spaces and let f : X → X
and g : Y → Y be continuous maps. If there is a
homeomorphism ϕ : X → Y with ϕ ◦ f = g ◦ ϕ, we will say that
f and g are (topologically) conjugate and π is called a
(topological) conjugacy. If there is a conjugacy from X to
Y then Y is sharing all properties of X . Not formally we
can think about these two shifts as they are the same.</p>
      <p>Let X be a closed and σ -invariant subset of Σω . We
define the set Bn(X ) of n admissible words for X by:</p>
      <p>Bn(X ) = x[i,i+n) ∈ Σ∗ : x ∈ X , i ∈ N .</p>
      <p>Let w ∈ Σ∗. The set of all subwords of w with the length
equal to n is denoted by</p>
      <p>Sn(w) = { u ∈ Bn(Σ∗) : ∃ v1, v2 ∈ Σ∗ , w = v1uv2} .
We may extend canonically the definition of Sn to the case
of x ∈ Σω , i.e. given x ∈ Σω we define:</p>
      <p>Sn(x) = u ∈ Bn(Σ∗) : ∃ i , u = x[i,i+n) .</p>
      <p>The least integer m (if it exists) such that for any w ∈
Bm(X ) it holds that Sn(w) = Sn(x) is called the n-th
recurrency index of x in X and is denoted by R(n, x, X ). If
such m does not exist we put R(n, x, X ) = +∞. In the case
of X = cl(Orb+(x)) we will simplify the notation writing
R(n, x) instead of R(n, x, cl(Orb+(x))) where cl(A) denotes
the closure of a set A. Let us recall some facts on
recurrency indices.</p>
      <p>Theorem 1 ([17, Thm. 7.2]). Let x ∈ Σω . The following
conditions are equivalent:</p>
      <sec id="sec-2-1">
        <title>1. x is a minimal point,</title>
        <p>2. R(n, x) &lt; +∞ for all positive integers n.</p>
        <p>Theorem 2 ([17, Thm. 7.1]). If M ⊂ Σω is a minimal set,
then R(n, x) = R(n, y) for any x, y ∈ M and n ∈ N.</p>
        <p>
          Let us consider an independence alphabet (Σ, I) and let
A be the set of all nonempty words over Σ which are
products of pairwise independent letters and are minimal with
respect to the lexicographical ordering of Σ. Hence an
element of A is a Foata step which may occur in some Foata
normal form of a word (finite or not) over (Σ, I). We
define a graph G (Σ, I) putting V = A as the vertex set and
defining the set of edges E ⊂ V × V as follows. A pair
((a1 . . . ak), (b1 . . . bl)) is in E if for any 0 ≤ j ≤ k there
exists 1 ≤ i ≤ l such that (a j, bi) ∈ D. It is well known that
the set
XG (Σ,I) = { a0a1 . . . ∈ A ω : (ai, ai+1) ∈ E for i = 0, 1, . . . }
is a shift space over A and it was proved in [
          <xref ref-type="bibr" rid="ref11">11</xref>
          ] that there
is a conjugacy π : Rω (Σ, I) → XG (Σ,I).
        </p>
        <p>Given a trace t ∈ Rω (Σ, I) we define an n-th recurrency
index of t by R(n,t) = R(n,π (t)).
3</p>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>Main result</title>
      <p>
        In our paper [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ] we studied minimal shifts, their images
by φ G and interrelations between these objets assuming
that an independency relation I is given by relatively small
graphs (up to four vertices). We obtain a clear description
of these cases except for I generated by C4 - the cycle on
four vertices. Now we present the main result of this paper,
that is a description of trace counterparts of minimal shifts,
assuming that an independency relation I is given by a
cograph defined on five vertices.
      </p>
      <p>
        We start our presentation with two useful theorems.
Theorem 3 ([
        <xref ref-type="bibr" rid="ref14">14</xref>
        ] Thm. 7). Let Σ, Θ be alphabets, Θ Σ
and X ⊂ Σω be a minimal shift with al ph(X ) = Σ. Let an
independence relation I be given as follows:
      </p>
      <p>I = ((Σ × Θ) ∪ (Θ × Σ)) \ ΔΣ,
where ΔΣ = { (a, a) : a ∈ Σ} .</p>
      <p>Let π : Σω → (Σ \ Θ)∞ be a projection
π (a) =
(1 if a ∈ Θ</p>
      <p>a if a ∈/ Θ
Then φ G(X ) and π (X ) are t-shift and shift respectively,
they are conjugated and (π (X ),σ ) is minimal.</p>
      <p>
        The proof of a subsequent assertion is a modified
version of the original one in [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ].
      </p>
      <p>Theorem 4. Let X be a minimal shift, al ph(X ) = Σ. Let
Σ1, Σ2 be a partition of Σ and assume that Σ1 × Σ2 ⊂ D.
Then there exists an integer M such that the sets</p>
      <p>M
Y = [ Φi(φ G(X )),
i=0</p>
      <p>Z = ΦM(Y ).
are t-shifts. Furthermore t-shift (Z, Φ) is minimal.
Proof. We will show that φ G(x) is a minimal point for
some x ∈ X . Let us fix an infinite word x = x0x1 . . . ∈ X
such that x0 ∈ Σ1 and x1 ∈ Σ2 what is possible
according to the minimality of X . It follows from the assumption
that for every i = 0, 1, ... any Foata step Fi(x) is a word in
Σ∗1 or Σ∗2 exclusively, that is if al ph(Fi(x)) ∩ Σ j 6= 0/ then
Fi(x) ∈ Σ∗j where j = 1, 2.</p>
      <p>Now, let us fix a point x = x0x1 . . . ∈ X such that x0 ∈ Σ1
and x1 ∈ Σ2. We will show that φ G(x) is a minimal
point. In the word x there exist letters x j1 , x j2 ∈ Σ1 and
x j1+1, x j2−1 ∈ Σ2 for some j1 &lt; j2. Then x j1 and x j2
determine some Foata steps, in the sense that x j1 ∈ Fi1 (x) and
x j2 ∈ Fi2 (x) respectively for some i1 &lt; i2. All the
intermediate steps are uniquely determined by the intermediate
letters, that is Fi(x) = Fi−i1 (x( j1, j2)) for every i1 &lt; i &lt; i2
- by the definition of I and according to the fact that
x j1 , x j2 ∈ Σ1 and x j1+1, x j2−1 ∈ Σ2 it is not allowed to move
any intermediate letter outside two-sided boundary given
by the letters x j1 , x j2 . Now, let us introduce the following
notation
M = sup n : ∃ i, xi, xi+n ∈ Σ1, Σ1 ∩ al ph(x(i,i+n)) = 0/ .
M is finite since X is minimal, in particular M ≤ 2R(x, 1).
For any positive integers i, s there exist indices i1 ≤ i,
i ≤ i2 − s such that i1 − i ≤ M, i2 − i − s ≤ M and
Fi1 (x), Fi2 (x) ∈ Σ∗2 and Fi1−1(x), Fi2+1(x) ∈ Σ∗. In
partic1
ular, this implies that all the steps Fi1 (x), . . . , Fi2 (x) are
uniquely determined by some subword u of x with the
length | u| &lt; (2M + s + 2)| Σ| . But from the minimality of x
each subword of x with the length R((2M + s)| Σ| , x)
contains u as a subword. Additionally Fi+1(x) = Fi(σ (x)) and
F0(x) = x0 ∈ Σ1. Finally</p>
      <p>
        R(s,φ G(σ (x))) ≤ R((2M + s)| Σ| , x)
and then φ G(σ (x)) is a minimal point. If we fix y ∈ X with
∞
y0 ∈ Σ1 then there exists an increasing sequence { ik} k=1
such that limk→∞ σ ik (x) = y. In particular, we may assume
that x[ik,ik+1] = y[
        <xref ref-type="bibr" rid="ref1">0,1</xref>
        ]. There exists also an increasing
se∞
quence { jk} k=1 such that Φ jk (φ G(x)) = φ G(σ ik+1(x)) and
so σ (y) ∈ cl(Orb+(φ G(σ (x)))). Thus we have just proved
that all x ∈ X with x0 ∈ Σ1, x1 ∈ Σ2 define exactly the same
unique minimal t-shift. But it is also clear that for any
y ∈ X there is j ≤ M such that y j ∈ Σ1 and y j+1 ∈ Σ2 which
immediately implies that Φi(φ G(y)) is contained in a
minimal set, for some i ≤ j ≤ M.
      </p>
      <p>Now let us consider five letter alphabet and an
independence relation given by a co-graph of order 5. We devide
the set of 24 mentioned co-graphs into three subclasses
according to their properties in order to facilitate analysis of
the situation.</p>
      <p>Theorem 5. Let the independence relation I be
represented by a co-graph G.</p>
      <p>1. If G belongs to subclass I (Fig.1), then there exists
a positive integer M and Y = SiM=0 Φi(φ G(X )) is a
t-shift and Z = ΦM(Y ) is a minimal subshift.
2. If G belongs to subclass II (Fig.2), then two cases
can occur. The first one is described in statement 1.
and in the second one φ G(X 0) is a minimal subshift.</p>
      <sec id="sec-3-1">
        <title>Proof.</title>
        <p>• subclass I</p>
        <p>If the relation I is represented by any graph belonging
to subclass I (see Fig. 1),
•
•
•
•
•
•
•
•
•
•
•
•
• •
• •
• •
•
•
•
•
•
•
•
•
•
•
• •
• •
•
•
•
•
•
•
• •
• •
•
•
•
•
•
•
• •
• •
•
•
•
•
•
•
•
•
then there exists at least one letter (denote it by a)
which is in relation D with any other letter. Then we
can apply Theorem 4 because Σ1 = { a} , Σ2 = Σ \ { a}
fulfill the assumptions of the mentioned theorem. In
particular, Y = SiM=0 Φi(φ G(X )) is a t-shift and after a
finite number of iterations it becomes a minimal
subshift Z = ΦM(Y ), where M is a positive integer which
depends on the structure of X . In fact, exactly the
same situation holds for the last two graphs from this
subclass, but now Σ is decomposed into two sets
containing two and three letters respectively.
• subclass II</p>
        <p>If the relation I is represented by any graph depicted
at Fig 2, then there is at least one letter which is
independent with any other letter.</p>
        <p>Then by Theorem 3 φ G(X ) is homeomorphic to
φ G(X 0) where X 0 is obtained from X by removing
this particular letter. But this transformation allows
us to modify the independence relation by removing
exactly the same letter from I. Finally we obtain two
cases. The first that allows to apply Theorem 4, and
•
•
•
•
•
•
•
•
• •
• •
•
•
•
•
•
•
• •
• •
•
•
•
•
•
•
• •
• •
•
•
•
•
•
•
• •
• •
•
•
•
•
•
•
•
•
the second in which a form of the relation I
obviously implies that φ G(X 0) is minimal (for example I
consisted of five isolated vertices).</p>
        <p>One can see that the previous Theorem does not
consider two remaining co-graphs on five vertices depicted in
Fig. 3.</p>
        <p>•
•
•</p>
        <p>• •
•
•
•
•
•
Unfortunately in this case we are unable to give any
general description. So this case remains open for a further
research.</p>
        <p>Acknowledgement
This work is the result of the project implementation:
Research and Education at UPJŠ - Heading towards Excellent
European Universities, ITMS project code: 26110230056,
supported by the Operational Program Education funded
by the European Social Fund (ESF).</p>
        <p>The research of the second author was partially
supported by Slovak APVV grant APVV-0035-10 and Slovak
VEGA grant 1/0479/12.</p>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>J.</given-names>
            <surname>Auslander</surname>
          </string-name>
          ,
          <article-title>Minimal flows and their extensions</article-title>
          ,
          <source>NorthHolland Mathematics Studies</source>
          ,
          <volume>153</volume>
          , North-Holland Publishing Co., Amsterdam,
          <year>1988</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>J.</given-names>
            <surname>Berstel</surname>
          </string-name>
          and
          <string-name>
            <given-names>D.</given-names>
            <surname>Perrin</surname>
          </string-name>
          , Theory of codes,
          <source>Pure and Applied Mathematics</source>
          ,
          <volume>117</volume>
          , Academic Press Inc., Orlando, FL,
          <year>1985</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>O.</given-names>
            <surname>Bournez</surname>
          </string-name>
          and
          <string-name>
            <given-names>M.</given-names>
            <surname>Cosnard</surname>
          </string-name>
          ,
          <article-title>On the computational power of dynamical systems and hybrid systems</article-title>
          ,
          <source>Theoret. Comput. Sci.</source>
          ,
          <volume>168</volume>
          (
          <year>1996</year>
          ),
          <fpage>417</fpage>
          -
          <lpage>459</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>P.</given-names>
            <surname>Cartier</surname>
          </string-name>
          and
          <string-name>
            <given-names>D.</given-names>
            <surname>Foata</surname>
          </string-name>
          , Problèmes combinatories de commutation et réarrangements, Lecture Notes in Mathematics,
          <volume>85</volume>
          , Springer-Verlag,
          <year>1969</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>B.</given-names>
            <surname>Courcelle</surname>
          </string-name>
          and
          <string-name>
            <given-names>M.</given-names>
            <surname>Mosbah</surname>
          </string-name>
          ,
          <article-title>Monadic second-order evaluations on tree-decomposable graphs</article-title>
          ,
          <source>Theoret. Comput. Sci.</source>
          ,
          <volume>109</volume>
          (
          <year>1993</year>
          ),
          <fpage>49</fpage>
          -
          <lpage>82</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>V.</given-names>
            <surname>Diekert</surname>
          </string-name>
          and G. Rozenberg, eds.,
          <source>The book of traces, World Scientific Publishing Co. Inc</source>
          .,
          <string-name>
            <surname>River</surname>
            <given-names>Edge</given-names>
          </string-name>
          , NJ,
          <year>1995</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>V.</given-names>
            <surname>Guruswami</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Pandu Rangan</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.S.</given-names>
            <surname>Chang</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G.J.</given-names>
            <surname>Chang</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C. K.</given-names>
            <surname>Wong</surname>
          </string-name>
          ,
          <article-title>The Vertex-Disjoint Triangles Problem, Graph-Theoretic Concepts in Computer Science</article-title>
          , LNCS
          <volume>1517</volume>
          (
          <year>1998</year>
          ),
          <fpage>26</fpage>
          -
          <lpage>37</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <surname>Sun-Yuan Hsieh</surname>
          </string-name>
          ,
          <article-title>A faster parallel connectivity algorithm on cographs</article-title>
          ,
          <source>Applied Mathematics Letters</source>
          <volume>20</volume>
          , (
          <year>2007</year>
          ),
          <fpage>341</fpage>
          -
          <lpage>344</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>P.</given-names>
            <surname>Kurka</surname>
          </string-name>
          ,
          <article-title>On topological dynamics of Turing machines</article-title>
          ,
          <source>Theoret. Comput. Sci</source>
          .
          <volume>174</volume>
          (
          <year>1997</year>
          ),
          <fpage>203</fpage>
          -
          <lpage>216</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>M.</given-names>
            <surname>Kwiatkowska</surname>
          </string-name>
          ,
          <article-title>A metric for traces, Inform</article-title>
          . Process. Lett.
          <volume>35</volume>
          , (
          <year>1990</year>
          ),
          <fpage>129</fpage>
          -
          <lpage>135</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>W.</given-names>
            <surname>Forys</surname>
          </string-name>
          ´ and
          <string-name>
            <given-names>P.</given-names>
            <surname>Oprocha</surname>
          </string-name>
          , Infinite Traces and Symbolic Dynamics,
          <source>Theory Comput Syst</source>
          .,
          <volume>45</volume>
          (
          <year>2009</year>
          ),
          <fpage>133</fpage>
          -
          <lpage>149</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>W.</given-names>
            <surname>Forys</surname>
          </string-name>
          ´,
          <string-name>
            <given-names>J.L.G.</given-names>
            <surname>Guirao</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Oprocha</surname>
          </string-name>
          ,
          <article-title>A dynamical model of parallel computation on bi-infinite time-scale</article-title>
          ,
          <source>J.Comput. Appl</source>
          . Math.,
          <volume>235</volume>
          (
          <year>2011</year>
          ),
          <fpage>1826</fpage>
          -
          <lpage>1832</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>W.</given-names>
            <surname>Forys</surname>
          </string-name>
          ´,
          <string-name>
            <given-names>P.</given-names>
            <surname>Oprocha</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Bakalarski</surname>
          </string-name>
          , Symbolic Dynamics,
          <source>Flower Automata and Infinite Traces, LNCS</source>
          <volume>6482</volume>
          (
          <year>2011</year>
          ),
          <fpage>135</fpage>
          -
          <lpage>142</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <given-names>W.</given-names>
            <surname>Forys</surname>
          </string-name>
          ´ and
          <string-name>
            <given-names>P.</given-names>
            <surname>Oprocha</surname>
          </string-name>
          ,
          <article-title>Infinite traces and symbolic dynamics - minimal shift case</article-title>
          ,
          <source>Fundamenta Informaticae</source>
          <volume>111</volume>
          (
          <year>2011</year>
          ),
          <fpage>147</fpage>
          -
          <lpage>161</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [15]
          <string-name>
            <given-names>D.</given-names>
            <surname>Lind</surname>
          </string-name>
          and
          <string-name>
            <given-names>B.</given-names>
            <surname>Marcus</surname>
          </string-name>
          , Introduction to Symbolic Dynamics and Coding, Cambridge University Press,
          <year>1995</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          [16]
          <string-name>
            <given-names>A.</given-names>
            <surname>Mazurkiewicz</surname>
          </string-name>
          ,
          <article-title>Concurrent program schemes and their interpretations</article-title>
          ,
          <source>DAIMI Rep. Aarhus University</source>
          <volume>78</volume>
          (
          <year>1977</year>
          ),
          <fpage>1</fpage>
          -
          <lpage>45</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          [17]
          <string-name>
            <given-names>M.</given-names>
            <surname>Morse</surname>
          </string-name>
          and
          <string-name>
            <given-names>G. A.</given-names>
            <surname>Hedlund</surname>
          </string-name>
          , Symbolic Dynamics, Am. J. Math.,
          <volume>60</volume>
          (
          <year>1938</year>
          ),
          <fpage>815</fpage>
          -
          <lpage>866</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          [18]
          <string-name>
            <given-names>M.</given-names>
            <surname>Morse</surname>
          </string-name>
          and
          <string-name>
            <given-names>G. A.</given-names>
            <surname>Hedlund</surname>
          </string-name>
          ,
          <article-title>Symbolic dynamics</article-title>
          . II.
          <article-title>Sturmian trajectories, Am</article-title>
          . J. Math.
          <volume>62</volume>
          (
          <year>1940</year>
          ),
          <fpage>1</fpage>
          -
          <lpage>42</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          [19]
          <string-name>
            <given-names>P.</given-names>
            <surname>Oprocha</surname>
          </string-name>
          ,
          <article-title>On entropy and Turing machine with moving tape dynamical model</article-title>
          ,
          <source>Nonlinearity</source>
          <volume>19</volume>
          (
          <year>2006</year>
          ),
          <fpage>2475</fpage>
          -
          <lpage>2487</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref20">
        <mixed-citation>
          [20]
          <string-name>
            <given-names>H. T.</given-names>
            <surname>Siegelmann</surname>
          </string-name>
          ,
          <article-title>Neural Networks and Analog Computation: Beyond the Turing Limit</article-title>
          , Progress in Theoretical Computer Science, Birkhäuser Boston Inc., Boston
          <year>1999</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref21">
        <mixed-citation>
          [21]
          <string-name>
            <given-names>H. T.</given-names>
            <surname>Siegelmann</surname>
          </string-name>
          and
          <string-name>
            <given-names>S.</given-names>
            <surname>Fishman</surname>
          </string-name>
          ,
          <article-title>Analog computation with dynamical systems</article-title>
          , Physica D
          <volume>120</volume>
          (
          <year>1998</year>
          ),
          <fpage>214</fpage>
          -
          <lpage>235</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref22">
        <mixed-citation>
          [22]
          <string-name>
            <given-names>S.</given-names>
            <surname>Wolfram</surname>
          </string-name>
          ,
          <article-title>A new kind of science</article-title>
          , Wolfram Media, Inc., Champaign,
          <string-name>
            <surname>IL</surname>
          </string-name>
          <year>2002</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>