[All Lists] [By Thread] [By Date] [Previous] [Next]
From: R. Nachmani
Subject: Formal grammar
Date: 24 Tevet 5783
I have been reading about this ABNF notation. It is straightforward.
We would write something like:
time-assertion = [Z] phase *indicator
phase = "A" / "D" / "T" / "N"
indicator = ("+" / "-") code
This says exactly what we mean. A machine can validate syntax. The semantics remain human.
Thread: