Budowa analizatorów języków specyfikacji z wykorzystaniem wyrażen parsujących

• Autorzy: Grosser A.

Warianty tytułu

EN

The structure of specification languages analysers using parsing expressions

• Języki publikacji: PL

Abstrakty

PL

Artykuł opisuje wykorzystanie gramatyk wyrażeń parsujących do budowy analizatorów języków specyfikacji. Przedstawiono charakterystykę gramatyk wyrażeń parsujących wraz z najważniejszymi zagadnieniami ich implementacji. Zaprezentowano także bibliotekę i język PegLi stosujący do opisu języków gramatyki parsujące. Pokazano także przykładowe języki specyfikacji stworzone z wykorzystaniem PegLi. Są to: prosty język opisu grafów i język dla zagadnień rozwiązywanych metodą elementów skończonych.

EN

This article presents the use of parsing expression grammars to construction analyzers domain specification languages. This paper presents the characteristics of parsing expression grammars, with the most important issues of their implementation. There is presented the library and language PegLi, which describes languages with parsing expression grammars. The article presents also examples of domain specific languages created using PegLi. These are: the simple graph description language and the language for the issues solved by finite element method.

Słowa kluczowe

PL

gramatyki wyrażeń parsujących; jezyki specyfikacji; parser

EN

parsing expression grammars; domain specific languages; parser

• Wydawca: Oficyna Wydawnicza Europejskiej Uczelni
• Czasopismo: Studia i Materiały / Europejska Uczelnia Informatyczno-Ekonomiczna w Warszawie
• Rocznik: 2014
• Tom: Nr 1(7)
• Strony: 83--94
• Opis fizyczny: Bibliogr. 16 poz., rys., tab.

Twórcy

autor

Grosser A.

• Politechnika Czestochowska, ul. Dabrowskiego 69/73, 42-201 Czestochowa
• Europejska Uczelnia Informatyczno-Ekonomiczna w Warszawie, ul. Białostocka 22, 03-741 Warszawa

Bibliografia

• [1] Birman A., The TMG Recognition Schema, praca doktorska, 1970.
• [2] Birman A., Ullman J. D., Parsing algorithms with backtrack, “Information and Control” 23, 1973.
• [3] Cocke J., Schwartz J. T., Programming languages and their compilers: Preliminary notes, Courant Institute of Mathematical Sciences, New York University, 1969.
• [4] van Deursen A., Klint P., Visser J., Domain-Specific Languages: An Annotated Bibliography, “ACM SIGPLAN Notices” 35(6):26-36, June 2000.
• [5] Earley J., An efficient context-free parsing algorithm, “Commun. ACM” 13(2):94-102, 1970.
• [6] Ford B., Packrat parsing: Simple, powerful, lazy, linear time, In International Conference on Functional Programming, 2002.
• [7] Ford B., Parsing expression grammars: A recognition-based syntactic foundation, In Symposium on Principles of Programming Languages, ACM Press, 2004, pp. 111-122.
• [8] Grimm R., Better extensibility through modular syntax, In PLDI ’06: Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation, ACM Press, New York, NY, USA, 2006, pp. 38-51.
• [9] Ierusalimschy R., A text pattern-matching tool based on parsing expression grammars, “Software: Practice and Experience” 39(3):221-258, 2009.
• [10] Kasami T., Torii K., A syntax-analysis procedure for unambiguous context-free grammars, “J. ACM” 16(3):423-431, 1969. 94
• [11] Levine J., Flex & bison, O’Reilly Media, 2009.
• [12] Mernik M., Heering J., Sloane A., When and how to develop domain-specific languages, Technical Report REPORT SEN-E0309 DECEMBER 8, 2003.
• [13] Parr T., The Definitive ANTLR Reference: Building Domain-Specific Languages, Pragmatic Bookshelf, 2007.
• [14] Redziejowski R., Mouse: From Parsing Expressions to a Practicla Parser, CS&P 2009 (materiały konferencyjne).
• [15] Tomita M., An efficient context-free parsing algorithm for natural languages, In IJCAI’85: Proceedings of the 9th international joint conference on Artificial intelligence, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1985, pp. 756-764.
• [16] Younger D. H., Recognition and parsing of context-free languages in time n3, “Information and Control” 10(2):189-208, 1967.