Definition:Formal Grammar/Also known as
Jump to navigation
Jump to search
Formal Grammar: Also known as
The formal grammar of a formal language may also be called its syntax; however, a convenient viewpoint is to think of the formal grammar as explicating the syntax for the associated formal language.
Thus the formal grammar is a means to obtain a syntax for $\LL$, and multiple formal grammars may yield the same syntax.
Some sources call this merely a grammar, the term formal being taken for granted by the fact that a formal language is under discussion.
Sources
- 1993: M. Ben-Ari: Mathematical Logic for Computer Science ... (previous) ... (next): Chapter $1$: Introduction: $\S 1.2$: Propositional and predicate calculus
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): syntax: 1. (of a formal language)
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): syntax: 1. (of a formal language)