May 18th, 2021
A New Semantics for Local Lexing
A revised semantics for Local Lexing is presented that entirely avoids priority conﬂicts between non-empty tokens. Pyramid Grammars are introduced, and their semantics is given in terms of Local Lexing. It is demonstrated that they are more expressive than Context-Free Grammars, and at least as expressive as Parsing Expression Grammars.
May 13th, 2021
I propose a simple Unicode-based lexical syntax for programming language identiﬁers using characters from international scripts (currently Latin, Greek and Cyrillic). What makes such cosmopolitan identiﬁers special is that each identiﬁer is either equivalent to a uniquely determined simple identiﬁer consisting only of ASCII characters, or that the identiﬁer is a symbolic identiﬁer. This makes collaboration in an international setting easier, especially in contexts where such identiﬁers are not only used by professional programmers, but are also present in the domain of normal users, for example through scriptable applications.