arxiv: v1 [cs.fl] 30 Nov 2016

Transcription

1 Some Subclsses of Liner Lnguges bsed on Nondeterministic Liner Automt Benjmín Bedregl Deprtmento de Informátic e Mtemátic Aplicd, Universidde Federl do Rio Grnde do Norte bedregl@dimp.ufrn.br rxiv: v1 [cs.fl] 30 Nov 2016 Abstrct In this pper we consider the clss of λ-nondeterministic liner utomt s model of the clss of liner lnguges. As usul in other utomt models, λ-moves do not increse the cceptnce power. The min contribution of this pper is to introduce the deterministic liner utomt nd even liner utomt, i.e. the nturl restriction of nondeterministic liner utomt for the deterministic nd even liner lnguge clsses, respectively. In prticulr, there re different, but not equivlents, proposls for the clss of deterministic liner lnguges. We proved here tht the clss of lnguges ccepted by the deterministic liner utomt re not contined in ny of the these clsses nd in fct they properly contin these clsses. Another, contribution is the genertion of n infinite hierrchy of forml lnguges, going from the clss of lnguges ccepted by deterministic liner utomt nd chieved, in the limit, the clss of liner lnguges. Keywords: Liner lnguges, nondeterministic liner utomt, deterministic liner utomt, deterministic liner lnguges, even liner lnguges, λ-moves nd degree of explicit nondeterminism. 1 Introduction The clss of liner lnguges, lso known by liner context-free lnguges, is situted in the extended Chomsky hierrchy between the clsses of regulr nd context-free lnguges. Liner grmmrs (the more well known model for the clss of liner lnguges) llow to hve control on mtches between leftmost symbols with rightmost symbols of substring. This cpbility llow tht the most of the more commonly used exmples of context-free lnguges, which re not regulr lnguges, belong to this clss, s for exmple the lnguges of plindromes nd { n b n : n 1}. An exmple of context-free lnguge which is not liner is { m b m n b n : n, m 1} [3]. The most usul models for liner lnguges re the liner grmmrs nd some norml form for them hve been proposed. In terms of utomt counterprt, it is possible to find t lest six different models: Two-tpe nondeterministic finite utomt of specil type [14, 30], finite trnsducer [26, 30], one-turn pushdown utomt [3, 12, 14, 17, 18], rightleft-monotone restrting utomt [21], λ-nondeterministic liner utomt [5, 6] nd zipper finite-stte utomt [31]. Despite the merits of the four first models, they re not intrinsic, in the sense tht their definition includes externl elements. For exmple, in the two-tpe nondeterministic finite utomt of specil type, the input is split into two tpes with the second one contining the reverse of the right prt of the input string. Notice tht, ll the usul types of utomt e.g. finite utomt, pushdown utomt (pd in short), Turing mchines, etc. ssume tht the input string is sequentilly disposed, without ny

2 modifiction, in the input tpe t the strt of execution tht here we cll nturl condition. Thus, this model does not stisfy the nturl condition nd it is not intrinsic becuse the choice of how nd where to divide the input nd the ppliction of the reversion is externl to the model. Anlogously, the finite trnsducer model lso presupposes tht externlly the input string is divided into two prts which re seprted by specil symbol nd where the second prt is reverted. Therefore, this model lso presupposes previous knowledge of where the input must be divided. Thus, this model does not stisfy either the nturl condition nd it considers externl gents. On the other hnd, turn in pd is move which decreses the stck nd which is preceded by move tht increses the stck, the one-turn pd model ( pd which mkes t most one turn in the stck). Determining the mximl possible quntity of turns tht pd cn mke (i.e. consider ll possible input strings) requires n externl control. Thus, one-turn pd model is not intrinsic. Finlly, the right-left-monotone restrting utomt introduced in [21] is restriction of more generl clss of utomt, the restrting utomt introduced in [19, 20]. Since in this utomt the trnsitions work with strings insted of symbols nd they llow ctions such s the reversion of strings, this model of liner lnguge is higher leveled nd lso more complex thn the other models. On the other hnd, this model requires tht t ech cycle the distnce from the ctul plce, where rewrite tkes plce, to the right nd left end of the tpe must not increse. However the verifiction of tht condition cn not be mde internlly in the model, nd therefore it is lso non intrinsic model. The λ-nondeterministic liner utomt, λ-nl, which extends the notion of nondeterministic finite utomt with λ-moves, λ-nf in short, nd therefore properly contins this clss of utomt. This utomt model, in our viewpoint, does not consider externl elements, it is not subclss of utomt used to model broder clss of lnguges, it is strongly inspired in forml norm introduced here for liner grmmrs nd therefore it is simpler thn the previous models. The lst model, zipper finite-stte utomt [31], is similr to the the previous one, in the sense tht it red the input string from the left nd from the right side, but differently of the λ-nl, it is mde simultneoulsy nd every moviment cn red more thn one symbols of ech side of the string. In ddition, the λ-moves in the usul clsses of utomt re not essentil for the models. Thus, for exmple, λ-moves do not increse the cceptnce power of finite utomt (see, for exmple, [18]), of pushdown utomt (see, for exmple, [14]) nd of Turing mchines (by Church-thesis). Anlogously, in [6] it ws proved tht λ-moves do not increse either the cceptnce power of λ-nondeterministic liner utomt. In this work we introduce the deterministic version of this utomt, clled deterministic liner utomt, dl in short, nd compre the clss of lnguges ccepted by dl s with the clss DL introduced by de l Higuer nd Oncin in [16] nd with the clss of liner lnguges nd deterministic context-free lnguges. We lso provide chrcteriztion of the nl which re equivlent to some dl. In this pper we lso determine n infinite hierrchy of clsses of forml lnguges which re mong the clss of lnguges ccepted by dl s nd the clss of liner lnguges. Finlly, we show how the clss of even liner lnguges, introduced originlly by Amr nd Putzolu in [1], cn be cptured in the nondeterministic liner utomt model. 2 Liner grmmrs As usul forml grmmr G is tuple V, T, S, P where V is finite set of vribles, T is set of terminl symbols nd therefore V T =, S V is the strt vrible nd P (V T ) + (V T ) is the set of productions. Ordered pirs (x, y) P re denoted by

3 x y. A grmmr G = V, T, S, P is liner, if ech production in P hs vrible in its left side nd hs t most one vrible in its right side, without restriction in the position of this vrible. A vrible A V will be clled left liner if in ech production A y P, either y T or y = Bz for some z T nd B V. Anlogously, vrible A will be clled right liner if in ech production A y P either y T or y = zb for some z T nd B V. A liner grmmr G is in liner norml form, in short lnf, if ech vrible A V is left or right liner. Thus vrible A in liner grmmr is both left nd right liner, just when ech production hving A in the left side hs t the right side either string of terminl symbols (including the empty string) or single vrible. Notice tht our liner norml form is subtly different from the usul liner norml form (e.g. see [14, 24, 32]) where it is tolerted two productions with the sme vrible in the left side, but with its right side contining vrible in the leftmost nd rightmost positions, respectively. Exmple 1 The grmmr G = {S}, {, b}, S, P where P is given by S Sb Sbb Sbbb b bb bbb is liner but it is not in the lnf. On the other hnd, the grmmr G = {S}, {, b}, S, P where P is given by S A A A b bb bbb is in the lnf. A Sb Sbb Sbbb As usul, for ech u, v, w (V T ) nd A V, uaw uvw if there is production A v P. Let be the reflexive nd trnsitive closure of. The lnguge generted by liner grmmr G is In Exmple 1, L(G) = {w T : S w} L(G) = { m b n : 1 m n 3m} (1) Lnguges generted by liner grmmrs re clled liner lnguges. Lemm 1 [6] Let G be liner grmmr. Then there exists liner grmmr G in the lnf such tht L(G) = L(G ). Exmple 2 The lnf of G in Exmple 1 obtined following the lgorithm given in the proof of Lemm 1 given in [6, Lemm 2.1] is the grmmr G = {S, A}, {, b}, S, P, where P is given by S A b bb bbb A Sb Sbb Sbbb A liner grmmr G is in strong liner norml form, in short slnf, if it is in lnf nd the right side of ech production is of the form A or A where T {λ} nd A V {λ}. Proposition 2 [6] Let G be liner grmmr. Then there exists liner grmmr Ĝ in slnf such tht L(G) = L(Ĝ).

4 Exmple 3 The slnf of G in Exmple 2 obtined following the lgorithm given in the proof of Proposition 2 given in [6, Prop. 2.1.] is the grmmr Ĝ = {S, A, B, C, D, E, F }, {, b}, S, P where P is given by S A D A Sb Bb B Sb Cb C Sb D b be E b bf F b 2.1 Deterministic Liner Grmmrs A grmmr G = V, T, S, P is deterministic liner grmmr if ech production in P hs the form A Bu or A λ nd for every T, A, B, C V nd u, v T, if A Bu, A Cv P then B = C nd u = v. Lemm 3 Let G be deterministic liner grmmr. Then there exists deterministic liner grmmr G in the lnf such tht L(G) = L(G ). Proof: For ech A V nd T let A = {A Bv P : for some B V nd v T + }. If A then substitute in P ech production A Bv by the productions A C nd C Bv, where C is new vrible nd dd C to V. At this moment ech production hs the form A B, A Bu or A u for some T, u T nd A, B V. If A V is neither right liner nor left liner vrible, then substitute ech production A Bv P by the productions A C nd C Bv, where C is new vrible nd dd C to V. The resulting grmmr clerly is deterministic, is in lnf nd is equivlent with the originl. Proposition 4 Let G be deterministic liner grmmr. Then there exists deterministic liner grmmr Ĝ in slnf such tht L(G) = L(Ĝ). Proof: Let G be deterministic liner grmmr. By the Lemm 3, we cn suppose without loss of generlity tht G is in the lnf. Now, pply the next lgorithm: While exists A V nd T such tht A = {A y P : y 2 or y T } =, chnge ech A y A by the productions A B nd B y, where B is new nd dd B to V. Ltely, in nlogous wy, while there re A V nd T such tht A = {A y P : y 2 or y T }, chnge ech A y A by the productions A B nd B y, where B is new nd dd B to V. The result is deterministic liner grmmr in slnf equivlent with G. Exmple 4 Let G = {S, A}, {, b}, S, P the determinitic liner grmmr where P is given by S bbs Ab A Abb λ In this cse L(G) = {bm b : m is even nd n is odd}. Their lnf following the lghorithm in the Lemm 3 is the deterministic liner grmmr G = {S, A, B, C, D, E}, {, b}, S, P where P is given by S bb C A D λ B bs C Ab D E E Abb

5 Now pplying the lgorithm in Proposition 4 we obtin the deterministic liner grmmr Ĝ = {S, A, B, C, D, E, F }, {, b}, S, P where P is P by substitute the production E Abb for E F b nd F Ab. Thus, clerly, Ĝ is in slnf. 3 λ-nondeterministic liner utomt A λ-nondeterministic liner utomt, λ-nl in short, consist of two disjoint finite sets of sttes (Q L nd Q R ) some of which will be considered s ccepting sttes, n input tpe which is divided into cells nd it is not limited t the right, ech cell cn hold symbol from finite input lphbet, two red heds nd control unit which mnges the behvior of the λ-nl in ccordnce with the current configurtion. The execution of λ-nl strts with string in the input tpe, with the left red hed pointing to leftmost symbol, the right red hed pointing to the rightmost symbol nd the current stte being stte of specil set of sttes of Q L Q R clled set of strt sttes 1. A computtion step in λ-nl is mde s follows: the control unit, depending on the clss which is belonged the current stte, uses the left or the right red hed to scn symbol from the tpe, moves the left red hed one cell to the right if the current stte is in Q L or moves the right red hed one cell to the left if the current stte is in Q R, nd by mking nondeterministic choice, it chnges the stte choosing it from set of possible sttes. The control unit of λ-nl lso llows chnging of stte without moving the red heds, i.e. without reding n input symbol. The computtion hlts when red hed psses over the other red hed or when there is no choice of possible ctions. A string is only ccepted when one red hed psses over the other red hed nd the current stte is n ccepting stte. Figure 1 illustrtes schemtic representtion of λ-nl. Figure 1: Schemtic representtion of λ-nondeterministic liner utomt. Formlly, λ-nl is sextuple M = Q L, Q R, Σ, δ, I, F where Q L nd Q R re disjoint nd finite sets of sttes, Σ is finite set of input symbols (the lphbet), I Q L Q R is the set of strt sttes, F Q L Q R is the set of finl or ccepting sttes nd δ : (Q L Q R ) (Σ {λ}) P(Q L Q R ). Anlogously to finite utomt, ech λ-nl hs ssocited to itself directed grph, clled trnsition digrm. In order to distinguish the sttes in Q L from the sttes in Q R we use circles nd squres to represent them. Notice tht, if M is λ-nl with Q R = (or Q L =), then L(M) is regulr lnguge. In fct, in this cse, M = Q L, Σ, I, δ, F is λ-nondeterministic finite utomton (with set 1 The use of set of strt sttes, lthough not being usul, hd been used in severl models of utomt. For exmple, [10, Def.4.1] nd [22, pge 32] in non-deterministic finite utomt nd [11, pge 89], [14, pge 52] in trnsition systems.

6 b strt q 0 P1 P 2 q 1 λ b b b P 3 q 2 q 3 P 4 b Figure 2: Trnsition digrm of λ-nondeterministic liner utomt. of strt sttes) such tht L(M ) = L(M) nd whose trnsition digrm is exctly the sme s the trnsition digrm for M. Thus, λ-nl is nturl extension of λ-nondeterministic finite utomt. Exmple 5 Figure 2 illustrtes the λ-nl M = Q L, Q R, Σ, δ, {q 0 }, F where Q L = {q 0, q 1, q 2, q 3 } Q R = {p 1, p 2, p 3, p 4 } Σ = {, b} F = {p 1, q 2 } δ(q 0, ) = {q 0, p 1 }, δ(q 0, λ) = {p 3 }, δ(p 1, ) = {p 2 }, δ(p 2, ) = {q 1 }, δ(q 1, b) = {p 1 }, δ(p 3, b) = {p 3, q 2 }, δ(q 2, b) = {q 3 }, δ(q 3 ), b) = {p 4 }, δ(p 4, ) = {q 2 } nd empty for the remin (i.e. δ(q 0, b) =, δ(p 1, b) =, etc.). An instntneous description (ID) of λ-nl must record the current stte, the string remining to red nd which red hed is ctive. Thus n ID is pir (q, w) in (Q L Q R ) Σ mening tht it remins to red the string w, the current stte is q nd the red hed which is ctive is the left when q Q L nd is the right when q Q R. The symbol M denotes vlid move from n ID to nother ID in λ-nl M. When the subscript M is cler we omit it. Thus, for ech q Q L, q Q L Q R, p Q R, w Σ nd Σ {λ} (q, w) (q, w) is possible if nd only if q δ(q, ) nd (p, w) (q, w) is possible if nd only q δ(p, ) We use for the reflexive nd trnsitive closure of, i.e. represents moves involving n rbitrry number of steps. Thus, in Exmple 5, we hve tht (q 0, bb) (p 1, b), becuse (q 0, bb) (p 1, bb, ) (p 2, bb) (q 1, bb) (p 1, b) The lnguge ccepted by λ-nl M is the set L(M) = {w Σ : (q 0, w) (q f, λ) for some q 0 I nd q f F } For the cse of λ-nl M in Exmple 5, L(M) = { m b n 2n : m 1 nd n 0} { k b 2m m b n : k, m 0 nd n 1}.

7 Notice tht, the hlting mechnism of the nl, despite not being explicit in its mthemticl formultion, cn be formlized by the ID notion s follows: when n ID (q, λ) is chieved through move (e.g. (q, ) (q, λ)), we re in the sitution of red hed psses over the other red hed. 3.1 λ-nl nd liner lnguges First, we will prove tht ech lnguge ccepted by some λ-nl M is liner, i.e. Theorem 5 [6] Let M = Q L, Q R, Σ, δ, I, F be λ-nl. Then there exists liner grmmr G such tht L(M) = L(G). Conversely, ech lnguge generted by liner grmmr G is ccepted by some λ-nl. Theorem 6 [6] Let G = V, T, S, P be liner grmmr. Then there exists λ-nl M such tht L(M) = L(G). The lgorithms in the proofs (which cn be found in [6]) of Theorems 5 nd 6 re dul, in the sense tht pplying one nd then the next, we obtin the sme object. Obviously, for tht in cse of Theorem 6, the grmmr must be in the slnf. 3.2 λ-moves re not necessry A λ-nl without λ-trnsitions is clled nondeterministic liner utomton, in short nl. The λ-moves in the usul clsses of utomt re not essentil for the model. Thus, for exmple, λ-moves do not increse computtionl power cceptnce of finite utomt (see, for exmple, [18]), of pushdown utomt (see, for exmple, [14]) nd of Turing mchines (by Church-thesis). So it is resonble to hope tht nl nd λ-nl hve the sme cceptnce power. Nevertheless, when λ-trnsition in λ-nl hppens between two sttes of different type, it is not obvious how we cn eliminte it without chnging the lnguge ccepted by the utomton. Theorem 7 [6] Let M = Q L, Q R, Σ, δ, I, F be λ-nl. Then there exists nl M such tht L(M) = L(M ). 4 Deterministic liner utomt There re severl nonequivlent notions for deterministic liner lnguges (see for exmple [16]). The most generl mong those clsses is DL, where lnguge L DL if it cn be generted by deterministic liner grmmr. As proved in [16], DL is proper subset of DCFL Lin, where DCFL is the clss of deterministic context-free lnguges nd Lin is the clss of liner lnguges. On the other hnd, nl is deterministic, dl in short, if for ech Σ nd q (Q L Q R ), δ(q, ) 1. Thus, in dl δ(q, ) = {q } or δ(q, ) =. For tht reson we consider the trnsition function of dl M = Q L, Q R, Σ, δ, I, F s prtil function from (Q L Q R ) Σ into (Q L Q R ). Theorem 8 If L DL then there is dl M such tht L(M) = L. Proof: Let G be deterministic liner grmmr such tht L(G) = L. From Proposition 2 there exists liner grmmr Ĝ = V, T, S, P in slnf such tht L(G) = L(Ĝ). By the construction, if A B nd A C then, B = C, nd if A B nd A C then

8 b q 1 b P 2 strt q 0 P1 q 2 c c P 3 Figure 3: A dl which ccepts lnguge not in DL. B = C. Thus, M = Q L, Q R, T, δ, {S}, F where Q L = {A V : A is right liner vrible}, Q R = {A V : A is left liner vrible}, F = {A : A λ} nd δ(a, ) = B whenever A B or A B in P. Clerly, M is dl such tht L(M) = L. Corollry 9 Let DLin be the clss of lnguges ccepted by some dl. Then DL DLin Proof: Strightforwrd from Theorem 8, DL DLin. On the other hnd, de l Higuer nd Oncin in [16] stte tht the lnguge { n b n : n 1} { n c n : n 1} DL. Nevertheless Figure 3 presents dl which ccepts this lnguge nd therefore DL DLin. In the following proposition we relte the clss DLin with the clss of deterministic context-free lnguges, DCFL in short. Proposition 10 DLin DCFL nd DCFL DLin Proof: The dl in Figure 4 clerly ccepts the lnguge of plindromes over the lphbet {, b}. But, this lnguge is not in DCFL (see [18, 23]). So, DLin DCFL. Conversely, s it is well known, the lnguge L = { m b m n b n : m 1 nd n 1} DCFL Lin nd therefore DCFL DLin Since the plindromes on the lphbet Σ = {, b} is liner lnguge, n immedite consequence of Proposition 10 is the following corollry. Corollry 11 DLin (DCFL Lin) A nturl question tht rises from this corollry is on the existence or not of lnguge in DCFL Lin which is not in DLin. We hve the following conjecture: Conjecture 12 (DCFL Lin) DLin = Cse this conjecture is correct, then we will hve tht (DCFL Lin) DLin. Ech deterministic liner lnguge is liner, but s it will be proved below, the converse does not hold. Proposition 13 Let Lin be the clss of liner lnguges. Then DLin Lin

9 P 1 b strt q 0 P 2 Figure 4: A dl which ccepts the plindromes lnguge. Proof: Let L(3) be the liner lnguge in eqution (1). Suppose tht L(3) DLin. Then, there is dl M such tht L(M) = L(3). Let m b n be string in L(3) nd q 0 I. We hve two cses: In cse q 0 Q L, then first M must red the leftmost in m b n. If δ(q 0, ) Q R then the needs to mtch with one, two or three b s wht clerly requires nondeterministic choice nd therefore is contrdiction. If δ(q 0, ) = q Q L then M must red new nd gin either δ(q, ) Q R in which cse M must red one, two or three b s or δ(q, ) Q L in which cse M must red new, nd so on. But in some moment M should mke mtch between with one, two or three b s. The cse of q 0 Q R is nlogous. Therefore, L(3) Lin DLin. As corollry of Prop. 13, we hve tht there re nl for which there is no equivlent dl, i.e. dl tht ccepts the sme liner lnguge. However, the next theorem provides chrcteriztion of the nl tht re equivlent to some dl, i.e. nl which ccept deterministic liner lnguges. Given nl M N = Q L, Q R, Σ, δ, I, F, define Q s the lest set contining {{q} : q I} nd such tht for ech X Q nd Σ we hve tht δ(q, ) Q. Thus, Q P(Q L Q R ). Theorem 14 Let L Σ be lnguge. Then L DLin iff there exists nl M N = (Q L, Q R, Σ, δ, I, F ) such tht L(M N ) = L nd for ech X Q, X Q L or X Q R. Proof: ( ) If L DLin then there is dl M D = Q L, Q R, Σ, δ D, I, F such tht L(M D ) = L. Let M N = Q L, Q R, Σ, δ, I, F where δ(q, ) = {δ D (q, )}. Clerly, M N is nl such tht L(M N ) = L(M D ) = L nd Q = {{q} : q Q}. Therefore, for ech X Q, X = {q} for some q Q L Q R nd so, trivilly, X Q L or X Q R. ( ) Let M D = Q L, Q R, Σ, δ D, I, F where Q L = {X (W ) : X Q L }, QR = {X (W ) : X Q R }, I = {{q} : q I}, F = {X Q : X F } nd δ D (X, ) = δ(q, ) for ech Σ nd X Q. Clerly, M D is dl. Moreover, if w L(M N ), q X then (q i, w) MN (q f, λ) for some q i I nd q f F. Therefore, if w = 1... n then there re sttes (possibly with repetitions) q (1),..., q (n) Q such tht q (0) = q i, q (n) = q f nd (q (0), 1... n ) MN (q (1), 2... n ) MN... MN (q (n 1), n ) MN (q (n), λ). And in this cse, clerly, we hve tht (q [0], 1... n ) MD (q [1], 2... n ) MD... MD (q [n 1], n ) MD (q [n], λ) when q [j] = {q (j) } for ech j = 0,..., n. Therefore, w L(M D ). 5 A enumerble hierrchy of liner lnguges Pushdown utomt, pd in short, hve similr chrcteristic to liner utomt: their nondeterministic version is more powerful thn their deterministic version. In pd this difference llowed to define severl wys to mesure nondeterminism nd consequently to determine severl hierrchies of clsses of context-free lnguges vrying from DCFL into (in b q X

10 the limit) CFL, the clss of Context-Free Lnguges [4, 15, 33, 36] 2. From tht hierrchy of clsses we cn estblish enumerble hierrchy of clsses of liner lnguges in simple wy. Consider the hierrchy CF L(1), CF L(2),... determined in [4], in this hierrchy CF L(1) = DCFL, CF L(k) CF L(k + 1) for ech k 1 nd lim k CF L(k) = CFL. So, defining LL(k) = CF L(k) Lin we will hve enumerble hierrchy LL(1) LL(2)... such tht, LL(1) = DCFL Lin nd the limit of the hierrchy is the clss of liner lnguges, i.e. lim k LL(k) = Lin. In the following, we will provide enumerble hierrchy for clsses of liner lnguges strting from DLin going, in the limits, to Lin. Definition 15 Let M = Q L, Q R, Σ, δ, I, F be nl. The degree of explicit nondeterminism. of M is the following: Ndeg(M) = δ(q, ) {(q, ) Q Σ : δ(q, ) } q Q L Q R, Σ Let Lin(k) be the clss of liner lnguges which cn be ccepted by nl with degree of explicit nondeterminism. k. Formlly, Lin(k) = {L(M) : M is n nl nd Ndeg(M) = k} Theorem 16 Lin(0) = DLin, Lin(k 1) Lin(k) for ech k N + nd k N Lin(k) = Lin. Proof: Let M be nl. Then L(M) Lin(0) iff Ndeg(M) = 0 iff δ(q, ) 1 iff M is dl iff L(M) DLin. Therefore Lin(0) = DLin. Let M = Q L, Q R, Σ, δ, I, F be nl such tht L(M) Lin(k) nd Q = {q 1, q 2 } set of sttes such tht Q (Q L Q R ) =. Then M = Q L Q, Q R, Σ, δ, I, F where for ech Σ, we hve tht δ (q, ) = δ(q, ) if q Q L Q R, δ (q 0, ) = Q nd δ (q i, ) = for ech i = 1,..., k. Clerly, L(M ) = L(M) nd Ndeg(M ) = Ndeg(M) + 1 = k + 1. Thus, L(M) Lin(k + 1) nd therefore Lin(k) Lin(k + 1). On the other hnd, for ech k N, the lnguge L(k) = { m b n : m n (k + 1)m} is ccepted by the nl of Figure 5 nd clerly in L(k) Lin(k). Moreover, it is evident tht it is not possible to construct nother nl M, for this sme lnguge, with lesser degree of explicit nondeterminism., i.e. such tht Ndeg(M ) < k. Let L be liner lnguge. Then by Theorems 6 nd 7, there is nl M such tht L(M) = L. Let k = Ndeg(M) then L Lin(k) nd therefore, L k N Lin(k). So, Lin(k) = Lin. k N 6 Even liner lnguges The clss of even liner lnguges ws introduced by Amr nd Putzolu in [1]. This clss properly contins the clss of regulr lnguge nd it is properly contined in the clss of liner lnguges. An importnt chrcteristic of this clss of lnguge is tht it llows solution of the lerning problem 3 for some subclsses of even liner lnguges bsed on positive exmples such s the clss of deterministic even liner lnguges [22]. 2 There re other hierrchies vrying from DCFL into CFL, but bsed in other mchine models, e.g. bsed on contrction utomt [34] nd bsed on restrting utomt [19, 27, 28]. 3 The lerning problem for clss of forml lnguges, is the serch of lerning procedures for cquiring grmmrs on the bsis of exposure to evidence bout lnguges in the clss [29].

11 b P 1 strt q 0 q 1 q 2 q k Figure 5: nl which ccept the lnguge L(k) Bsiclly, lnguge is even liner if it is generted by n even liner grmmr, i.e. liner grmmr where ech production of the form A ubv stisfies u = v [22, 35]. As it is well known, ech even liner grmmr hs norml form where ech production hs either the form A ubv or the form A, where u = v = 1 nd Σ {λ} [22]. Let M be nl. M is n even nl if its trnsition digrm is biprtite grph with Q L nd Q R s its prtitions, i.e. if for ech q Q L, p Q R nd Σ, δ(q, ) Q R nd δ(p, ) Q L. For exmple, the dl in Figure 4 is n even nl. Proposition 17 Let G be n even liner grmmr. Then there is n even nl M such tht L(G) = L(M). Proof: Without loss of generlity we cn suppose tht G = V, T, S, P is in the even liner norml form. Let G = V V, T, S, P be the grmmr obtined s follows: Strt with V = P =. For ech production A Bb in P dd new vrible C to V nd the productions A C nd C Bb to P. Finlly, dd to P ech production A in P. Clerly, G is equivlent to G nd it is in slnf. Now, pplying the lgorithm in 6, we will hve n even nl equivlent to G. Conversely, Proposition 18 Let M be n even nl. Then there is n even liner grmmr G such tht L(G) = L(M). Proof: Applying the lgorithm in Theorem 5 to the even nl M, we will obtin liner grmmr G with three kinds of productions: 1. q p, where Σ, q Q L nd p Q R. 2. p q, where Σ, q Q L nd p Q R. 3. q λ, where q Q L Q R. Now, we construct new grmmr G = V, T, S, P from G = V, T, S, P s follow: For ech production q p in P put in P the productions q x for ech p x in P. Anlogously, for ech production p q in P put in P the productions p x for ech q x in P. Clerly, G is in the forml norm for even grmmr nd it is equivlent to G. 7 Finl remrks Since nl is two-red hed model which works two wys, it cnnot be considered s utomt model in the sense of n bstrct fmily of utomt s done by Ginsburg [13].

12 However, nl cn be considered s utomt in the more intuitive nd generl notion, s for exmple, An utomton is device which recognizes or ccepts certin elements of Σ, where Σ is finite lphbet [2] or An utomton is, construct tht possesses ll the indispensble fetures of digitl computer. It ccepts inputs, produces output, my hve some temporry storge, nd cn mke decisions in trnsforming the input into the output [24]. The norml form for liner grmmrs in section 2 is useful to turn esier the proofs in section 3 nd therefore does not intend to be n lterntive to the well known norml form for the liner grmmrs. The contribution of this work ws to provide two subclsses of nl, nmely dl nd even nl, which model the subclsses of deterministic nd even liner lnguges, respectively. In prticulr, there re differents, but not equivlents, proposed for the clss of deterministic liner lnguges nd here we proved tht DLin, i.e. the clss of lnguges ccepted by some dl, contin ll those which re originted by restriction in the liner grmmrs s considered in [16]. In ddition, DLin is not proper subset of DCFL Lin, i.e. the clss of liner lnguges which re lso deterministic context free lnguges. In fct, we conjecture tht DCFL Lin DLin. The dvntge of using the utomt models introduced here (dl nd even nl) is due to their simplicity with respect to other utomt models for these clsses of lnguges nd in the cse of dl, nother dvntge is tht the clss of lnguges modeled by this clss of utomt (which re nturlly deterministic) is broder thn the severl clsses of deterministic liner lnguges proposed in the literture. Other minor contribution ws providing chrcteriztion of nf which ccept lnguges lso ccepted by dl nd method to obtin this dl nd giving n enumerble hierrchy of liner lnguges strting by the clss DLin nd hving s limits the clss of liner lnguges. As future works we cn intend to prove the Conjecture 12, compre the clss DLin with the clsses of left-right determinitic liner lnguges introduced in [8, 9] nd study some closure property of DLin. References [1] V. Amr, G. Putzolu. On Fmily of Liner Grmmrs. Informtion nd Control 7 (1964), [2] J.A. Anderson. Automt Theory with Modern Applictions. Cmbridge university press, [3] J.M. Autebert, J. Berstel, L. Bosson. Context-Free Lnguges nd Pushdown Automt. In: A. Slom, G. Rozenberg (eds.), Hndbook of Forml Lnguges, vol. 1: word, lnguge, grmmr, pges , Springer-Verlg, New York, [4] B.C. Bedregl. Pushdown utomt free of explicit nondeterminism nd n infinite hierrchy of context-free lnguges. Fundment Informtice 81(4) (2007) [5] B.C. Bedregl. λ-aln: Autômtos Lineres Não-Determinísticos com λ-trnsições. In: XXXIII Congresso Ncionl de Mtemátic Aplicd e Computcionl, 2010, Águs de Lindói. São Crlos-SP: SBMAC, vol. 3. p [6] B.C. Bedregl. λ-aln: Autômtos Lineres Não-Determinísticos com λ-trnsições. Tendêncis em Mtemátic Aplicd e Computcionl 12 (2011) [7] B.C. Bedregl, S. Figueir. On the computing power of fuzzy Turing mchines. Fuzzy Sets nd Systems 159(9) (2008)

13 [8] J. Cler-Rubio, J. Oncin. Identifying Left-Right Deterministic Liner Lnguges. In: G. Pliours, Y. Skkibr (eds.), Proc. of the 7th Interntionl Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004, vol of Lecture Notes in Computer Science, pges Springer Verlg, [9] J. Cler-Rubio, J. Oncin. Left/Right Deterministic Liner Lnguges Identifiction. In: F. Pl, P. Rdev nd J. Vitrià (eds.), Pttern Recognition: Progress, Directions nd Applictions, pges Computer Vision Center, Universitt Autnom de Brcelon, [10] J. Crroll, D. Long. Theory of Finite Automton With n Introduction to Forml Lnguges. Prentice-Hll, Englewood Clis, New Jersey, [11] D.I.A. Cohen. Introduction to Computer Theory. 2nd edition. John Wiley & Sons, Inc, New York, [12] S. Ginsburg, E.H. Spnier. Finite-turn pushdown utomt. SIAM Journl on Computing 4 (1966), [13] S. Ginsburg. Algebric nd Automt-Theoretic Properties of Forml Lnguges. North- Hollnd, Amsterdm, [14] M.A. Hrrison. Introduction to Forml Lnguge Theory, Addison-Wesley, Reding, MA, [15] C. Herzog. Pushdown utomt with bounded nondeterminism nd bounded mbiguity. Theoreticl Computer Science 181 (1997), [16] C. de l Higuer, J. Oncin. Inferring Deterministic Liner Lnguges. In: J. Kivinen, R.H. Slon (eds.), Proc. of the 15 th Annul Conference on Computtionl Lerning Theory (COLT ), vol of Lecture Notes in Computer Science, pges Springer Verlg, 2002,. [17] H.J. Hoogeboom, J. Engelfriet. Pushdown Automt. In: Forml Lnguges nd Applictions, C. Mrtin-Vide, V. Mitrn, G. Pun (eds.). Springer, Berlim, [18] J.E. Hopcroft, J.D. Ullmn. Introduction to Automt Theory, Lnguges nd Computtion, Addison-Wesley, Reding, MA, [19] P. Jncr, F. Mráz, M. Plátek, J. Vogel. Restrting Automt. In: H. Reichel (ed.), Proc. of the 10 th Conference on Fundmentls of Computtion Theory (FCT ), vol. 965 of Lecture Notes in Computer Science, pges Springer Verlg, [20] P. Jncr, F. Mráz, M. Plátek, J. Vogel. On Monotonic Automt with Restrt Opertion. Journl of Automt, Lnguges nd Combintorics 4 (1999), [21] T. Jurdzinski, F. Mráz, F. Otto, M. Plátek. Degrees of non-monoticity for restrting utomt. Theoreticl Computer Science 369 (2006), [22] T. Koshib, E. Mäkinen, Y. Tkd. Lerning deterministic even liner lnguges from positive exmples. Theoreticl Computer Science 185 (1997), [23] M. Li, P.M.B. Vitnyi. A new pproch to forml lnguge theory by Kolmogorov complexity, SIAM J. Comput. 24 (1995), [24] P. Linz. An Introduction to Forml Lnguge nd Automt. Jones nd Brtlett Publisher, 2001.

14 [25] E. Mäkinen. A Note on the Grmmticl Inference Problem for Even Liner Lnguges. Fundment Informtice 25 (1996), [26] E. Mäkinen. Inferring Finite Trnsducer. Journl of the Brzilin Computtionl Society 9 (2003), 5 8. [27] F. Mráz. Lookhed Hierrchies of Restrting Automt. Journl of Automt, Lnguges nd Combintorics 6 (2001), [28] F. Otto. Restrting Automt nd their Reltions to the Chomsky Hierrchy. In: Z. Ézik, Z. Fülöp (eds.), Proc. of the 7 th Interntionl Conference on Development in Lnguge Theory (DLT ), vol of Lecture Notes in Computer Science pges Springer Verlg, [29] G.K. Pullum. Lernbility. In: Willim J. Frwley (ed.), The Oxford Interntionl Encyclopedi of Linguistics, second edition, pges Oxford University Press, [30] A.L. Rosenberg. A Mchine Reliztion of the Liner Context-Free Lnguges. Informtion nd Control 10 (1967), [31] M. Sers, D. Wu. Liner Trnsduction Grmmrs nd Zipper Finite-Stte Trnsducers. In: Proceedings of Recent Advnces in Nturl Lnguge Processing, pges , Hissr, Bulgri, September [32] A. Slom. Forml Lnguges. Acdemic Press, [33] K. Slom, S. Yu. Mesures of nondeterminism for pushdown utomt, Journl of Computer nd System Sciences 49 (1994), [34] S.H. von Solms. The chrcteriztion by utomt of certin clsses of lnguges in the context sensitive re. Informtion nd Control 27 (1975), [35] Y. Tkd. Grmmticl Inference of Even Liner Lnguges bsed on Control Sets. Informtion Processing Letter 28 (1988), [36] D. Vermeir, W.J. Svitch. On the mount of nondeterminism in pushdown utomt, Fundment Informtice 4 (1981),