Context-Free Grammars: Exercise Generation and Probabilistic Assessment

Authors José João Almeida, Eliana Grande, Georgi Smirnov

Thumbnail PDF


  • Filesize: 427 kB
  • 8 pages

Document Identifiers

Author Details

José João Almeida
Eliana Grande
Georgi Smirnov

Cite AsGet BibTex

José João Almeida, Eliana Grande, and Georgi Smirnov. Context-Free Grammars: Exercise Generation and Probabilistic Assessment. In 5th Symposium on Languages, Applications and Technologies (SLATE'16). Open Access Series in Informatics (OASIcs), Volume 51, pp. 10:1-10:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


In this paper we present a metagrammar based algorithm for exercise generation in the domain of context-free grammars. We also propose a probabilistic assessment algorithm based on a new identity theorem for formal series, a matrix version of the well-known identity theorem from the theory of analytic functions.
  • Exercise generation
  • context-free grammars
  • assessment


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1986. Google Scholar
  2. Marco Almeida, Nelma Moreira, and Rogerio Reis. Testing equivalence of regular languages. Journal of Automata, Languages and Combinatorics, 15(1/2), 2010. Google Scholar
  3. Marco Almeida, Nelma Moreira, and Rogerio Reis. Finite automata minimization algorithms. In Jiacun Wang, editor, Handbook of Finite State Based Models and Applications, Discrete Mathematics and Its Applications, pages pp.145-170. Chapman and Hall/CRC Press, 2012. Google Scholar
  4. Richard Demillo and Richard Lipton. A probabilistic remark on algebraic program testing. Information Processing Letters, 7(4):pp. 193-195, 1978. Google Scholar
  5. Robert Heckendorn. A grammar for the C- programming language. Technical Report Version S16, Department of Computer Science - University of Idaho, 2016. URL:
  6. Daan Leijen and Erik Meijer. Parsec: Direct style monadic parser combinators for the real world. Technical report, Department of Computer Science, University of Utrecht, 2001. URL:
  7. Jerrold E. Marsden and Michael J. Hoffman. Basic Complex Analysis. W. H. Freeman, third edition, 1999. Google Scholar
  8. Minh Luan Nguyen, Siu Cheung Hui, and Alvis C. M. Fong. Probabilistic equivalence verification approach for automatic mathematical solution assessment. In 23rd International Joint Conference on Artificial Intelligence (IJCAI2013), pages pp. 1352-1356, 2013. Google Scholar
  9. Arto Salomaa. Formal Languages. Academic Press, 1973. Google Scholar
  10. Arto Salomaa and Matti Soittola. Automata-theoretic aspects of formal power series. Springer, 1978. Google Scholar
  11. S. Doaitse Swierstra. Combinator parsers: From toys to tools. Electronic Notes in Theoretical Computer Science, 41, 2001. URL:
  12. Harald Heinz Vogt, S. Doaitse Swierstra, and Matthijs F. Kuiper. Higher order attribute grammars. SIGPLAN Not., 24(7):131-145, June 1989. URL: