Proofs and pedagogy; science and systems: The Grammar Tool Box

DOI10.1016/j.scico.2007.01.016zbMath1129.68443OpenAlexW2013053943MaRDI QIDQ2463552

Adrian Johnstone, Elizabeth A. Scott

Publication date: 12 December 2007

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2007.01.016

zbMATH Keywords

context-free grammartool designgeneralised parsingtool application

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Grammars and rewriting systems (68Q42) Technological tools, calculators (aspects of mathematics education) (97U70)

Related Items

Recognition is not parsing - SPPF-style parsing from cubic recognisers