EFFICIENT DETECTORS AND CONSTRUCTORS FOR SIMPLE LANGUAGES

1991 ◽  
Vol 02 (03) ◽  
pp. 183-205 ◽  
Author(s):  
Dung T. Huynh
Keyword(s):  
Finite Automata ◽  
Boolean Circuits ◽  
Turing Machines ◽  
Constant Depth ◽  
Pushdown Automaton ◽  
Polynomial Size ◽  
Regular Sets ◽  
Context Free ◽  
Pushdown Automata ◽  
Nondeterministic Logspace

In this paper, we investigate the complexity of computing the detector, constructor and lexicographic constructor functions for a given language. The following classes of languages will be considered: (1) context-free languages, (2) regular sets, (3) languages accepted by one-way nondeterministic auxiliary pushdown automata, (4) languages accepted by one-way nondeterministic logspace-bounded Turing machines, (5) two-way deterministic pushdown automaton languages, (6) languages accepted by uniform families of constant-depth polynomial-size Boolean circuits, and (7) languages accepted by multihead finite automata. We show that for the classes (1)–(4), efficient detectors, constructors and lexicographic constructors exist, whereas for (5)– (7) polynomial-time computable detectors, constructors and lexicographic constructors exist iff there are no sparse sets in NP−P (or equivalently, E=NE). Our results provide sharp boundaries between classes of languages which have efficient detectors, constructors and classes of languages for which efficient detectors and constructors do not appear to exist.

scholarly journals DETERMINISTIC PUSHDOWN AUTOMATA AND UNARY LANGUAGES

2009 ◽  
Vol 20 (04) ◽  
pp. 629-645 ◽  
Author(s):  
GIOVANNI PIGHIZZINI
Keyword(s):  
Finite Automata ◽  
Point Of View ◽  
Deterministic Finite Automaton ◽  
Pushdown Automaton ◽  
Nondeterministic Automaton ◽  
Letter Alphabet ◽  
Finite State ◽  
Unary Languages ◽  
Context Free ◽  
Pushdown Automata

The simulation of deterministic pushdown automata defined over a one-letter alphabet by finite state automata is investigated from a descriptional complexity point of view. We show that each unary deterministic pushdown automaton of size s can be simulated by a deterministic finite automaton with a number of states that is exponential in s. We prove that this simulation is tight. Furthermore, its cost cannot be reduced even if it is performed by a two-way nondeterministic automaton. We also prove that there are unary languages for which deterministic pushdown automata cannot be exponentially more succinct than finite automata. In order to state this result, we investigate the conversion of deterministic pushdown automata into context-free grammars. We prove that in the unary case the number of variables in the resulting grammar is strictly smaller than the number of variables needed in the case of nonunary alphabets.

Non-Self-Embedding Grammars, Constant-Height Pushdown Automata, and Limited Automata

2020 ◽  
pp. 1-25
Author(s):  
Bruno Guillon ◽  
Giovanni Pighizzini ◽  
Luca Prigioniero
Keyword(s):  
Finite Automata ◽  
Regular Languages ◽  
Deterministic Finite Automata ◽  
Polynomial Size ◽  
Constant Height ◽  
Double Exponential ◽  
Recursive Structures ◽  
Deterministic Formula ◽  
Context Free ◽  
Pushdown Automata

Non-self-embedding grammars are a restriction of context-free grammars which does not allow to describe recursive structures and, hence, which characterizes only the class of regular languages. A double exponential gap in size from non-self-embedding grammars to deterministic finite automata is known. The same size gap is also known from constant-height pushdown automata and [Formula: see text]-limited automata to deterministic finite automata. Constant-height pushdown automata and [Formula: see text]-limited automata are compared with non-self-embedding grammars. It is proved that non-self-embedding grammars and constant-height pushdown automata are polynomially related in size. Furthermore, a polynomial size simulation by [Formula: see text]-limited automata is presented. However, the converse transformation is proved to cost exponential. Finally, a different simulation shows that also the conversion of deterministic constant-height pushdown automata into deterministic [Formula: see text]-limited automata costs polynomial.

scholarly journals Subtree matching by pushdown automata

2010 ◽  
Vol 7 (2) ◽  
pp. 331-357 ◽  
Author(s):  
Tomás Flouri ◽  
Jan Janousek ◽  
Bořivoj Melichar
Keyword(s):  
Programming Languages ◽  
Theorem Proving ◽  
Systematic Approach ◽  
Finite Automata ◽  
Term Rewriting ◽  
Mechanical Theorem Proving ◽  
Pushdown Automaton ◽  
String Pattern ◽  
Pushdown Automata ◽  
Mechanical Theorem

Subtree matching is an important problem in Computer Science on which a number of tasks, such as mechanical theorem proving, term-rewriting, symbolic computation and nonprocedural programming languages are based on. A systematic approach to the construction of subtree pattern matchers by deterministic pushdown automata, which read subject trees in prefix and postfix notation, is presented. The method is analogous to the construction of string pattern matchers: for a given pattern, a nondeterministic pushdown automaton is created and is then determinised. In addition, it is shown that the size of the resulting deterministic pushdown automata directly corresponds to the size of the existing string pattern matchers based on finite automata.

LIMITED AUTOMATA AND REGULAR LANGUAGES

2014 ◽  
Vol 25 (07) ◽  
pp. 897-916 ◽  
Author(s):  
GIOVANNI PIGHIZZINI ◽  
ANDREA PISONI
Keyword(s):  
Finite Automata ◽  
Upper And Lower Bounds ◽  
Finite State Automata ◽  
Turing Machines ◽  
Double Exponential ◽  
Finite State ◽  
A Cell ◽  
Fixed Constant ◽  
The One ◽  
Context Free

Limited automata are one-tape Turing machines that are allowed to rewrite the content of any tape cell only in the first d visits, for a fixed constant d. In the case d = 1, namely, when a rewriting is possible only during the first visit to a cell, these models have the same power of finite state automata. We prove state upper and lower bounds for the conversion of 1-limited automata into finite state automata. In particular, we prove a double exponential state gap between nondeterministic 1-limited automata and one-way deterministic finite automata. The gap reduces to a single exponential in the case of deterministic 1-limited automata. This also implies an exponential state gap between nondeterministic and deterministic 1-limited automata. Another consequence is that 1-limited automata can have less states than equivalent two-way nondeterministic finite automata. We show that this is true even if we restrict to the case of the one-letter input alphabet. For each d ≥ 2, d-limited automata are known to characterize the class of context-free languages. Using the Chomsky-Schützenberger representation for contextfree languages, we present a new conversion from context-free languages into 2-limited automata.

CLOSURE PROPERTY OF SPACE-BOUNDED TWO-DIMENSIONAL ALTERNATING TURING MACHINES, PUSHDOWN AUTOMATA, AND COUNTER AUTOMATA

2001 ◽  
Vol 15 (07) ◽  
pp. 1143-1165 ◽  
Author(s):  
TOKIO OKAZAKI ◽  
KATSUSHI INOUE ◽  
AKIRA ITO ◽  
YUE WANG
Keyword(s):  
Turing Machine ◽  
Nondecreasing Function ◽  
Closure Property ◽  
Two Dimensional ◽  
Turing Machines ◽  
Pushdown Automaton ◽  
Alternating Turing Machines ◽  
Positive Integers ◽  
Pushdown Automata

This paper investigates closure property of the classes of sets accepted by space-bounded two-dimensional alternating Turing machines (2-atm's) and space-bounded two-dimensional alternating pushdown automata (2-apda's), and space-bounded two-dimensional alternating counter automata (2-aca's). Let L(m, n): N2 → N (N denotes the set of all positive integers) be a function with two variables m (= the number of rows of input tapes) and n (= the number of columns of input tapes). We show that (i) for any function f(m) = o( log m) (resp. f(m) = o( log m/ log log m)) and any monotonic nondecreasing function g(n) space-constructible by a two-dimensional Turing machine (2-Tm) (resp. two-dimensional pushdown automaton (2-pda)), the class of sets accepted by L(m,n) space-bounded 2-atm's (2-apda's) is not closed under row catenation, row + or projection, and (ii) for any function f(m) = o(m/ log ) (resp. for any function f(m) such that log f(m) = o( log m)) and any monotonic nondecreasing function g(n) space-constructible by a two-dimensional counter automaton (2-ca), the class of sets accepted by L(m, n) space-bounded 2-aca's is not closed under row catenation, row + or projection, where L(m, n) = f(m) + g(n) (resp. L(m, n) = f(m) × g(n)).

Constant Depth Prefix Circuits With Unbounded Fan-In

1994 ◽  
Author(s):  
S. Lakshmivarahan ◽  
Sudarshan K. Dhall
Keyword(s):  
Special Class ◽  
Data Access ◽  
Regular Expressions ◽  
Constant Depth ◽  
Polynomial Size ◽  
Finite State ◽  
Parallel Prefix ◽  
Free Semigroups ◽  
Regular Sets ◽  
Prefix Circuits

It is well known that among the three classes of the PRAM models, namely, CRCW, CREW, and EREW, the CRCW models are the weakest, in the sense that, they permit concurrent read/write by processors. Accordingly, algorithms on the CRCW model mainly concentrate on the core computations without much ado about data access. Consequently, this model, at least in principle, allows for the design of the fastest algorithm for a problem. It is intriguing to ask how fast prefixes can be computed on the CRCW models. Since CRCW models are equivalent to the unbounded fan-in circuits (refer to Chapter 2), the task of developing the fastest algorithms for the prefix problems is pursued in the context of the unbounded fan-in circuits. Recall from Chapter 2, that while the standard measures, such as, size and depth are still used to quantify the goodness of unbounded fanin circuits, the size of the circuit is measured by the total number of edges incident on all of its operation nodes, instead of by the number of operations nodes. It turns out that the size and depth of unbounded fanin circuits for computing prefixes, depends critically on the structure of the underlying semigroup from which the input elements are drawn. The principal result of this concluding Chapter may be stated as follows: There exists unbounded fan-in parallel prefix circuits of constant depth and polynomial size if, and only if, the underlying semigroup is group free. The proof of this result involves a very clever synthesis of a number of ideas drawn from different directions — structure of group free semigroups, their relations to a special class of regular sets, called non-counting regular sets, the relation of this latter class of regular sets to yet another class of regular sets defined by star-free regular expressions, and the design of a special class of finite state deterministic automata called RS machines that accept star-free regular expressions. In this context, it is convenient to define the notion of small circuits as the class of circuits with constant depth and polynomial size.

Boosting Reversible Pushdown and Queue Machines by Preprocessing

2020 ◽  
pp. 1-29
Author(s):  
Holger Bock Axelsen ◽  
Martin Kutrib ◽  
Andreas Malcher ◽  
Matthias Wendlandt
Keyword(s):  
Real Time ◽  
Finite Automata ◽  
Point Of View ◽  
Regular Languages ◽  
Theoretical Point ◽  
Computational Power ◽  
Finite State ◽  
Finite State Transducer ◽  
Context Free ◽  
Pushdown Automata

It is well known that reversible finite automata do not accept all regular languages, that reversible pushdown automata do not accept all deterministic context-free languages, and that reversible queue automata are less powerful than deterministic real-time queue automata. It is of significant interest from both a practical and theoretical point of view to close these gaps. We here extend these reversible models by a preprocessing unit which is basically a reversible injective and length-preserving finite state transducer. It turns out that preprocessing the input using such weak devices increases the computational power of reversible deterministic finite automata to the acceptance of all regular languages, whereas for reversible pushdown automata the accepted family of languages lies strictly in between the reversible deterministic context-free languages and the real-time deterministic context-free languages. For reversible queue automata the preprocessing of the input leads to machines that are stronger than real-time reversible queue automata, but less powerful than real-time deterministic (irreversible) queue automata. Moreover, it is shown that the computational power of all three types of machines is not changed by allowing the preprocessing finite state transducer to work irreversibly. Finally, we examine the closure properties of the family of languages accepted by such machines.

scholarly journals On the Density of Context-Free and Counter Languages

2018 ◽  
Vol 29 (02) ◽  
pp. 233-250 ◽  
Author(s):  
Joey Eremondi ◽  
Oscar H. Ibarra ◽  
Ian McQuillan
Keyword(s):  
Pushdown Automaton ◽  
Standard Notion ◽  
Context Free ◽  
The Universe ◽  
Pushdown Automata

A language [Formula: see text] is said to be dense if every word in the universe is an infix of some word in [Formula: see text]. This notion has been generalized from the infix operation to arbitrary word operations [Formula: see text] in place of the infix operation ([Formula: see text]-dense, with infix-dense being the standard notion of dense). It is shown here that it is decidable, for a language [Formula: see text] accepted by a one-way nondeterministic reversal-bounded pushdown automaton, whether [Formula: see text] is infix-dense. However, it becomes undecidable for both deterministic pushdown automata (with no reversal-bound), and for nondeterministic one-counter automata. When examining suffix-density, it is undecidable for more restricted families such as deterministic one-counter automata that make three reversals on the counter, but it is decidable with less reversals. Other decidability results are also presented on dense languages, and contrasted with a marked version called [Formula: see text]-marked-density. Also, new languages are demonstrated to be outside various deterministic language families after applying different deletion operations from smaller families. Lastly, bounded-dense languages are defined and examined.

scholarly journals Succinctness of Descriptions of Context-Free, Regular, and Finite Languages

1978 ◽  
Vol 7 (84) ◽  
Author(s):  
Erik Meineche Schmidt
Keyword(s):  
Complexity Theory ◽  
Finite Automata ◽  
Regular Expressions ◽  
Exponential Time ◽  
Double Exponential ◽  
Context Free ◽  
Pushdown Automata

<p>This thesis analyzes the descriptional power of finite automata, regular expressions, pushdown automata, and certain generalized models of macro grammars. For finite automata and pushdown automata the emphasis is on ambiguity. It is shown that ambiguous nondeterminism allows more succinct definitions than unambiguous nondeterminism which in turn allows more succinct definitions than determinism. The succinctness gain is nonrecursive for pda's and nonpolynomial for finite automata.</p><p>The succinctness of regular expressions and macro grammars is measured in terms of complexity theory. It is shown that the inequivalence problem for Ol macro grammars generating finite languages is hard for nondeterministic double exponential time, and that the ''nonemptiness of complement'' problem for unambiguous regular expressions is in NP. This implies that unambiguous regular expressions are ''easier'' than general regular expressions (unless NP is equal to PSPACE).</p>

scholarly journals Finite Automata with Generalized Acceptance Criteria

2001 ◽  
Vol Vol. 4 no. 2 ◽  
Author(s):  
Timo Peichl ◽  
Heribert Vollmer
Keyword(s):  
Finite Automata ◽  
Complexity Class ◽  
Input Word ◽  
Boolean Circuits ◽  
Turing Machines ◽  
Acceptance Criteria ◽  
Chomsky Hierarchy ◽  
Computation Tree ◽  
International Audience ◽  
Bounded Complexity

International audience We examine the power of nondeterministic finite automata with acceptance of an input word defined by a leaf language, i.e., a condition on the sequence of leaves in the automaton's computation tree. We study leaf languages either taken from one of the classes of the Chomsky hierarchy, or taken from a time- or space-bounded complexity class. We contrast the obtained results with those known for leaf languages for Turing machines and Boolean circuits.

Sign in / Sign up

Export Citation Format

Share Document