scientific article; zbMATH DE number 1747449
From MaRDI portal
Publication:4531380
zbMATH Open1004.68082MaRDI QIDQ4531380FDOQ4531380
Publication date: 1 December 2002
Title of this publication is not available (Why is that?)
Cited In (74)
- A game-theoretic characterization of Boolean grammars
- On the expressive power of univariate equations over sets of natural numbers
- Parsing Boolean grammars over a one-letter alphabet using online convolution
- Improved normal form for grammars with one-sided contexts
- Two-sided context specifications in formal grammars
- On the number of nonterminals in linear conjunctive grammars
- A simple P-complete problem and its language-theoretic representations
- Well-founded semantics for Boolean grammars
- One-nonterminal conjunctive grammars over a unary alphabet
- The hardest \(\operatorname{LL}(k)\) language
- Expressive power of \(\text{LL}(k)\) Boolean grammars
- Unambiguous Boolean grammars
- Locally stratified Boolean grammars
- Conjunctive grammars with restricted disjunction
- The hardest linear conjunctive language
- Non-closure under complementation for unambiguous linear grammars
- Alternating two-way AC-tree automata
- A recognition and parsing algorithm for arbitrary conjunctive grammars.
- On the equivalence of linear conjunctive grammars and trellis automata
- An extension of context-free grammars with one-sided context specifications
- Hardest languages for conjunctive and Boolean grammars
- On state-alternating context-free grammars
- Expressiveness and complexity of graph logic
- Equations over sets of integers with addition only
- On the closure properties of linear conjunctive languages.
- Separating systems of conjunctions.
- Conjunctive and Boolean grammars: the true general case of the context-free grammars
- On hardest languages for one-dimensional cellular automata
- Path querying on acyclic graphs using Boolean grammars
- Complexity of equations over sets of natural numbers
- Representing hyper-arithmetical sets by equations over sets of integers
- Language equations with complementation: expressive power
- Unresolved systems of language equations: expressive power and decision problems
- Path querying with conjunctive grammars by matrix multiplication
- Conjunctive grammars and alternating pushdown automata
- Recursive descent parsing for Boolean grammars
- Decision problems for language equations
- The dual of concatenation
- Distributional learning of parallel multiple context-free grammars
- Probabilistic conjunctive grammar
- LR(0) Conjunctive Grammars and Deterministic Synchronized Alternating Pushdown Automata
- Comparing Linear Conjunctive Languages to Subfamilies of the Context-Free Languages
- Fundamental methodological issues of syntactic pattern recognition
- On the complexity of the string generation problem
- Boolean grammars
- Language equations
- A Game-Theoretic Characterization of Boolean Grammars
- Model checking propositional dynamic logic with all extras
- One-Nonterminal Conjunctive Grammars over a Unary Alphabet
- Grammatical unification
- Computational completeness of equations over sets of natural numbers
- Conjunctive grammars over a unary alphabet: Undecidability and unbounded growth
- Linear grammars with one-sided contexts and their automaton representation
- Unambiguous conjunctive grammars over a one-symbol alphabet
- Linear-space recognition for grammars with contexts
- On Alternating Phrase-Structure Grammars
- LR(0) conjunctive grammars and deterministic synchronized alternating pushdown automata
- Parsing by matrix multiplication generalized to Boolean grammars
- Generalized LR parsing algorithm for grammars with one-sided contexts
- Finding the smallest binarization of a CFG is NP-hard
- The hardest language for grammars with context operators
- The Hardest LL(k) Language
- Generalized LR Parsing for Grammars with Contexts
- Computing the Shortest String and the Edit-Distance for Parsing Expression Languages
- The Hardest Language for Conjunctive Grammars
- Input-driven languages are linear conjunctive
- On hardest languages for one-dimensional cellular automata
- Learning Conjunctive Grammars and Contextual Binary Feature Grammars
- On Equations over Sets of Numbers and Their Limitations
- Conjunctive Grammars with Restricted Disjunction
- Inductive definitions in logic versus programs of real-time cellular automata
- Least and greatest solutions of equations over sets of integers
- Distributional learning of conjunctive grammars and contextual binary feature grammars
- An Introduction to Grammar Convergence
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4531380)
