Formal languages

Parser combinator

In computer programming, a parser combinator is a higher-order function that accepts several parsers as input and returns a new parser as its output. In this context, a parser is a function accepting strings as input and returning some structure as output, typically a parse tree or a set of indices representing locations in the string where parsing stopped successfully. Parser combinators enable a recursive descent parsing strategy that facilitates modular piecewise construction and testing. This parsing technique is called combinatory parsing. Parsers using combinators have been used extensively in the prototyping of compilers and processors for domain-specific languages such as natural-language interfaces to databases, where complex and varied semantic actions are closely integrated with syntactic processing. In 1989, Richard Frost and John Launchbury demonstrated use of parser combinators to construct natural-language interpreters. Graham Hutton also used higher-order functions for basic parsing in 1992 and monadic parsing in 1996. S. D. Swierstra also exhibited the practical aspects of parser combinators in 2001. In 2008, Frost, Hafiz and Callaghan described a set of parser combinators in Haskell that solve the long-standing problem of accommodating left recursion, and work as a complete top-down parsing tool in polynomial time and space. (Wikipedia).

Video thumbnail

Yusuke Kobayashi: A weighted linear matroid parity algorithm

The lecture was held within the framework of the follow-up workshop to the Hausdorff Trimester Program: Combinatorial Optimization. Abstract: The matroid parity (or matroid matching) problem, introduced as a common generalization of matching and matroid intersection problems, is so gener

From playlist Follow-Up-Workshop "Combinatorial Optimization"

Video thumbnail

The Tropical Limit of String Theory and Feynman Integrals by Piotr Tourkine

PROGRAM COMBINATORIAL ALGEBRAIC GEOMETRY: TROPICAL AND REAL (HYBRID) ORGANIZERS: Arvind Ayyer (IISc, India), Madhusudan Manjunath (IITB, India) and Pranav Pandit (ICTS-TIFR, India) DATE & TIME: 27 June 2022 to 08 July 2022 VENUE: Madhava Lecture Hall and Online Algebraic geometry is t

From playlist Combinatorial Algebraic Geometry: Tropical and Real (HYBRID)

Video thumbnail

Peter Varju: Additive combinatorics methods in fractal geometry - lecture 2

In the last few years ideas from additive combinatorics were applied to problems in fractal geometry and led to progress on some classical problems, particularly on the smoothness of Bernoulli convolutions and other self-similar measures. We will introduce some of these tools from additive

From playlist Combinatorics

Video thumbnail

Algebraic and Convex Geometry of Sums of Squares on Varieties (Lecture 1) by Greg Blekherman

PROGRAM COMBINATORIAL ALGEBRAIC GEOMETRY: TROPICAL AND REAL (HYBRID) ORGANIZERS: Arvind Ayyer (IISc, India), Madhusudan Manjunath (IITB, India) and Pranav Pandit (ICTS-TIFR, India) DATE & TIME: 27 June 2022 to 08 July 2022 VENUE: Madhava Lecture Hall and Online Algebraic geometry is t

From playlist Combinatorial Algebraic Geometry: Tropical and Real (HYBRID)

Video thumbnail

Peter Varju: Additive combinatorics methods in fractal geometry - lecture 1

In the last few years ideas from additive combinatorics were applied to problems in fractal geometry and led to progress on some classical problems, particularly on the smoothness of Bernoulli convolutions and other self-similar measures. We will introduce some of these tools from additive

From playlist Combinatorics

Video thumbnail

Circular Fence Posets and Associated Polytopes with Unexpected Symmetry by Mohan Ravichandran

PROGRAM COMBINATORIAL ALGEBRAIC GEOMETRY: TROPICAL AND REAL (HYBRID) ORGANIZERS: Arvind Ayyer (IISc, India), Madhusudan Manjunath (IITB, India) and Pranav Pandit (ICTS-TIFR, India) DATE & TIME: 27 June 2022 to 08 July 2022 VENUE: Madhava Lecture Hall and Online Algebraic geometry is t

From playlist Combinatorial Algebraic Geometry: Tropical and Real (HYBRID)

Video thumbnail

Large deviations for random hives and the spectrum of the sum of two random.. by Hariharan Narayanan

PROGRAM COMBINATORIAL ALGEBRAIC GEOMETRY: TROPICAL AND REAL (HYBRID) ORGANIZERS: Arvind Ayyer (IISc, India), Madhusudan Manjunath (IITB, India) and Pranav Pandit (ICTS-TIFR, India) DATE & TIME: 27 June 2022 to 08 July 2022 VENUE: Madhava Lecture Hall and Online Algebraic geometry is t

From playlist Combinatorial Algebraic Geometry: Tropical and Real (HYBRID)

Video thumbnail

Monadic Parsers at the Input Boundary

When reading a byte stream over the process I/O boundary, the first thing which everyone should do is to parse the byte stream with a monadic parser. The talk will discuss Processes and input byte streams. Monadic parsers. What they are and why they matter. The design and use of the pure

From playlist Functional Programming

Video thumbnail

Functional Parsing in C++20

Is C++20 a language that supports a functional style of programming? Can we write modern C++ code in a pure functional style that would easily translate into a pure functional language like Haskell, and could that C++ code end up looking just as nice while still being reasonably efficient?

From playlist C++

Video thumbnail

C9 Lectures: Dr. Erik Meijer - Functional Programming Fundamentals Chapter 8 of 13

We've kicked off C9 Lectures with a journey into the world of Functional Programming with functional language purist and high priest of the lambda calculus, Dr. Erik Meijer (you can thank Erik for many of the functional constructs that have shown up in languages like C# and VB.NET. When y

From playlist Haskell - Functional Programming Fundamentals (Dr. Erik Meijer )

Video thumbnail

R & Python - Parsing Part 1

Lecturer: Dr. Erin M. Buchanan Summer 2020 https://www.patreon.com/statisticsofdoom This video is part of my Natural Language Processing course. This video covers parsing, which is creating sentence structure for understanding meaning. You will learn both traditional constituency parsin

From playlist Natural Language Processing

Video thumbnail

R & Python - Parsing Part 1.1 (2022)

Lecturer: Dr. Erin M. Buchanan Spring 2022 https://www.patreon.com/statisticsofdoom This video is part of my Natural Language Processing course. This video covers parsing, which is creating sentence structure for understanding meaning. You will learn both traditional constituency parsing

From playlist Natural Language Processing

Video thumbnail

Parsing with Derivatives

(February 9, 2011) Matthew Might focuses on a new way to write parsers and how it will affect computer science in the future. Might discusses these parsers and overall language theory, to help explain how there is demand for better parsing tools and how computer science will be improved in

From playlist Engineering

Video thumbnail

Analyzing Sentences in NLP | Context Analysis in NLP Tutorial | Edureka | NLP Live - 3

🔥NIT Warangal Post Graduate Program in AI & Machine Learning with Edureka: https://www.edureka.co/nitw-ai-ml-pgp This Edureka video on Analysing sentences in NLP will help you understand how to perform context analysis with examples. 🔴To subscribe to our channel and hit the bell icon to n

From playlist Edureka Live Classes 2020

Video thumbnail

RustConf 2017 - Menhir and Friends: the State of the Art of Parsing in Rust by Naomi Testard

Menhir and Friends: the State of the Art of Parsing in Rust by Naomi Testard In this talk we present Menhir, a very powerful LR parsers generator, and how to use it to write Rust parsers (and lexers). We also show some details of the internals of Menhir’s backend for Rust, as well as a sh

From playlist RustConf 2017

Video thumbnail

Peter Varju: Additive combinatorics methods in fractal geometry - lecture 3

In the last few years ideas from additive combinatorics were applied to problems in fractal geometry and led to progress on some classical problems, particularly on the smoothness of Bernoulli convolutions and other self-similar measures. We will introduce some of these tools from additive

From playlist Combinatorics

Video thumbnail

RustConf 2017 - Menhir and Friends: the State of the Art of Parsing in Rust by Naomi Testard

Menhir and Friends: the State of the Art of Parsing in Rust by Naomi Testard In this talk we present Menhir, a very powerful LR parsers generator, and how to use it to write Rust parsers (and lexers). We also show some details of the internals of Menhir’s backend for Rust, as well as a sh

From playlist RustConf 2017

Related pages

Higher-order function | First-class function | Formal grammar | Recursive descent parser | Exponential time | LL parser | R (programming language) | Ambiguous grammar | Parse tree | Left recursion | TypeScript | Top-down parsing | Context-free grammar