Definition:Backus-Naur Form/Non-Terminal
Jump to navigation
Jump to search
Definition
Symbols that appear on the left hand side of a specification in Backus-Naur form are called non-terminals.
Sources
- 1993: M. Ben-Ari: Mathematical Logic for Computer Science ... (previous) ... (next): Chapter $2$: Propositional Calculus: $\S 2.2$: Propositional formulas