Download presentation

Presentation is loading. Please wait.

Published byXiomara Hazell Modified over 3 years ago

1
Two-dimensional Rational Automata: a bridge unifying 1d and 2d language theory Marcella Anselmo Dora Giammarresi Maria Madonia Univ. of Salerno Univ. Roma Tor Vergata Univ. of Catania ITALY

2
Overview Topic: recognizability of 2d languages Motivation: putting in a uniform setting concepts and results till now presented for 2d recognizable languages Results: definition of rational automata. They provide a uniform setting and allow to obtain results in 2d just using techniques and results in 1d

3
Problem: generalizing the theory of recognizability of formal languages from 1d to 2d Two-dimensional string (or picture) over a finite alphabet: finite alphabet ** pictures over L ** 2d language Two-dimensional (2d) languages abbc cbaa baab

4
2d literature Since 60 several attempts and different models 4NFA, OTA, Grammars, Tiling Automata, Wang Automata, Logic, Operations REC family Most accreditated generalization:

5
REC family is defined in terms of 2d local languages It is necessary to identify the boundary of picture p using a boundary symbol p = p = A 2d language L is local if there exists a set of tiles (i. e. square pictures of size 2 2) such that, for any p in L, any sub-picture 2 2 of p is in REC family I

6
L ** is recognizable by tiling system if L = (L) where L ** is a local language and is a mapping from the alphabet of L to the alphabet of L REC is the family of two-dimensional languages recognizable by tiling system (,,, ) is called tiling system REC family II

7
L sq is not local. L sq is recognizable by tiling system. Example L sq = (L) where L is a local language over = {0,1,2} and is such that (0)= (1)= (2)=a aaaa aaaa aaaa aaaa 1000 2100 2210 2221 Consider L sq the set of all squares over = {a} L sq (p) = L p =

8
Why another model? REC family has been deeply studied Notions: unambiguity, determinism … Results: equivalences, inclusions, closure properties, decidability properties … but … ad hoc definitions and techniques

9
This new model of recognition gives: a more natural generalization from 1d to 2d a uniform setting for all notions, results, techniques presented in the 2d literature Starting from Finite Automata for strings we introduce Rational Automata for pictures From 1d to 2d

10
Some techniques can be exported from 1d to 2d (e.g. closure properties) Some results can be exported from 1d to 2d (e.g. classical results on transducers) Some notions become more «natural» (e.g. different forms of determinism) In this setting

11
From Finite Automata to Rational Automata We take inspiration from the geometry: Finite sets of symbols are used to define finite automata that accept rational sets of strings Rational sets of strings are used to define rational automata that accept recognizable sets of pictures PointsLinesPlanes 1d2d SymbolsStringsPictures 1d2d

12
From Finite Automata to Rational Automata Finite Automaton A = (, Q, q 0,, F) finite set of symbols Q finite set of states q 0 initial state finite relation on (Q X ) X 2 Q F finite set of final states Rational Automaton!! Symbol String Finite Rational

13
Rational automaton H = (A, S Q, S 0, T, F Q ) A = + rational set of strings on S Q Q + rational set of states S 0 = q 0 + initial states T rational relation on (S Q X A ) X 2 S Q computed by transducer T F Q rational set of final states A = (, Q, q 0,, F) finite set of symbols Q finite set of states q 0 initial state finite relation on (Q X ) X 2 Q F finite set of final states Rational Automata (RA) Symbol String Finite Rational

14
RA H = (A, S Q, S 0, T, F Q ) T rational relation on (S Q X A ) X 2 S Q computed by transducer T Rational Automata (RA) ctd. If s = s 1 s 2 … s m S Q and a = a 1 a 2 … a m A What does it mean??? S Q Q + A = + then q = q 1 q 2 … q m T (s, a) if q is output of the transducer T on the string (s 1,a 1 ) (s 2,a 2 ) … (s m,a m ) over the alphabet Q X

15
A computation of a RA on a picture p ++, p of size (m,n), is done as in a FA, just considering p as a string over the alphabet of the columns A = + i.e. p = p 1 p 2 … p n with p i A Recognition by RA Example : picture + string aaaa aaaa aaaa aaaa a a a a a a a a a a a a a a a a p1p1 pp2p2 p3p3 p4p4

16
The computation of a RA H on a picture p, of size (m,n), starts from q 0 m, initial state, and reads p, as a string, column by column, from left to right. Recognition by RA (ctd.) p is recognized by H if, at the end of the computation, a state q f F Q is reached. F Q is rational L(H) = language recognized by H L(RA) = class of languages recognized by RA

17
Example 1 Let Q = {q 0,0,1,2} and H sq = ( A, S Q, S 0, T, F Q ) with A = a +, S Q = q 0 + 0 * 12 * Q +, S 0 = q 0 +, F Q = 0 * 1, T computed by the transducer T RA recognizing L sq set of all squares over = {a} L(H sq ) = L sq T

18
Computation on p = T (q 0 4, a 4 ) = output of T on (q 0,a) (q 0,a) (q 0,a) (q 0,a) = 1222 T (1222, a 4 ) = 0122 T (0122, a 4 ) = 0012 T (0012, a 4 ) = 0001 F Q Example 1:computation aaaa aaaa aaaa aaaa T p L(H sq )=L sq

19
This example gives the intuition for the following RA and REC Theorem A picture language is recognized by a Rational Automaton iff it is tiling recognizable Remark This theorem is a 2d version of a classical (string) theorem Medvedev 64 : Theorem A string language is recognized by a Finite Automaton iff it is the projection of a local language

20
In the previous example the rational automaton H sq mimics a tiling system for L sq but … in general the rational automata can exploit the extra memory of the states of the transducers as in the following example. Furthermore

21
Example 2 Consider L fr=fc the set of all squares over = {a,b} with the first row equal to the first column. The transition function is realized by a transducer with states r 0, r 1, r 2, r y, d y for any y L fr=fc L(RA)

22
Rational Graphs Iteration of Rational Transducers Matzs Automata for L(m) Similarity with other models

23
Studying REC by RA Closure properties Determinism: definitions and results Decidability results

24
Proposition L(RA) is closed under union, intersection, column- and row-concatenation and stars. Closure properties Proof The closure under row-concatenation follows by properties of transducers. The other ones can be proved by exporting FA techniques.

25
Now, in the RA context, all of them assume a natural position in a common setting with non- determinism and unambiguity Determinism in REC The definition of determinism in REC is still controversial Different definitions Different classes: DREC, Col-Urec, Snake-Drec The right one?

26
Two different definitions of determinism can be given 1.The transduction is a function (i.e. T on (S Q X A ) X S Q ) Deterministic Rational Automaton (DRA) Determinism: definition 2. The transduction is left-sequential Strongly Deterministic Rational Automaton (SDRA) Col-URECDREC

27
Remark It was proved Col-UREC=Snake-Drec with ad hoc techniques Lonati&Pradella2004. In the RA context Col-UREC=Snake-Drec follows easily by a classical result on transducers Elgot&Mezei1965 Theorem L is in L(DRA) iff L is in Col-UREC L is in L(SDRA) iff L is in DREC Determinism: results

28
Decidability results Proposition It is decidable whether a RA is deterministic (strongly deterministic, resp.) Proof It follows very easily from decidability results on transducers.

29
Conclusions Despite a rational automaton is in principle more complicated than a tiling system, it has some major advantages: It unifies concepts coming from different motivations It allows to use results of the string language theory Further steps: look for other results on transducers and finite automata to prove new properties of REC.

30
Grazie per lattenzione!

Similar presentations

OK

1 A Single Final State for Finite Accepters. 2 Observation Any Finite Accepter (NFA or DFA) can be converted to an equivalent NFA with a single final.

1 A Single Final State for Finite Accepters. 2 Observation Any Finite Accepter (NFA or DFA) can be converted to an equivalent NFA with a single final.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on polynomials and coordinate geometry pictures Ppt on domain and range of functions Download ppt on soil erosion and conservation Ppt on obesity prevention source Ppt on biodegradable and nonbiodegradable waste Ppt on couplets by alexander pope Ppt on edge detection in matlab Ppt on tcp/ip protocols Ppt on indian history and culture Ppt on application of linear algebra in computer graphics