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