Extended Two-Way Ordered Restarting Automata for Picture Languages - - PowerPoint PPT Presentation

extended two way ordered restarting automata for picture
SMART_READER_LITE
LIVE PREVIEW

Extended Two-Way Ordered Restarting Automata for Picture Languages - - PowerPoint PPT Presentation

Extended Two-Way Ordered Restarting Automata for Picture Languages Friedrich Otto 1 Frantiek Mrz 2 1 Universitt Kassel, Kassel, Germany 2 Charles University, Prague, Czech Republic LATA 2014 Madrid March 1014, 2014 F. Otto, F. Mrz ()


slide-1
SLIDE 1

Extended Two-Way Ordered Restarting Automata for Picture Languages

Friedrich Otto1 František Mráz2

1Universität Kassel, Kassel, Germany 2Charles University, Prague, Czech Republic

LATA 2014 Madrid March 10–14, 2014

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 1 / 28

slide-2
SLIDE 2

1

Introduction

2

Deterministic 3-Way ORWW-Automata

3

Deterministic Extended 2-Way ORWW-Automata

4

On the Language Class L(det-2D-x2W-ORWW)

5

Concluding Remarks

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 2 / 28

slide-3
SLIDE 3
  • 1. Introduction
  • 1. Introduction

The restarting automaton models the linguistic technique of analysis by reduction (Janˇ car et. al., 1995). Various classes of formal languages have been characterized by certain types of restarting automata: REG : R(1)-automata (Mráz, 2001) REG : det-RR(1) (Reimann, 2007) DCFL : det-mon-R(R)(W)(W) (Janˇ car et. al., 1999) CFL : mon-R(R)WW-automata (Janˇ car et. al., 1999) CRL : det-R(R)WW-automata (Niemann et. al., 1998) GCSL : wmon-R(R)WW-automata (Jurdzi´ nski et. al., 2004)

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 3 / 28

slide-4
SLIDE 4
  • 1. Introduction

Many studies have extended grammars and automata from word languages to picture languages, e.g.: 4-way finite automata (Blum, Hewitt 1967), isometric array grammars (Rosenfeld 1971), matrix grammars (Siromoney et. al. 1972), tiling systems and automata (Giammarresi, Restivo 1992), Sudoku-deterministically recognizable languages (Borchert, Reinhardt 2007). The class REC of recognizable picture languages has been identified as a central class: various nice characterizations and good closure properties, but it contains NP-complete languages, that is, NP-complete membership problems (Lindgren et. al. 1998).

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 4 / 28

slide-5
SLIDE 5
  • 1. Introduction

Many studies have extended grammars and automata from word languages to picture languages, e.g.: 4-way finite automata (Blum, Hewitt 1967), isometric array grammars (Rosenfeld 1971), matrix grammars (Siromoney et. al. 1972), tiling systems and automata (Giammarresi, Restivo 1992), Sudoku-deterministically recognizable languages (Borchert, Reinhardt 2007). The class REC of recognizable picture languages has been identified as a central class: various nice characterizations and good closure properties, but it contains NP-complete languages, that is, NP-complete membership problems (Lindgren et. al. 1998).

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 4 / 28

slide-6
SLIDE 6
  • 1. Introduction

Many studies have extended grammars and automata from word languages to picture languages, e.g.: 4-way finite automata (Blum, Hewitt 1967), isometric array grammars (Rosenfeld 1971), matrix grammars (Siromoney et. al. 1972), tiling systems and automata (Giammarresi, Restivo 1992), Sudoku-deterministically recognizable languages (Borchert, Reinhardt 2007). The class REC of recognizable picture languages has been identified as a central class: various nice characterizations and good closure properties, but it contains NP-complete languages, that is, NP-complete membership problems (Lindgren et. al. 1998).

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 4 / 28

slide-7
SLIDE 7
  • 1. Introduction

Quest for two-dimensional automata with the following properties: intuitive model, that is, easy way of designing algorithms (automata) for interesting languages, membership problems decidable in polynomial time, restricted to word languages, only the regular languages should be accepted, nice closure properties. Several models have been proposed recently: the restarting tiling automaton (Pr˚ uša, Mráz, CIAA 2012) the Sgraffito automaton (Pr˚ uša, Mráz, DLT 2012) the deterministic 2-dimensional 3-way ordered restarting automaton (Mráz, Otto, SOFSEM 2014) Here: the determ. 2-dim. extended 2-way ordered restarting automaton (det-2D-x2W-ORWW-automaton).

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 5 / 28

slide-8
SLIDE 8
  • 1. Introduction

Quest for two-dimensional automata with the following properties: intuitive model, that is, easy way of designing algorithms (automata) for interesting languages, membership problems decidable in polynomial time, restricted to word languages, only the regular languages should be accepted, nice closure properties. Several models have been proposed recently: the restarting tiling automaton (Pr˚ uša, Mráz, CIAA 2012) the Sgraffito automaton (Pr˚ uša, Mráz, DLT 2012) the deterministic 2-dimensional 3-way ordered restarting automaton (Mráz, Otto, SOFSEM 2014) Here: the determ. 2-dim. extended 2-way ordered restarting automaton (det-2D-x2W-ORWW-automaton).

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 5 / 28

slide-9
SLIDE 9
  • 1. Introduction

Quest for two-dimensional automata with the following properties: intuitive model, that is, easy way of designing algorithms (automata) for interesting languages, membership problems decidable in polynomial time, restricted to word languages, only the regular languages should be accepted, nice closure properties. Several models have been proposed recently: the restarting tiling automaton (Pr˚ uša, Mráz, CIAA 2012) the Sgraffito automaton (Pr˚ uša, Mráz, DLT 2012) the deterministic 2-dimensional 3-way ordered restarting automaton (Mráz, Otto, SOFSEM 2014) Here: the determ. 2-dim. extended 2-way ordered restarting automaton (det-2D-x2W-ORWW-automaton).

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 5 / 28

slide-10
SLIDE 10
  • 2. Deterministic 3-Way ORWW-Automata
  • 2. Deterministic 3-Way ORWW-Automata

A picture P over Σ is a finite two-dimensional array of symbols from Σ. row(P) (col(P)) denotes the number of rows (columns) of P, P(i, j) is the symbol at position (i, j), 1 ≤ i ≤ row(P), 1 ≤ j ≤ col(P). By Σm,n we denote the set of all pictures of size m × n over Σ, and Σ∗,∗ is the set of all pictures over Σ. Let S = {⊢, ⊣, ⊤, ⊥, #} be a set of five special markers (sentinels). In order to enable an automaton to detect the border of P easily, we define the boundary picture P over Σ ∪ S of size (m + 2) × (n + 2): P # # # # ⊢ ⊢ . . . ⊣ ⊣ . . . ⊥ ⊥ ⊥ ⊥ . . . ⊤ ⊤ ⊤ ⊤ . . .

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 6 / 28

slide-11
SLIDE 11
  • 2. Deterministic 3-Way ORWW-Automata
  • 2. Deterministic 3-Way ORWW-Automata

A picture P over Σ is a finite two-dimensional array of symbols from Σ. row(P) (col(P)) denotes the number of rows (columns) of P, P(i, j) is the symbol at position (i, j), 1 ≤ i ≤ row(P), 1 ≤ j ≤ col(P). By Σm,n we denote the set of all pictures of size m × n over Σ, and Σ∗,∗ is the set of all pictures over Σ. Let S = {⊢, ⊣, ⊤, ⊥, #} be a set of five special markers (sentinels). In order to enable an automaton to detect the border of P easily, we define the boundary picture P over Σ ∪ S of size (m + 2) × (n + 2): P # # # # ⊢ ⊢ . . . ⊣ ⊣ . . . ⊥ ⊥ ⊥ ⊥ . . . ⊤ ⊤ ⊤ ⊤ . . .

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 6 / 28

slide-12
SLIDE 12
  • 2. Deterministic 3-Way ORWW-Automata

Definition 1 Deterministic two-dimensional three-way ordered RWW-automaton M = (Q, Σ, Γ, S, q0, δ, >): Q is a finite set of states containing the initial state q0, Σ is a finite input alphabet, Γ is a finite tape alphabet containing Σ such that Γ ∩ S = ∅ > is a partial ordering on Γ δ is the transition function, for each C =

a

it holds at most one of the following:

δ(q, C) = (q′, R) – move right step δ(q, C) = (q′, D) – move down step δ(q, C) = (q′, U) – move up step δ(q, C) = b and a > b – rewrite and restart

b a

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 7 / 28

slide-13
SLIDE 13
  • 2. Deterministic 3-Way ORWW-Automata

Theorem 2 L(det-2D-3W-ORWW) ⊆ DTIME((size(P))2). Theorem 3 (M., O., SOFSEM 2014) L(det-2D-3W-ORWW) ∩ Σ1,∗ = REG(Σ), that is, the det-2D-3W-ORWW-automaton only accepts regular word languages. Theorem 4 (M., O., SOFSEM 2014) The det-2D-3W-ORWW-automaton can simulate the deterministic Sgraffito automaton, which in turn is known to be able to simulate (alternating) four-way finite automata, deterministic four-way one-marker automata, and to accept all sudoku-deterministically recognizable languages.

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 8 / 28

slide-14
SLIDE 14
  • 2. Deterministic 3-Way ORWW-Automata

Theorem 2 L(det-2D-3W-ORWW) ⊆ DTIME((size(P))2). Theorem 3 (M., O., SOFSEM 2014) L(det-2D-3W-ORWW) ∩ Σ1,∗ = REG(Σ), that is, the det-2D-3W-ORWW-automaton only accepts regular word languages. Theorem 4 (M., O., SOFSEM 2014) The det-2D-3W-ORWW-automaton can simulate the deterministic Sgraffito automaton, which in turn is known to be able to simulate (alternating) four-way finite automata, deterministic four-way one-marker automata, and to accept all sudoku-deterministically recognizable languages.

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 8 / 28

slide-15
SLIDE 15
  • 2. Deterministic 3-Way ORWW-Automata

Theorem 2 L(det-2D-3W-ORWW) ⊆ DTIME((size(P))2). Theorem 3 (M., O., SOFSEM 2014) L(det-2D-3W-ORWW) ∩ Σ1,∗ = REG(Σ), that is, the det-2D-3W-ORWW-automaton only accepts regular word languages. Theorem 4 (M., O., SOFSEM 2014) The det-2D-3W-ORWW-automaton can simulate the deterministic Sgraffito automaton, which in turn is known to be able to simulate (alternating) four-way finite automata, deterministic four-way one-marker automata, and to accept all sudoku-deterministically recognizable languages.

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 8 / 28

slide-16
SLIDE 16
  • 2. Deterministic 3-Way ORWW-Automata

Remarks

  • The det-2D-3W-ORWW-automata clearly favour vertical over

horizontal movements. Accordingly, L(det-2D-3W-ORWW) is not closed under transposition.

  • It could happen that a det-2D-3W-ORWW-automaton M does not

terminate on some input picture, as it may get stuck on a column, just moving up and down. To avoid this, it is required explicitly that M halts on all input pictures! This can be realized by providing a simple pattern, e.g., up∗ − down∗ − up∗ − down∗, such that on each column, the sequence of up and down movements must fit this pattern,

  • r one could use an external counter that counts the number of

uninterrupted up and down movements on a column.

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 9 / 28

slide-17
SLIDE 17
  • 2. Deterministic 3-Way ORWW-Automata

Remarks

  • The det-2D-3W-ORWW-automata clearly favour vertical over

horizontal movements. Accordingly, L(det-2D-3W-ORWW) is not closed under transposition.

  • It could happen that a det-2D-3W-ORWW-automaton M does not

terminate on some input picture, as it may get stuck on a column, just moving up and down. To avoid this, it is required explicitly that M halts on all input pictures! This can be realized by providing a simple pattern, e.g., up∗ − down∗ − up∗ − down∗, such that on each column, the sequence of up and down movements must fit this pattern,

  • r one could use an external counter that counts the number of

uninterrupted up and down movements on a column.

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 9 / 28

slide-18
SLIDE 18
  • 2. Deterministic 3-Way ORWW-Automata

Remarks

  • The det-2D-3W-ORWW-automata clearly favour vertical over

horizontal movements. Accordingly, L(det-2D-3W-ORWW) is not closed under transposition.

  • It could happen that a det-2D-3W-ORWW-automaton M does not

terminate on some input picture, as it may get stuck on a column, just moving up and down. To avoid this, it is required explicitly that M halts on all input pictures! This can be realized by providing a simple pattern, e.g., up∗ − down∗ − up∗ − down∗, such that on each column, the sequence of up and down movements must fit this pattern,

  • r one could use an external counter that counts the number of

uninterrupted up and down movements on a column.

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 9 / 28

slide-19
SLIDE 19
  • 3. Deterministic Extended 2-Way ORWW-Automata
  • 3. Deterministic Extended 2-Way ORWW-Automata

Definition 5 A deterministic two-dimensional extended two-way ordered RWW-automaton (det-2D-x2W-ORWW-automaton) is given through a 7-tuple M = (Q, Σ, Γ, S, q0, δ, >), where all components are defined as for det-2D-3W-ORWW-automata. However, the set of possible head movements is restricted to H = {R, D}, where the move-right and move-down steps are extended as follows:

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 10 / 28

slide-20
SLIDE 20
  • 3. Deterministic Extended 2-Way ORWW-Automata

Definition 5 (cont.) Extended Move-Right Step:

# ⊤ ⊤ ⊤ ⊤ # ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1 ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

q1

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 11 / 28

slide-21
SLIDE 21
  • 3. Deterministic Extended 2-Way ORWW-Automata

Definition 5 (cont.) Extended Move-Right Step:

# ⊤ ⊤ ⊤ ⊤ # ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1 ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

q2

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 11 / 28

slide-22
SLIDE 22
  • 3. Deterministic Extended 2-Way ORWW-Automata

Definition 5 (cont.) Extended Move-Down Step:

# ⊤ ⊤ ⊤ ⊤ # ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1 ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

q3

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 12 / 28

slide-23
SLIDE 23
  • 3. Deterministic Extended 2-Way ORWW-Automata

Definition 5 (cont.) Extended Move-Down Step:

# ⊤ ⊤ ⊤ ⊤ # ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1 ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

q4

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 12 / 28

slide-24
SLIDE 24
  • 3. Deterministic Extended 2-Way ORWW-Automata

Definition 5 (cont.) In any cycle, M can only use extended move-right or extended move-down steps, but not both! M is a stateless det-2D-x2W-ORWW-automaton (stl-det-2D-x2W-ORWW-automaton) if it has just a single state. For such an automaton, the components Q and q0 are suppressed. Corollary 6 When restricted to one-dimensional input, then the det-2D-x2W-ORWW-automaton just accepts the regular word

  • languages. This also holds for the stateless variant.

Theorem 7 L(det-2D-x2W-ORWW) ⊆ DTIME((size(P))3).

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 13 / 28

slide-25
SLIDE 25
  • 3. Deterministic Extended 2-Way ORWW-Automata

Definition 5 (cont.) In any cycle, M can only use extended move-right or extended move-down steps, but not both! M is a stateless det-2D-x2W-ORWW-automaton (stl-det-2D-x2W-ORWW-automaton) if it has just a single state. For such an automaton, the components Q and q0 are suppressed. Corollary 6 When restricted to one-dimensional input, then the det-2D-x2W-ORWW-automaton just accepts the regular word

  • languages. This also holds for the stateless variant.

Theorem 7 L(det-2D-x2W-ORWW) ⊆ DTIME((size(P))3).

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 13 / 28

slide-26
SLIDE 26
  • 3. Deterministic Extended 2-Way ORWW-Automata

Definition 5 (cont.) In any cycle, M can only use extended move-right or extended move-down steps, but not both! M is a stateless det-2D-x2W-ORWW-automaton (stl-det-2D-x2W-ORWW-automaton) if it has just a single state. For such an automaton, the components Q and q0 are suppressed. Corollary 6 When restricted to one-dimensional input, then the det-2D-x2W-ORWW-automaton just accepts the regular word

  • languages. This also holds for the stateless variant.

Theorem 7 L(det-2D-x2W-ORWW) ⊆ DTIME((size(P))3).

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 13 / 28

slide-27
SLIDE 27
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 Let Σ = {0, 1}, and let Lperm = { P ∈ Σ∗,∗ | row(P) = col(P) ≥ 1, each row and each column contains exactly one symbol 1 }. We describe a stl-det-2D-x2W-ORWW-automaton Mperm for Lperm. Let Γ = Σ ∪ {0′, 1′, 0′

1, 0′′, 1′′, 0′′ 1},

and let 1 > 0 > 1′ > 0′ > 0′

1 > 1′′ > 0′′ > 0′′ 1.

The automaton Mperm proceeds as follows:

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 14 / 28

slide-28
SLIDE 28
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 Let Σ = {0, 1}, and let Lperm = { P ∈ Σ∗,∗ | row(P) = col(P) ≥ 1, each row and each column contains exactly one symbol 1 }. We describe a stl-det-2D-x2W-ORWW-automaton Mperm for Lperm. Let Γ = Σ ∪ {0′, 1′, 0′

1, 0′′, 1′′, 0′′ 1},

and let 1 > 0 > 1′ > 0′ > 0′

1 > 1′′ > 0′′ > 0′′ 1.

The automaton Mperm proceeds as follows:

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 14 / 28

slide-29
SLIDE 29
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1 ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 15 / 28

slide-30
SLIDE 30
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1 ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 15 / 28

slide-31
SLIDE 31
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1 0′ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 15 / 28

slide-32
SLIDE 32
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1 0′ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 15 / 28

slide-33
SLIDE 33
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1′ 0′ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 15 / 28

slide-34
SLIDE 34
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1′ 0′ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 15 / 28

slide-35
SLIDE 35
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 0′

1

1′ 0′ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 15 / 28

slide-36
SLIDE 36
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 0′

1

1′ 0′ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 15 / 28

slide-37
SLIDE 37
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 0′

1 0′ 1

1′ 0′ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 15 / 28

slide-38
SLIDE 38
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 1 ⊣ ⊢ 0′

1 0′ 1

1′ 0′ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 15 / 28

slide-39
SLIDE 39
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ 0′

1 0′ 1 0′ 1

1′ ⊣ ⊢ 1′ 0′ 0′ 0′ ⊣ ⊢ 0′

1

1′ 0′ 0′ ⊣ ⊢ 0′

1 0′ 1

1′ 0′ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 15 / 28

slide-40
SLIDE 40
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ 0′

1 0′ 1 0′ 1

1′ ⊣ ⊢ 1′ 0′ 0′ 0′ ⊣ ⊢ 0′

1

1′ 0′ 0′ ⊣ ⊢ 0′

1 0′ 1

1′ 0′ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 15 / 28

slide-41
SLIDE 41
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ 0′

1 0′ 1 0′ 1

1′ ⊣ ⊢ 1′ 0′ 0′ 0′ ⊣ ⊢ 0′

1

1′ 0′ 0′ ⊣ ⊢ 0′

1 0′ 1

1′ 0′′ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 15 / 28

slide-42
SLIDE 42
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ 0′

1 0′ 1 0′ 1

1′ ⊣ ⊢ 1′ 0′ 0′ 0′ ⊣ ⊢ 0′

1

1′ 0′ 0′ ⊣ ⊢ 0′

1 0′ 1

1′ 0′′ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 15 / 28

slide-43
SLIDE 43
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ 0′

1 0′ 1 0′ 1

1′ ⊣ ⊢ 1′ 0′ 0′ 0′ ⊣ ⊢ 0′

1

1′ 0′ 0′′ ⊣ ⊢ 0′

1 0′ 1

1′ 0′′ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 15 / 28

slide-44
SLIDE 44
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ 0′

1 0′ 1 0′ 1

1′ ⊣ ⊢ 1′ 0′ 0′ 0′ ⊣ ⊢ 0′

1

1′ 0′ 0′′ ⊣ ⊢ 0′

1 0′ 1

1′ 0′′ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 15 / 28

slide-45
SLIDE 45
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ 0′

1 0′ 1 0′ 1

1′ ⊣ ⊢ 1′ 0′ 0′ 0′′ ⊣ ⊢ 0′

1

1′ 0′ 0′′ ⊣ ⊢ 0′

1 0′ 1

1′ 0′′ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 15 / 28

slide-46
SLIDE 46
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ 0′

1 0′ 1 0′ 1

1′ ⊣ ⊢ 1′ 0′ 0′ 0′′ ⊣ ⊢ 0′

1

1′ 0′ 0′′ ⊣ ⊢ 0′

1 0′ 1

1′ 0′′ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 15 / 28

slide-47
SLIDE 47
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ 0′

1 0′ 1 0′ 1 1′′

⊣ ⊢ 1′ 0′ 0′ 0′′ ⊣ ⊢ 0′

1

1′ 0′ 0′′ ⊣ ⊢ 0′

1 0′ 1

1′ 0′′ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 15 / 28

slide-48
SLIDE 48
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ 0′

1 0′ 1 0′ 1 1′′

⊣ ⊢ 1′ 0′ 0′ 0′′ ⊣ ⊢ 0′

1

1′ 0′ 0′′ ⊣ ⊢ 0′

1 0′ 1

1′ 0′′ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 15 / 28

slide-49
SLIDE 49
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ 0′′

1 0′′ 1 0′′ 1 1′′

⊣ ⊢ 1′′ 0′′

1 0′′ 1 0′′

⊣ ⊢ 0′′ 1′′ 0′′

1 0′′

⊣ ⊢ 0′′ 0′′ 1′′ 0′′ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 15 / 28

slide-50
SLIDE 50
  • 3. Deterministic Extended 2-Way ORWW-Automata

Example 1 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ 0′′

1 0′′ 1 0′′ 1 1′′

⊣ ⊢ 1′′ 0′′

1 0′′ 1 0′′

⊣ ⊢ 0′′ 1′′ 0′′

1 0′′

⊣ ⊢ 0′′ 0′′ 1′′ 0′′ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

ACCEPT

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 15 / 28

slide-51
SLIDE 51
  • 4. On the Language Class L(det-2D-x2W-ORWW)
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Theorem 8 The stateless det-2D-x2W-ORWW-automaton can simulate the deterministic Sgraffito automaton. Theorem 9 The classes of picture languages L(det-2D-x2W-ORWW) and L(stl-det-2D-x2W-ORWW) are closed under transposition, union, intersection, and complementation.

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 16 / 28

slide-52
SLIDE 52
  • 4. On the Language Class L(det-2D-x2W-ORWW)
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Theorem 8 The stateless det-2D-x2W-ORWW-automaton can simulate the deterministic Sgraffito automaton. Theorem 9 The classes of picture languages L(det-2D-x2W-ORWW) and L(stl-det-2D-x2W-ORWW) are closed under transposition, union, intersection, and complementation.

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 16 / 28

slide-53
SLIDE 53
  • 4. On the Language Class L(det-2D-x2W-ORWW)

In (M., O., SOFSEM 2014) it is shown that the language L1col = { P ∈ Σ2n,1 | P(1, 1) . . . P(n, 1) = (P(n + 1, 1) . . . P(2n, 1))R }, is accepted by a det-2D-3W-ORWW-automaton. The transpose Lt

1col of this language is essentially the word language

Lpal = { w ∈ {a, b}∗ | |w| ≡ 0 mod 2 and w = wR } ∈ REG. Hence, L1col is not accepted by any det-2D-x2W-ORWW-automaton, i.e., there are det-2D-3W-ORWW-automata which cannot be simulated by det-2D-x2W-ORWW-automata. However, also the converse holds.

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 17 / 28

slide-54
SLIDE 54
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Example 2 Let Lpal,2 be the following picture language over Σ = {a, b, ✷}: Lpal,2 = { P ∈ Σ2,2n | P(1, 1) . . . P(1, n) = (P(1, n + 1) . . . P(1, 2n))R, P(1, i) ∈ {a, b} and P(2, i) = ✷, 1 ≤ i ≤ 2n }, that is, Lpal,2 consists of all two-row pictures such that the first row contains a palindrome of even length over {a, b}, and the second row just contains ✷-symbols. We describe a det-2D-x2W-ORWW-automaton Mpal,2 for Lpal,2. Let Γ = Σ ∪ {a1, a2, b1, b2, ↑1, ↑2}, and let a > b > a1 > b1 > a2 > b2 > ✷ > ↑1 > ↑2 . The automaton Mpal,2 proceeds as follows:

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 18 / 28

slide-55
SLIDE 55
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Example 2 Let Lpal,2 be the following picture language over Σ = {a, b, ✷}: Lpal,2 = { P ∈ Σ2,2n | P(1, 1) . . . P(1, n) = (P(1, n + 1) . . . P(1, 2n))R, P(1, i) ∈ {a, b} and P(2, i) = ✷, 1 ≤ i ≤ 2n }, that is, Lpal,2 consists of all two-row pictures such that the first row contains a palindrome of even length over {a, b}, and the second row just contains ✷-symbols. We describe a det-2D-x2W-ORWW-automaton Mpal,2 for Lpal,2. Let Γ = Σ ∪ {a1, a2, b1, b2, ↑1, ↑2}, and let a > b > a1 > b1 > a2 > b2 > ✷ > ↑1 > ↑2 . The automaton Mpal,2 proceeds as follows:

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 18 / 28

slide-56
SLIDE 56
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Example 2 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ a b b a ⊣ ⊢ ✷ ✷ ✷ ✷ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

q0

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 19 / 28

slide-57
SLIDE 57
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Example 2 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ a b b a ⊣ ⊢ ✷ ✷ ✷ ✷ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

qa

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 19 / 28

slide-58
SLIDE 58
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Example 2 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ a b b a ⊣ ⊢ ✷ ✷ ✷ ✷ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

qa

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 19 / 28

slide-59
SLIDE 59
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Example 2 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ a b b a ⊣ ⊢ ↑1 ✷ ✷ ✷ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

q0

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 19 / 28

slide-60
SLIDE 60
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Example 2 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ a1 b b a ⊣ ⊢ ↑1 ✷ ✷ ✷ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

q0

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 19 / 28

slide-61
SLIDE 61
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Example 2 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ a1 b b a ⊣ ⊢ ↑1 ✷ ✷ ✷ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

qa1,b

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 19 / 28

slide-62
SLIDE 62
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Example 2 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ a1 b b a1 ⊣ ⊢ ↑1 ✷ ✷ ✷ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

q0

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 19 / 28

slide-63
SLIDE 63
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Example 2 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ a1 b b a1 ⊣ ⊢ ↑1 ✷ ✷ ✷ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

qa1,b

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 19 / 28

slide-64
SLIDE 64
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Example 2 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ a1 b b a1 ⊣ ⊢ ↑1 ✷ ✷ ✷ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

qb

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 19 / 28

slide-65
SLIDE 65
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Example 2 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ a1 b b a1 ⊣ ⊢ ↑2 ✷ ✷ ✷ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

q0

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 19 / 28

slide-66
SLIDE 66
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Example 2 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ a2 b b a1 ⊣ ⊢ ↑2 ✷ ✷ ✷ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

q0

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 19 / 28

slide-67
SLIDE 67
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Example 2 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ a2 b b a1 ⊣ ⊢ ↑2 ✷ ✷ ✷ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

qa2,b

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 19 / 28

slide-68
SLIDE 68
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Example 2 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ a2 b b a2 ⊣ ⊢ ↑2 ✷ ✷ ✷ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

q0

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 19 / 28

slide-69
SLIDE 69
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Example 2 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ a2 b b a2 ⊣ ⊢ ↑2 ✷ ✷ ✷ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

qa2,b

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 19 / 28

slide-70
SLIDE 70
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Example 2 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ a2 b b a2 ⊣ ⊢ ↑2 ✷ ✷ ✷ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

qb

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 19 / 28

slide-71
SLIDE 71
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Example 2 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ a2 b b a2 ⊣ ⊢ ↑2 ✷ ✷ ✷ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

qb

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 19 / 28

slide-72
SLIDE 72
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Example 2 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ a2 b b a2 ⊣ ⊢ ↑2 ↑1 ✷ ✷ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

q0

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 19 / 28

slide-73
SLIDE 73
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Example 2 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ a2 b2 b2 a2 ⊣ ⊢ ↑2 ↑2 ✷ ✷ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

q0

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 19 / 28

slide-74
SLIDE 74
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Example 2 (cont.)

# ⊤ ⊤ ⊤ ⊤ # ⊢ a2 b2 b2 a2 ⊣ ⊢ ↑2 ↑2 ✷ ✷ ⊣ # ⊥ ⊥ ⊥ ⊥ #

picture

ACCEPT

finite control

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 19 / 28

slide-75
SLIDE 75
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Proposition 10 Lpal,2 ∈ L(det-2D-3W-ORWW). Corollary 11 The class of picture languages L(det-2D-x2W-ORWW) is incomparable under inclusion to the class of picture languages L(det-2D-3W-ORWW).

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 20 / 28

slide-76
SLIDE 76
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Proposition 10 Lpal,2 ∈ L(det-2D-3W-ORWW). Corollary 11 The class of picture languages L(det-2D-x2W-ORWW) is incomparable under inclusion to the class of picture languages L(det-2D-3W-ORWW).

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 20 / 28

slide-77
SLIDE 77
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Proposition 12 Lpal,2 ∈ L(stl-det-2D-x2W-ORWW). Theorem 13 L(stl-det-2D-x2W-ORWW) L(det-2D-x2W-ORWW).

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 21 / 28

slide-78
SLIDE 78
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Proposition 12 Lpal,2 ∈ L(stl-det-2D-x2W-ORWW). Theorem 13 L(stl-det-2D-x2W-ORWW) L(det-2D-x2W-ORWW).

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 21 / 28

slide-79
SLIDE 79
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Proof outline of Prop. 12. Assume that M = (Σ, Γ, S, δ, >) is a stl-det-2D-x2W-ORWW-automaton

  • ver Σ = {a, b, ✷} such that L(M) = Lpal,2.

For w = a1 . . . an, where n ≥ 1 and a1, . . . , an ∈ {a, b}, let Pw = a1 . . . an a a an . . . a1 ✷ . . . ✷ ✷ ✷ ✷ . . . ✷

  • ∈ Lpal,2.

Given Pw as input, M will perform an accepting computation, which can be split into a finite number of phases, where we distinguish between four types of phases:

  • A left-only phase consists of a sequence of cycles in which the

window of M stays on the left half of the picture.

  • An upper-right phase consists of a sequence of cycles in which all

rewrite steps are performed on the right half of the picture, and in addition, in the first of these cycles, M enters the right half of the picture through a move-right step in row 1.

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 22 / 28

slide-80
SLIDE 80
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Proof outline of Prop. 12. Assume that M = (Σ, Γ, S, δ, >) is a stl-det-2D-x2W-ORWW-automaton

  • ver Σ = {a, b, ✷} such that L(M) = Lpal,2.

For w = a1 . . . an, where n ≥ 1 and a1, . . . , an ∈ {a, b}, let Pw = a1 . . . an a a an . . . a1 ✷ . . . ✷ ✷ ✷ ✷ . . . ✷

  • ∈ Lpal,2.

Given Pw as input, M will perform an accepting computation, which can be split into a finite number of phases, where we distinguish between four types of phases:

  • A left-only phase consists of a sequence of cycles in which the

window of M stays on the left half of the picture.

  • An upper-right phase consists of a sequence of cycles in which all

rewrite steps are performed on the right half of the picture, and in addition, in the first of these cycles, M enters the right half of the picture through a move-right step in row 1.

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 22 / 28

slide-81
SLIDE 81
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Proof outline of Prop. 12. Assume that M = (Σ, Γ, S, δ, >) is a stl-det-2D-x2W-ORWW-automaton

  • ver Σ = {a, b, ✷} such that L(M) = Lpal,2.

For w = a1 . . . an, where n ≥ 1 and a1, . . . , an ∈ {a, b}, let Pw = a1 . . . an a a an . . . a1 ✷ . . . ✷ ✷ ✷ ✷ . . . ✷

  • ∈ Lpal,2.

Given Pw as input, M will perform an accepting computation, which can be split into a finite number of phases, where we distinguish between four types of phases:

  • A left-only phase consists of a sequence of cycles in which the

window of M stays on the left half of the picture.

  • An upper-right phase consists of a sequence of cycles in which all

rewrite steps are performed on the right half of the picture, and in addition, in the first of these cycles, M enters the right half of the picture through a move-right step in row 1.

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 22 / 28

slide-82
SLIDE 82
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Proof outline of Prop. 12. Assume that M = (Σ, Γ, S, δ, >) is a stl-det-2D-x2W-ORWW-automaton

  • ver Σ = {a, b, ✷} such that L(M) = Lpal,2.

For w = a1 . . . an, where n ≥ 1 and a1, . . . , an ∈ {a, b}, let Pw = a1 . . . an a a an . . . a1 ✷ . . . ✷ ✷ ✷ ✷ . . . ✷

  • ∈ Lpal,2.

Given Pw as input, M will perform an accepting computation, which can be split into a finite number of phases, where we distinguish between four types of phases:

  • A left-only phase consists of a sequence of cycles in which the

window of M stays on the left half of the picture.

  • An upper-right phase consists of a sequence of cycles in which all

rewrite steps are performed on the right half of the picture, and in addition, in the first of these cycles, M enters the right half of the picture through a move-right step in row 1.

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 22 / 28

slide-83
SLIDE 83
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Proof outline (cont.)

  • A lower-left phase is a sequence of cycles in which all rewrite

steps are performed in the left half of the picture, and in addition, the first of these cycles contains an extended move-right step.

  • A lower-right phase is a sequence of cycles in which all rewrite

steps are performed in the right half of the picture, and in addition, in the first of these cycles, M enters the right half of the picture through a move-right step in row 2 or through an extended move-down step. The sequence of cycles of the computation of M on input Pw can uniquely be split into a sequence of phases of maximum length. Thus, this computation can be described in a unique way by a string α

  • ver the alphabet Ω = {O, U, L, R}, where O denotes a left-Only

phase, U stands for an Upper-right phase, L denotes a lower-Left phase, and R stands for a lower-Right phase.

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 23 / 28

slide-84
SLIDE 84
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Proof outline (cont.)

  • A lower-left phase is a sequence of cycles in which all rewrite

steps are performed in the left half of the picture, and in addition, the first of these cycles contains an extended move-right step.

  • A lower-right phase is a sequence of cycles in which all rewrite

steps are performed in the right half of the picture, and in addition, in the first of these cycles, M enters the right half of the picture through a move-right step in row 2 or through an extended move-down step. The sequence of cycles of the computation of M on input Pw can uniquely be split into a sequence of phases of maximum length. Thus, this computation can be described in a unique way by a string α

  • ver the alphabet Ω = {O, U, L, R}, where O denotes a left-Only

phase, U stands for an Upper-right phase, L denotes a lower-Left phase, and R stands for a lower-Right phase.

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 23 / 28

slide-85
SLIDE 85
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Proof outline (cont.)

  • A lower-left phase is a sequence of cycles in which all rewrite

steps are performed in the left half of the picture, and in addition, the first of these cycles contains an extended move-right step.

  • A lower-right phase is a sequence of cycles in which all rewrite

steps are performed in the right half of the picture, and in addition, in the first of these cycles, M enters the right half of the picture through a move-right step in row 2 or through an extended move-down step. The sequence of cycles of the computation of M on input Pw can uniquely be split into a sequence of phases of maximum length. Thus, this computation can be described in a unique way by a string α

  • ver the alphabet Ω = {O, U, L, R}, where O denotes a left-Only

phase, U stands for an Upper-right phase, L denotes a lower-Left phase, and R stands for a lower-Right phase.

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 23 / 28

slide-86
SLIDE 86
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Proof outline (cont.) Concerning the possible changes from one phase to the next there are some restrictions based on the fact that M is stateless, e.g.,

  • while M is in a lower-right phase (R), it just moves through the left

half of the current picture after each rewrite/restart step. Thus, M cannot get into another phase until it performs a rewrite step that replaces a symbol in the first column of the right half of the picture. However, in a fixed column, less than 2 · |Γ| many rewrite steps can be performed, and so |α|R ≤ 1 + 2 · |Γ|. It can be shown that |α| ≤ |α|O + |α|R + |α|L + |α|U ≤ 15 + 28 · |Γ|, i.e., each computation of M consists of ≤ 15 + 28 · |Γ| many phases. Using a notion of generalized crossing sequence and counting arguments it can now be shown that M will also accept some pictures that do not belong to the language Lpal,2, a contradiction! ✷

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 24 / 28

slide-87
SLIDE 87
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Proof outline (cont.) Concerning the possible changes from one phase to the next there are some restrictions based on the fact that M is stateless, e.g.,

  • while M is in a lower-right phase (R), it just moves through the left

half of the current picture after each rewrite/restart step. Thus, M cannot get into another phase until it performs a rewrite step that replaces a symbol in the first column of the right half of the picture. However, in a fixed column, less than 2 · |Γ| many rewrite steps can be performed, and so |α|R ≤ 1 + 2 · |Γ|. It can be shown that |α| ≤ |α|O + |α|R + |α|L + |α|U ≤ 15 + 28 · |Γ|, i.e., each computation of M consists of ≤ 15 + 28 · |Γ| many phases. Using a notion of generalized crossing sequence and counting arguments it can now be shown that M will also accept some pictures that do not belong to the language Lpal,2, a contradiction! ✷

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 24 / 28

slide-88
SLIDE 88
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Proof outline (cont.) Concerning the possible changes from one phase to the next there are some restrictions based on the fact that M is stateless, e.g.,

  • while M is in a lower-right phase (R), it just moves through the left

half of the current picture after each rewrite/restart step. Thus, M cannot get into another phase until it performs a rewrite step that replaces a symbol in the first column of the right half of the picture. However, in a fixed column, less than 2 · |Γ| many rewrite steps can be performed, and so |α|R ≤ 1 + 2 · |Γ|. It can be shown that |α| ≤ |α|O + |α|R + |α|L + |α|U ≤ 15 + 28 · |Γ|, i.e., each computation of M consists of ≤ 15 + 28 · |Γ| many phases. Using a notion of generalized crossing sequence and counting arguments it can now be shown that M will also accept some pictures that do not belong to the language Lpal,2, a contradiction! ✷

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 24 / 28

slide-89
SLIDE 89
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Let Σ = {0, 1}, and let Ldup = { P ❞P | P is a quadratic picture over Σ }, where P ❞P denotes the column concatenation of two copies of P. It is known that Ldup ∈ L(2SA) (Pruša, Mráz, DLT 2012) . However, by using the technique from Example 2, the following can be shown. Proposition 14 Ldup ∈ L(det-2D-x2W-ORWW). Corollary 15 L(det-2D-x2W-ORWW) ⊂ L(2SA).

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 25 / 28

slide-90
SLIDE 90
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Let Σ = {0, 1}, and let Ldup = { P ❞P | P is a quadratic picture over Σ }, where P ❞P denotes the column concatenation of two copies of P. It is known that Ldup ∈ L(2SA) (Pruša, Mráz, DLT 2012) . However, by using the technique from Example 2, the following can be shown. Proposition 14 Ldup ∈ L(det-2D-x2W-ORWW). Corollary 15 L(det-2D-x2W-ORWW) ⊂ L(2SA).

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 25 / 28

slide-91
SLIDE 91
  • 4. On the Language Class L(det-2D-x2W-ORWW)

Let Σ = {0, 1}, and let Ldup = { P ❞P | P is a quadratic picture over Σ }, where P ❞P denotes the column concatenation of two copies of P. It is known that Ldup ∈ L(2SA) (Pruša, Mráz, DLT 2012) . However, by using the technique from Example 2, the following can be shown. Proposition 14 Ldup ∈ L(det-2D-x2W-ORWW). Corollary 15 L(det-2D-x2W-ORWW) ⊂ L(2SA).

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 25 / 28

slide-92
SLIDE 92
  • 5. Concluding Remarks
  • 5. Concluding Remarks

The det-2D-x2W-ORWW-automaton has the following nice properties: The membership problem for the picture languages accepted is decidable in polynomial time. It is even more expressive than the deterministic Sgraffito automaton. It only accepts regular word languages. It avoids the artificial termination condition of the det-2D-3W-ORWW-automaton.

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 26 / 28

slide-93
SLIDE 93
  • 5. Concluding Remarks
  • 5. Concluding Remarks

The det-2D-x2W-ORWW-automaton has the following nice properties: The membership problem for the picture languages accepted is decidable in polynomial time. It is even more expressive than the deterministic Sgraffito automaton. It only accepts regular word languages. It avoids the artificial termination condition of the det-2D-3W-ORWW-automaton.

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 26 / 28

slide-94
SLIDE 94
  • 5. Concluding Remarks
  • 5. Concluding Remarks

The det-2D-x2W-ORWW-automaton has the following nice properties: The membership problem for the picture languages accepted is decidable in polynomial time. It is even more expressive than the deterministic Sgraffito automaton. It only accepts regular word languages. It avoids the artificial termination condition of the det-2D-3W-ORWW-automaton.

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 26 / 28

slide-95
SLIDE 95
  • 5. Concluding Remarks
  • 5. Concluding Remarks

The det-2D-x2W-ORWW-automaton has the following nice properties: The membership problem for the picture languages accepted is decidable in polynomial time. It is even more expressive than the deterministic Sgraffito automaton. It only accepts regular word languages. It avoids the artificial termination condition of the det-2D-3W-ORWW-automaton.

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 26 / 28

slide-96
SLIDE 96
  • 5. Concluding Remarks

Open Problems: Is the language class L(det-2D-x2W-ORWW) closed under projection, under horizontal product, or under vertical product? Can stateless det-2D-x2W-ORWW-automata accept any languages that are not accepted by deterministic Sgraffito automata, or do these two types of automata have exactly the same expressive power? Can stateless det-2D-x2W-ORWW-automata be simulated by det-2D-3W-ORWW-automata with states?

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 27 / 28

slide-97
SLIDE 97
  • 5. Concluding Remarks

Open Problems: Is the language class L(det-2D-x2W-ORWW) closed under projection, under horizontal product, or under vertical product? Can stateless det-2D-x2W-ORWW-automata accept any languages that are not accepted by deterministic Sgraffito automata, or do these two types of automata have exactly the same expressive power? Can stateless det-2D-x2W-ORWW-automata be simulated by det-2D-3W-ORWW-automata with states?

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 27 / 28

slide-98
SLIDE 98
  • 5. Concluding Remarks

Open Problems: Is the language class L(det-2D-x2W-ORWW) closed under projection, under horizontal product, or under vertical product? Can stateless det-2D-x2W-ORWW-automata accept any languages that are not accepted by deterministic Sgraffito automata, or do these two types of automata have exactly the same expressive power? Can stateless det-2D-x2W-ORWW-automata be simulated by det-2D-3W-ORWW-automata with states?

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 27 / 28

slide-99
SLIDE 99
  • 5. Concluding Remarks

Thank you for your attention!

  • F. Otto, F. Mráz ()

Extended Two-Way ORWW-Automata 28 / 28