Jump to content

File:Formal languages.png

Page contents not supported in other languages.
This is a file from the Wikimedia Commons
From Wikipedia, the free encyclopedia

Formal_languages.png (284 × 239 pixels, file size: 11 KB, MIME type: image/png)

Summary

Description
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  українська  ქართული  հայերեն  বাংলা  தமிழ்  മലയാളം  ไทย  한국어  日本語  简体中文  繁體中文  עברית  العربية  فارسی  +/−
New SVG image

Licensing

Public domain 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.

Original upload log

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

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

Items portrayed in this file

depicts

10 September 2009

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current17:39, 24 July 2013Thumbnail for version as of 17:39, 24 July 2013284 × 239 (11 KB)File Upload Bot (Magnus Manske)Transfered from en.wikipedia by User:Sfan00_IMG using CommonsHelper

The following page uses this file:

Metadata