Analyzing Ambiguity of Context-Free Grammars
release_5yeara6i6ncvlpmfd3invchyui
by
Claus Brabrand, Robert Giegerich, Anders Møller
Abstract
It has been known since 1962 that the ambiguity problem for context-free grammars is undecidable. Ambiguity in context-free grammars is a recurring problem in language design and parser generation, as well as in applications where grammars are used as models of real-world physical structures. However, the fact that the problem is undecidable does not mean that there are no useful <em>approximations</em> to the problem.<br /> <br />We observe that there is a simple linguistic characterization of the grammar ambiguity problem, and we show how to exploit this to conservatively approximate the problem based on local regular approximations and grammar unfoldings. As an application, we consider grammars that occur in RNA analysis in bioinformatics, and we demonstrate that our static analysis of context-free grammars is sufficiently precise and efficient to be practically useful. Full text: <a href="http://dx.doi.org/10.1016/j.scico.2009.11.002" target="_self">http://dx.doi.org/10.1016/j.scico.2009.11.002</a>
In application/xml+jats
format
Archived Files and Locations
application/pdf 347.8 kB
file_ltbimz35lbeordrwdst56veqsa
|
web.archive.org (webarchive) www.brics.dk (web) web.archive.org (webarchive) web.archive.org (webarchive) |
application/pdf 422.6 kB
file_3ep2ibunanbzbm2xyqekrqe67i
|
web.archive.org (webarchive) web.archive.org (webarchive) web.archive.org (webarchive) web.archive.org (webarchive) www.itu.dk (web) + 4 more URLs |
application/pdf 248.5 kB
file_oegah27e3neaxjfqwhg4kecxwe
|
www.brics.dk (web) web.archive.org (webarchive) itu.dk (web) web.archive.org (webarchive) www.itu.dk (web) + 3 more URLs |
application/pdf 281.7 kB
file_mybvzhyyz5dulau5fw2myzoisu
|
web.archive.org (webarchive) web.archive.org (webarchive) www.brics.dk (web) web.archive.org (webarchive) web.archive.org (webarchive) + 9 more URLs |
article-journal
Stage
published
Date 2006-05-13
access all versions, variants, and formats of this works (eg, pre-prints)
Crossref Metadata (via API)
Worldcat
SHERPA/RoMEO (journal policies)
wikidata.org
CORE.ac.uk
Semantic Scholar
Google Scholar