On the equivalence of linear conjunctive grammars and trellis automata

@article{Okhotin2004OnTE,
  title={On the equivalence of linear conjunctive grammars and trellis automata},
  author={Alexander Okhotin},
  journal={RAIRO Theor. Informatics Appl.},
  year={2004},
  volume={38},
  pages={69-88}
}
  • A. Okhotin
  • Published 2004
  • Computer Science
  • RAIRO Theor. Informatics Appl.
This paper establishes computational equivalence of two seemingly unrelated concepts: linear conjunctive grammars and trellis automata. Trellis automata, also studied under the name of one-way real-time cellular automata, have been known since early 1980s as a purely abstract model of parallel computers, while linear conjunctive grammars, introduced a few years ago, are linear context-free grammars extended with an explicit intersection operation. Their equivalence implies the equivalence of… 

Figures and Tables from this paper

Comparing Linear Conjunctive Languages to Subfamilies of the Context-Free Languages
TLDR
This paper investigates subclasses of the context-free languages for possible containment in this class and shows that every visibly pushdown automaton can be simulated by a one-way real-time cellular automaton, but already for LL(1) context- free languages and for one-counter DPDAs no simulation is possible.
Input-driven languages are linear conjunctive
  • A. Okhotin
  • Computer Science, Linguistics
    Theor. Comput. Sci.
  • 2016
Boolean Grammars
  • A. Okhotin
  • Computer Science
    Developments in Language Theory
  • 2003
TLDR
A new class of formal grammars, which allow the use of all set-theoretic operations as an integral part of the formalism of rules, are introduced, which allows to conjecture the practical applicability of the new concept.
Conjunctive Grammars over a Unary Alphabet: Undecidability and Unbounded Growth
TLDR
The results imply undecidability of a number of decision problems of unary conjunctive grammars, as well as non-existence of a recursive function bounding the growth rate of the generated languages.
On the number of nonterminals in linear conjunctive grammars
Underlying Principles and Recurring Ideas of Formal Grammars
TLDR
The paper investigates some of the fundamental ideas of the context-free grammar theory, as they are applied to several extensions and subclasses of context- Free Grammar, including multi-component grammars, tree-adjoining grammARS, conjunctivegrammars and Boolean Grammars.
Linear Conjunctive Grammars and One-turn Synchronized Alternating Pushdown Automata
TLDR
A subfamily of synchronized alternating pushdown automata is introduced, one-turn synchronized alternating Pushdown Automata, which accept the same class of languages as those generated by linear conjunctive grammars, thus strengthening the claim of synchronised alternating push down automata as a natural counterpart of conj unctive Grammars.
On Computational Universality in Language Equations
TLDR
It is shown that resolved systems with two variables and two equations are as expressive as more complicated systems, while one-variable equations are “almost” as expressive.
Conjunctive Grammars, Cellular Automata and Logic
TLDR
This work expresses the rules of a conjunctive grammar in two Horn logics, which exactly characterize the complexity classes RealTime1CA and RealTime2OCA, which are both real-time one-dimensional one-way cellular automata.
...
...

References

SHOWING 1-10 OF 18 REFERENCES
Conjunctive Grammars
  • A. Okhotin
  • Computer Science
    J. Autom. Lang. Comb.
  • 2001
TLDR
It is proved that conjunctive grammars can still be parsed in cubic time and that the notion of the derivation tree is retained, which gives reasonable hope for their practical applicability.
Whale calf, a parser generator for conjunctive grammars
Whale Calf is a parser generator that uses conjunctive grammars, a generalization of context-free grammars with an explicit intersection operation, as the formalism of specifying the language. All
Conjunctive Grammars and Systems of Language Equations
  • A. Okhotin
  • Computer Science
    Programming and Computer Software
  • 2004
TLDR
Every system of this kind of language equations that are resolved with respect to variables and contain the operations of concatenation, union and intersection is proved to have a least fixed point, and the equivalence of these systems to conjunctive grammars is established.
Systolic Trellis Automata: Stability, Decidability and Complexity
Cellular Automata and Formal Languages
TLDR
Many positive results are presented to indicate that the context-free languages can, perhaps, be accepted in time n and space n by cellular automata.
Context-Free Languages and Pushdown Automata
TLDR
This chapter is devoted to context-free languages, which were designed initially to formalize grammatical properties of natural languages and grammars and appeared to be well adapted to the formal description of the syntax of programming languages.
Sequential Machine Characterizations of Trellis and Cellular Automata and Applications
TLDR
It is shown that a new speed-up theorem is proved which is stronger than what has previously been shown and presented, for the first time, sequential machine characterizations of TA’s (CA”s).
Characterizations and Computational Complexity of Systolic Trellis Automata
On real-time cellular automata and trellis automata
SummaryIt is shown that f(n)-time one-way cellular automata are equivalent to f(n)-time trellis automata, the real-time one-way cellular automata languages are closed under reversal, the 2n-time
...
...