English
Related papers

Related papers: Context-free Algorithms

200 papers

In a paper published in Information Processing Letters in 2000, Bouajjani et al. presented an automata-based approach to a number of elementary problems on context-free grammars. This approach is of pedagogical interest since it provides a…

Formal Languages and Automata Theory · Computer Science 2024-10-28 Javier Esparza , Peter Rossmanith , Stefan Schwoon

Existing technology can parse arbitrary context-free grammars, but only a single, static grammar per input. In order to support more powerful syntax-extension systems, we propose reflective grammars, which can modify their own syntax during…

Programming Languages · Computer Science 2011-02-14 Paul Stansifer , Mitchell Wand

We present two novel approaches to parsing context-free languages. The first approach is based on an extension of Brzozowski's derivative from regular expressions to context-free grammars. The second approach is based on a generalization of…

Programming Languages · Computer Science 2015-03-17 Matthew Might , David Darais

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

Dependency trees convey rich structural information that is proven useful for extracting relations among entities in text. However, how to effectively make use of relevant information while ignoring irrelevant information from the…

Computation and Language · Computer Science 2020-09-08 Zhijiang Guo , Yan Zhang , Wei Lu

In this paper we consider the problem of efficient computation of cross-moments of a vector random variable represented by a stochastic context-free grammar. Two types of cross-moments are discussed. The sample space for the first one is…

Computation and Language · Computer Science 2013-10-15 Velimir M. Ilic , Miroslav D. Ciric , Miomir S. Stankovic

String diagrams provide an intuitive language for expressing networks of interacting processes graphically. A discrete representation of string diagrams, called string graphs, allows for mechanised equational reasoning by double-pushout…

Logic in Computer Science · Computer Science 2015-10-14 Aleks Kissinger , Vladimir Zamdzhiev

In most of the shortest path problems like vehicle routing problems and network routing problems, we only need an efficient path between two points source and destination, and it is not necessary to calculate the shortest path from source…

Data Structures and Algorithms · Computer Science 2009-11-03 Muhammad Aasim Qureshi , Dr. Fadzil B. Hassan , Sohail Safdar , Rehan Akbar

In a finite undirected simple graph, a {\it chordless cycle} is an induced subgraph which is a cycle. We propose two algorithms to enumerate all chordless cycles of such a graph. Compared to other similar algorithms, the proposed algorithms…

Data Structures and Algorithms · Computer Science 2014-12-01 Elisângela Silva Dias , Diane Castonguay , Humberto Longo , Walid Abdala Rfaei Jradi

We describe an extension of Earley's parser for stochastic context-free grammars that computes the following quantities given a stochastic context-free grammar and an input string: a) probabilities of successive prefixes being generated by…

cmp-lg · Computer Science 2008-02-03 Andreas Stolcke

Recent work at the intersection of formal language theory and graph theory has explored graph grammars for graph modeling. However, existing models and formalisms can only operate on homogeneous (i.e., untyped or unattributed) graphs. We…

Social and Information Networks · Computer Science 2023-01-06 Satyaki Sikdar , Neil Shah , Tim Weninger

The synthesis of string transformation programs from input-output examples utilizes various techniques, all based on an inductive bias that comprises a restricted set of basic operators to be combined. A new algorithm, Transduce, is…

Machine Learning · Computer Science 2024-01-19 Francis Frydman , Philippe Mangion

This paper is devoted to the analysis of worst case complexity bounds for linesearch-type derivative-free algorithms for the minimization of general non-convex smooth functions. We prove that two linesearch-type algorithms enjoy the same…

Optimization and Control · Mathematics 2026-01-13 Andrea Brilli , Morteza Kimiaei , Giampaolo Liuzzi , Stefano Lucidi

The space and run-time requirements of broad coverage grammars appear for many applications unreasonably large in relation to the relative simplicity of the task at hand. On the other hand, handcrafted development of application-dependent…

cmp-lg · Computer Science 2007-05-23 Renate Henschel , John A. Bateman

Modern scene text recognition systems often depend on large end-to-end architectures that require extensive training and are prohibitively expensive for real-time scenarios. In such cases, the deployment of heavy models becomes impractical…

Computer Vision and Pattern Recognition · Computer Science 2025-03-21 Ritabrata Chakraborty , Shivakumara Palaiahnakote , Umapada Pal , Cheng-Lin Liu

Many neural network architectures are known to be Turing Complete, and can thus, in principle implement arbitrary algorithms. However, Transformers are unique in that they can implement gradient-based learning algorithms under simple…

Machine Learning · Computer Science 2024-06-05 Xiang Cheng , Yuxin Chen , Suvrit Sra

Neural sequence models, especially transformers, exhibit a remarkable capacity for in-context learning. They can construct new predictors from sequences of labeled examples $(x, f(x))$ presented in the input without further parameter…

Machine Learning · Computer Science 2023-05-19 Ekin Akyürek , Dale Schuurmans , Jacob Andreas , Tengyu Ma , Denny Zhou

A shortest-path algorithm finds a path containing the minimal cost between two vertices in a graph. A plethora of shortest-path algorithms is studied in the literature that span across multiple disciplines. This paper presents a survey of…

Data Structures and Algorithms · Computer Science 2017-05-08 Amgad Madkour , Walid G. Aref , Faizan Ur Rehman , Mohamed Abdur Rahman , Saleh Basalamah

Given the set of paths through a digraph, the result of uniformly deleting some vertices and identifying others along each path is coherent in such a way as to yield the set of paths through another digraph, called a \emph{path abstraction}…

Combinatorics · Mathematics 2017-01-27 Steve Huntsman

We present a system for generating parsers based directly on the metaphor of parsing as deduction. Parsing algorithms can be represented directly as deduction systems, and a single deduction engine can interpret such deduction systems so as…

cmp-lg · Computer Science 2008-02-03 Stuart M. Shieber , Yves Schabes , Fernando C. N. Pereira