Summary

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.
Author	Gregbard (talk) (Uploads)
Other versions	File:Formal languages.svg is a vector version of this file. It should be used in place of this PNG file when not inferior. File:Formal languages.png → File:Formal languages.svg For more information, see Help:SVG. In other languages Alemannisch ∙ Bahasa Indonesia ∙ Bahasa Melayu ∙ British English ∙ català ∙ čeština ∙ dansk ∙ Deutsch ∙ eesti ∙ English ∙ español ∙ Esperanto ∙ euskara ∙ français ∙ Frysk ∙ galego ∙ hrvatski ∙ Ido ∙ italiano ∙ lietuvių ∙ magyar ∙ Nederlands ∙ norsk bokmål ∙ norsk nynorsk ∙ occitan ∙ Plattdüütsch ∙ polski ∙ português ∙ português do Brasil ∙ română ∙ Scots ∙ sicilianu ∙ slovenčina ∙ slovenščina ∙ suomi ∙ svenska ∙ Tiếng Việt ∙ Türkçe ∙ vèneto ∙ Ελληνικά ∙ беларуская (тарашкевіца) ∙ български ∙ македонски ∙ нохчийн ∙ русский ∙ српски / srpski ∙ татарча/tatarça ∙ українська ∙ ქართული ∙ հայերեն ∙ বাংলা ∙ தமிழ் ∙ മലയാളം ∙ ไทย ∙ 한국어 ∙ 日本語 ∙ 简体中文 ∙ 繁體中文 ∙ עברית ∙ العربية ∙ فارسی ∙ +/−

Licensing

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

Original upload log

Transferred from en.wikipedia to Commons by Sfan00_IMG using CommonsHelper.

• 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.