2026-07-23T08:16:10Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:8078 2024-03-06T10:40:55Z ddc:004 open_access

Grammars for Indentation-Sensitive Parsing Nestra, Härmel Parsing expression grammars indentation grammar transformation Adams' extension of parsing expression grammars enables specifying indentation sensitivity using two non-standard grammar constructs - indentation by a binary relation and alignment. This paper is a theoretical study of Adams' grammars. It proposes a step-by-step transformation of well-formed Adams' grammars for elimination of the alignment construct from the grammar. The idea that alignment could be avoided was suggested by Adams but no process for achieving this aim has been described before. This paper also establishes general conditions that binary relations used in indentation constructs must satisfy in order to enable efficient parsing. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Härmel Nestra 2017 Is Part Of LIPIcs, Volume 83, 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.MFCS.2017.45 urn:nbn:de:0030-drops-80788 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.MFCS.2017.45 eng https://creativecommons.org/licenses/by/3.0/legalcode