[λDNA] [blog]

[#bottom]

Starting with the disambiguated Jevko grammar from the previous article¹:

Value = *Subvalue Label
Subvalue = Label "[" Value "]"
Label = *Symbol
Symbol = Escape / %x0-5a / %x5e-d7ff / %xe000-10ffff
Escape = "\" ("\" / "[" / "]")

We can define Data Jevko descriptively as Jevko with the following restrictions placed on Value:

• If its Label is nonblank² then it must have zero Subvalues. Such a Value is called a primitive. If
• Otherwise each Subvalue must go with a Label which is either:
  • Blank. Such a Value is called a list.
  • or nonblank. Such a Value is called a keyed list. The part of the Label from the first nonblank symbol to the last nonblank symbol is called the key of the Subvalue.
• If a Value has a zero-length Label and zero Subvalues, it is called an emptiness.

Any other shape is invalid Data Jevko.

The above description is expanded and formalized in this article.