English
Related papers

Related papers: Context-Free Grammars with Storage

200 papers

Higher-order grammars are extensions of regular and context-free grammars, where non-terminals may take parameters. They have been extensively studied in 1980's, and restudied recently in the context of model checking and program…

Formal Languages and Automata Theory · Computer Science 2016-05-23 Kazuyuki Asada , Naoki Kobayashi

Context-free session types describe structured patterns of communication on heterogeneously-typed channels, allowing the specification of protocols unconstrained by tail recursion. The enhanced expressive power provided by non-regular…

Programming Languages · Computer Science 2023-09-21 Gil Silva , Andreia Mordido , Vasco T. Vasconcelos

Stochastic And-Or grammars (AOG) extend traditional stochastic grammars of language to model other types of data such as images and events. In this paper we propose a representation framework of stochastic AOGs that is agnostic to the type…

Artificial Intelligence · Computer Science 2016-04-13 Kewei Tu

This work is a survey of the main results reported for the degree of extension of two models defining non-regular languages, namely the context-free grammar and the extended automaton over groups. More precisely, we recall the main results…

Formal Languages and Automata Theory · Computer Science 2023-09-07 Victor Mitrana , Mihaela Păun

Previous work on Dynamic Complexity has established that there exist dynamic constant-time parallel algorithms for regular tree languages and context-free languages under label or symbol changes. However, these algorithms were not developed…

Data Structures and Algorithms · Computer Science 2023-07-20 Jonas Schmidt , Thomas Schwentick , Jennifer Todtenhoefer

We propose a new approach for universal lossless text compression, based on grammar compression. In the literature, a target string $T$ has been compressed as a context-free grammar $G$ in Chomsky normal form satisfying $L(G) = \{T\}$. Such…

Data Structures and Algorithms · Computer Science 2020-03-19 Hiroaki Naganuma , Diptarama Hendrian , Ryo Yoshinaka , Ayumi Shinohara , Naoki Kobayashi

Several abstract machines that operate on symbolic input alphabets have been proposed in the last decade, for example, symbolic automata or lattice automata. Applications of these types of automata include software security analysis and…

Formal Languages and Automata Theory · Computer Science 2019-10-18 Andreas Stahlbauer

In `free word order' languages, every sentence is embedded in its specific context. Among others, the order of constituents is determined by the categories `theme', `rheme' and `contrastive focus'. This paper shows how to recognise and to…

cmp-lg · Computer Science 2008-02-03 Ralf Steinberger

In this paper, we continue the research on the power of contextual grammars with selection languages from subfamilies of the family of regular languages. In the past, two independent hierarchies have been obtained for external and internal…

Computational Complexity · Computer Science 2023-09-19 Bianca Truthe

Traditional language processing tools constrain language designers to specific kinds of grammars. In contrast, model-based language specification decouples language design from language processing. As a consequence, model-based language…

Computation and Language · Computer Science 2012-02-03 Luis Quesada , Fernando Berzal , Francisco J. Cortijo

Automatic differentiation plays a prominent role in scientific computing and in modern machine learning, often in the context of powerful programming systems. The relation of the various embodiments of automatic differentiation to the…

Programming Languages · Computer Science 2020-02-04 Martin Abadi , Gordon D. Plotkin

This paper presents a restricted form of linear indexed grammars, called even linear indexed grammars, which yield the even linear indexed languages. These languages properly contain the context-free languages and are contained in the set…

Formal Languages and Automata Theory · Computer Science 2014-08-26 Benjamin Caulfield

Constraint-based grammars can, in principle, serve as the major linguistic knowledge source for both parsing and generation. Surface generation starts from input semantics representations that may vary across grammars. For many declarative…

Computation and Language · Computer Science 2007-05-23 Stephan Busemann

We present an underapproximation for context-free languages by filtering out runs of the underlying pushdown automaton depending on how the stack height evolves over time. In particular, we assign to each run a number quantifying the…

Formal Languages and Automata Theory · Computer Science 2016-09-15 Pierre Ganty , Damir Valput

This paper analyzes the behavior of stack-augmented recurrent neural network (RNN) models. Due to the architectural similarity between stack RNNs and pushdown transducers, we train stack RNN models on a number of tasks, including string…

Neural and Evolutionary Computing · Computer Science 2018-09-11 Yiding Hao , William Merrill , Dana Angluin , Robert Frank , Noah Amsel , Andrew Benz , Simon Mendelsohn

We implement a divide-and-concur iterative projection approach to context-free grammar inference. Unlike most state-of-the-art models of natural language processing, our method requires a relatively small number of discrete parameters,…

Computation and Language · Computer Science 2022-09-19 Sean Deyo , Veit Elser

The present work analyzes the redundancy of sets of combinatorial objects produced by a weighted random generation algorithm proposed by Denise et al. This scheme associates weights to the terminals symbols of a weighted context-free…

Data Structures and Algorithms · Computer Science 2010-12-07 Danièle Gardy , Yann Ponty

**Context** Context-free grammars are widely used for language prototyping and implementation. They allow formalizing the syntax of domain-specific or general-purpose programming languages concisely and declaratively. However, the natural…

Programming Languages · Computer Science 2018-03-28 Luís Eduardo de Souza Amorim , Michael J. Steindorfer , Eelco Visser

We consider languages generated by weighted context-free grammars. It is shown that the behaviour of large texts is controlled by saddle-point equations for an appropriate generating function. We then consider ensembles of grammars, in…

Disordered Systems and Neural Networks · Physics 2022-10-03 Eric De Giuli

In this article, we provide three coalgebraic characterizations of the class of context-free languages, each based on the idea of adding coalgebraic structure to an existing algebraic structure by specifying output-derivative pairs. Final…

Logic in Computer Science · Computer Science 2015-07-01 Joost Winter , Jan J. M. Rutten , Marcello M. Bonsangue
‹ Prev 1 3 4 5 6 7 10 Next ›