File:Formal languages.svg
From Infogalactic: the planetary knowledge core
Size of this PNG preview of this SVG file: 250 × 230 pixels. Other resolution: 261 × 240 pixels.
Original file (SVG file, nominally 250 × 230 pixels, file size: 3 KB)
Summary
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.
Licensing
Lua error in package.lua at line 80: module 'strict' not found.
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Thumbnail | Dimensions | User | Comment | |
---|---|---|---|---|---|
current | 22:03, 6 January 2017 | 250 × 230 (3 KB) | 127.0.0.1 (talk) | 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. |
- You cannot overwrite this file.
File usage
The following 4 pages link to this file: