15,240 research outputs found
A Characterization of ET0L and EDT0L Languages
There exists a PT0L language such that the following holds. A language is an ET0L language if and only if there exists a mapping induced by an a-NGSM (nondeterministic generalized sequential machine with accepting states) such that . There exists an infinite collection of EPDT0L languages () such that the family EDT0L is characterized in the following way. A language is an EDT0L language if and only if there exists , a homomorphism and a regular language such that .\u
On the Hierarchy of Block Deterministic Languages
A regular language is -lookahead deterministic (resp. -block
deterministic) if it is specified by a -lookahead deterministic (resp.
-block deterministic) regular expression. These two subclasses of regular
languages have been respectively introduced by Han and Wood (-lookahead
determinism) and by Giammarresi et al. (-block determinism) as a possible
extension of one-unambiguous languages defined and characterized by
Br\"uggemann-Klein and Wood. In this paper, we study the hierarchy and the
inclusion links of these families. We first show that each -block
deterministic language is the alphabetic image of some one-unambiguous
language. Moreover, we show that the conversion from a minimal DFA of a
-block deterministic regular language to a -block deterministic automaton
not only requires state elimination, and that the proof given by Han and Wood
of a proper hierarchy in -block deterministic languages based on this result
is erroneous. Despite these results, we show by giving a parameterized family
that there is a proper hierarchy in -block deterministic regular languages.
We also prove that there is a proper hierarchy in -lookahead deterministic
regular languages by studying particular properties of unary regular
expressions. Finally, using our valid results, we confirm that the family of
-block deterministic regular languages is strictly included into the one of
-lookahead deterministic regular languages by showing that any -block
deterministic unary language is one-unambiguous
- …