This file was moved to Wikimedia Commons from en.wikipedia using a bot script. All source information is still present. It requires review. Additionally, there may be errors in any or all of the information fields; information on this file should not be considered reliable and the file should not be used until it has been reviewed and any needed corrections have been made. Once the review has been completed, this template should be removed. For details about this file, see below.Check now!
DescriptionFormal languages.png
English: : A diagram showing the syntactic divisions within a formal system. Strings of symbols may be broadly divided into nonsense and well-formed formulas. The set of well-formed formulas is divided into theorems and non-theorems.
Date
10 September 2009 (original upload date)
Source
I created this image myself on an image editor. I relinquish all rights to it.
This work has been released into the public domain by its author, Gregbard at English Wikipedia. This applies worldwide. In some countries this may not be legally possible; if so: Gregbard grants anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.Public domainPublic domainfalsefalse
The original description page was here. All following user names refer to en.wikipedia.
2009-09-13 01:13 Gregbard 284×239× (10990 bytes) Removed title which was confusing. A formal language is identical to its set of wffs. I created this image on an image editor myself. I relinquish all rights --GB.
2009-09-10 02:50 Gregbard 300×286× (12911 bytes) I created this image myself on an image editor. I relinquish all rights to it.
Captions
Add a one-line explanation of what this file represents