Definition:Syntax
From ProofWiki
Definition
The syntax of a language (either natural or formal) is its structure.
The syntax of a formal language is defined by its rules of formation.
As such, the rules of formation of a formal language can be referred to as its syntax.
Compare with semantics.
Sources
- E.J. Lemmon: Beginning Logic (1965): $\S 2.1$
- M. Ben-Ari: Mathematical Logic for Computer Science (1993): $\S 1.2$
- H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability (1996): $\S 1, \ \S 2.2$
