Cite Dyck languages

[nagbu1]

I was reading the classic Cinderella Book and I saw they refer to what essentially is the abstract matchertext of section 3.1. as a Dyck language. See also the Wikipedia page for Dyck languages (specifically what they call a typed Dyck language).

The only difference between abstract matchertext and a Dyck language is that the Dyck language does not allow for non-matcher characters, making abstract matchertext a strict generalization. I feel like this could be mentioned in the paper.

---

I USE GITHUB UNDER PROTEST

[bford]

Thanks @nagbu1 for the pointer - very relevant indeed! We'll make sure this citation gets into the next version of the matchertext working paper.

[AntoineBastide47]

@nagbu1 I looked into it and this is a great addition to make to the related work and formalization of Matchertext section. Thanks for all your help.

We would also like to mention your lisp extension for matchertext in the Implementations of matchertext section if you allow us to. If so, we would also like to add your name in the acknowledgements, you should we name/mention you ?

Thanks a lot.