Concept
Parsing expression grammar
Publications associées (64)
Hearing structure in music: An empirical inquiry into listening as representation and processing
As a universal expression of human creativity, music is capable of conveying great subtlety and complexity. Crucially, this complexity is not encoded in the score or in the sounds, but is rather construed in the mind of the listener in the form of nuanced ...
EPFL2024Musical Garden Paths: Evidence for Syntactic Revision Beyond the Linguistic Domain
Martin Alois Rohrmeier, Steffen Alexander Herff, Gabriele Cecchetti
While theoretical and empirical insights suggest that the capacity to represent and process complex syntax is crucial in language as well as other domains, it is still unclear whether specific parsing mechanisms are also shared across domains. Focusing on ...
Wiley2022Uniform parsing for hyperedge replacement grammars
It is well known that hyperedge-replacement grammars can generate NP-complete graph languages even under seemingly harsh restrictions. This means that the parsing problem is difficult even in the non-uniform setting, in which the grammar is considered to b ...
ACADEMIC PRESS INC ELSEVIER SCIENCE2021Efficient Parsing with Derivatives and Zippers
Parsing is the process that enables a computer system to make sense of raw data. Parsing is common to almost all computer systems: It is involved every time sequential data is read and elaborated into structured data. The theory of parsing usually focuses ...
EPFL2021Gramatron: Effective Grammar-Aware Fuzzing
Fuzzers aware of the input grammar can explore deeper program states using grammar-aware mutations. Existing grammar-aware fuzzers are ineffective at synthesizing complex bug triggers due to: (i) grammars introducing a sampling bias during input generation ...
ASSOC COMPUTING MACHINERY2021Zippy LL(1) Parsing with Derivatives
Viktor Kuncak, Jad Hamza, Romain Edelmann
In this paper, we present an efficient, functional, and formally verified parsing algorithm for LL(1) context-free expressions based on the concept of derivatives of formal languages. Parsing with derivatives is an elegant parsing technique, which, in the ...
ASSOC COMPUTING MACHINERY2020Recursive Non-Autoregressive Graph-to-Graph Transformer for Dependency Parsing with Iterative Refinement
James Henderson, Alireza Mohammadshahi
We propose the Recursive Non-autoregressive Graph-to-graph Transformer architecture (RNG-Tr) for the iterative refinement of arbitrary graphs through the recursive application of a non-autoregressive Graph-to-Graph Transformer and apply it to syntactic dep ...
2020The ETFL formulation allows multi-omics integration in thermodynamics-compliant metabolism and expression models
Vassily Hatzimanikatis, Pierre Guy Rémy Salvy
Systems biology has long been interested in models capturing both metabolism and expression in a cell. We propose here an implementation of the metabolism and expression model formalism (ME-models), which we call ETFL, for Expression and Thermodynamics Flu ...
2020The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Made Easy
MLsub extends traditional Hindley-Milner type inference with subtyping while preserving compact principal types, an exciting new development. However, its specification in terms of biunification is difficult to understand, relying on the new concepts of bi ...
2020Annotated References in the Historiography on Venice: 19th–21st centuries
Matteo Romanello, Giovanni Colavizza
We publish a dataset containing more than 40’000 manually annotated references from a broad corpus of books and journal articles on the history of Venice. References were considered from both reference lists and footnotes, include primary and secondary sou ...
2017