Chart parser

related topics
{math, number, function}
{album, band, music}
{language, word, form}
{system, computer, user}

A chart parser is a type of parser suitable for ambiguous grammars (including grammars of natural languages). It uses the dynamic programming approach—partial hypothesized results are stored in a structure called a chart and can be re-used. This eliminates backtracking and prevents a combinatorial explosion.

Chart parsing was developed by Martin Kay.

Types of chart parsers

A common approach is to use a variant of the Viterbi algorithm. The Earley parser is a type of chart parser mainly used for parsing in computational linguistics, named for its inventor. Another chart parsing algorithm is the Cocke-Younger-Kasami (CYK) algorithm.

Chart parsers can also be used for parsing computer languages. Earley parsers in particular have been used in compiler compilers where their ability to parse using arbitrary Context-free grammars eases the task of writing the grammar for a particular language. However their lower efficiency has led to people avoiding them for most compiler work.

In bidirectional chart parsing, edges of the chart are marked with a direction, either forwards or backwards, and rules are enforced on the direction in which edges must point in order to be combined into further edges.

In incremental chart parsing, the chart is constructed incrementally as the text is edited by the user, with each change to the text resulting in the minimal possible corresponding change to the chart.

We can distinguish top-down and bottom-up chart parsers, and active and passive chart parsers.

Parsing ambiguity in natural languages

The most serious problem faced by parsers is the ambiguity of natural languages.

See also

Full article ▸

related documents
Context-sensitive language
Identity function
Disjoint sets
Endomorphism ring
Galois group
Ring homomorphism
Sieve of Eratosthenes
Lazy initialization
Markov process
Recursive language
Equivalence class
Center (group theory)
Euclidean distance
Measurable function
Greibach normal form
Church–Rosser theorem
Harmonic analysis
Water, gas, and electricity
Lint (software)
Uniform Resource Locator
Essential singularity
Direct sum of groups
Digital Signature Algorithm
Derivative of a constant
Sigmoid function
Gabriel Lamé