Search: onr:"swepub:oai:research.chalmers.se:5dae3b7c-169b-4f3d-8201-3e7c18472dc3" >
Efficient Divide-an...
Efficient Divide-and-Conquer Parsing of Practical Context-Free Languages
-
- Bernardy, Jean-Philippe, 1978 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Lindström Claessen, Koen, 1975 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- 2013-09-25
- 2013
- English.
-
In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). - : Association for Computing Machinery (ACM). - 0730-8566 .- 0362-1340 .- 1558-1160. ; 48:9, s. 111-122
- Related links:
-
http://dx.doi.org/10...
-
show more...
-
https://research.cha...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- We present a divide-and-conquer algorithm for parsing context-free languages efficiently. Our algorithm is an instance of Valiant's (1975), who reduced the problem of parsing to matrix multiplications. We show that, while the conquer step of Valiant's is O(n(3)) in the worst case, it improves to O(log (3) n), under certain conditions satisfied by many useful inputs. These conditions occur for example in program texts written by humans. The improvement happens because the multiplications involve an overwhelming majority of empty matrices. This result is relevant to modern computing: divide-and-conquer algorithms can be parallelized relatively easily.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Keyword
- Complexity
- Iteration
- Parsing
- Divide-and-Conquer
- Context-Free Languages
Publication and Content Type
- art (subject category)
- ref (subject category)
Find in a library
To the university's database