Abstract
Formal translation directed by parallel LLP parsing is presented here. The translator follows the traditional translation scheme – the input grammar is extended by output symbols that are added into appropriate right-hand sides of grammar rules. The translation algorithm is based on the intermediate results provided by the parallel LLP parser. The correct sequence of output symbols is obtained from the intermediate results using the parallel prefix sum, the segmented parallel prefix sum, and parallel sorting steps. The translation algorithm presented here is suitable for all translations with LLP(q,k) input grammars. The asymptotical parallel time of the translation algorithm is \({\mathcal O}(\log^2(n))\).
This research has been partially supported by the Ministry of Education, Youth and Sports under research program MSM 6840770014 and the Czech Science Foundation as project No. 201/06/1039.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aho, A.V., Sethi, R., Ullman, J.D.: Compilers – Principles, Techniques, and Tools. Addison-Wesley, London (1986)
Skillicorn, D.B., Barnard, D.T.: Parallel Parsing on the Connection Machine. Information Processing Letters 31, 111–117 (1989)
Shankar, P.: O(log(n)) Parallel Parsing of a Subclass of LL(1) Languages. In: Parallel Computing, pp. 511–516. Elsevier, Amsterdam (1990)
Hill, J.M.D.: Parallel Lexical Analysis and Parsing on the AMT Distributed Array Processor. Parallel Computing 18, 699–714 (1992)
Luttighuis, P.O.: Parallel Algorithms for Parsing and Attribute Evaluation. FEBO Druk, Enschede (1993)
Vagner, L.: Parallel LL Parsing and Its Applications. PhD. Thesis, CTU Prague (2006), in electronic form: http://moon.felk.cvut.cz/~xvagner/dis.ps
Prasad, S.K., Das, S.K, Chen, C.C.-Y.: Efficient EREW PRAM Algorithms for Parentheses-Matching. IEEE Transactions on Parallel and Distributed Systems 5(9), 995–1008 (1994)
Grama, A., Gupta, A., Karypis, G., Kumar, V.: Introduction to Parallel Computing. Addison-Wesley, London (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Vagner, L., Melichar, B. (2007). Formal Translation Directed by Parallel LLP Parsing. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Plášil, F. (eds) SOFSEM 2007: Theory and Practice of Computer Science. SOFSEM 2007. Lecture Notes in Computer Science, vol 4362. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69507-3_46
Download citation
DOI: https://doi.org/10.1007/978-3-540-69507-3_46
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69506-6
Online ISBN: 978-3-540-69507-3
eBook Packages: Computer ScienceComputer Science (R0)