|Formal grammar & syntax of formal languages email@example.com (Florian Kaufmann) (2008-01-06)|
|Re: Formal grammar & syntax of formal languages firstname.lastname@example.org (SM Ryan) (2008-01-07)|
|Re: Formal grammar & syntax of formal languages DrDiettrich1@aol.com (Hans-Peter Diettrich) (2008-01-07)|
|Re: Formal grammar & syntax of formal languages email@example.com (mefrill) (2008-01-08)|
|Re: Formal grammar & syntax of formal languages firstname.lastname@example.org (2008-01-13)|
|From:||SM Ryan <email@example.com>|
|Date:||Mon, 07 Jan 2008 01:57:02 -0000|
|Organization:||Quick STOP Groceries|
|Posted-Date:||06 Jan 2008 22:46:43 EST|
Florian Kaufmann <firstname.lastname@example.org> wrote:
# Is there a difference in meaning between the terms "formal grammar"
# and "syntax of a formal language"? After reading through wikipedia, I
# think they both mean the same thing: The set of rules that specify
# which strings are part of the formal language.
A formal grammar is a formal language to describe a formal language.
A formal language is distinguished from a natural language in that a
formal language can be recognised by some abstract machine up to a
Turing machine (turbocharged or normal). A natural language be the
same or it might transcend the Chomsky hierarchy: it's not yet
provable which way yet. (Everyone knows the answer, but they can't
The ways you are allowed to put together the symbols of a language is
its syntax. You can describe the syntax in a formal language (such as
BNF or vW2 or VDL or whatever gcc accepts), or you can describe the
syntax in natural language. The first would be a formal syntax, the
latter would be an informal syntax. Whether you want the grammar to be
just the syntax or the syntax and semantics, either way you can have a
The Algol 68 Revised Report is a formal grammar of a computer
language. ISO/IEC 9899:1999 is combined formal and informal grammar of
SM Ryan http://www.rawbw.com/~wyrmwif/
This is one wacky game show.
Return to the
Search the comp.compilers archives again.