On Sep 23, 2:39 pm, torb...@pc-003.diku.dk (Torben Fgidius Mogensen)
wrote:> The rules describe both syntax (though ambiguously) and types. You can> call the rules a grammar (though not context free). Here, there is only> one (unnamed) "nonterminal", but you can annotate the turnstile (|-)> symbol with nonterminals to describe more complex langauges.>> The notation is widely used to specify both static and dynamic semantics> of langauges.

And such grammars can be implemented using tools like STF using STML
(SANKHYA Translation Modeling Language) without the need for any
programming (other than describing the rules in STML).