thodg/slides/language/index.md
-
Show log
Commit
-
Hash : 9a62394b
Author :
Thomas de Grivel
Date : 2020-05-17T13:15:33
language: add sizing information
Language
Thomas de Grivel thoxdg@gmail.com
2020-05-17
Language
Structure
Three components
Any formal language usable with a model is composed of three things :
- A schema (or grammar)
- Semantics
- Data
Schema
In model theory a schema allows you to define an ontology, that is a definition of what can and cannot be expressed in your language.
It is the shape of your language, the rules which make any pattern part of the language or not.
The most used schemas for formal language definition are grammars.
The schema is a generalistic view of all the data that can be expressed in the language.
It can be a relative process where parts of the structure of the language are combined to form a more complex schema, e.g. a grammar made of simpler rules.
Semantics
Semantics tell you the meaning of the language. They describe how to translate your language into another one.
This is a relative process : a semantic is from a language to another, even if it is the same language acting as source and destination language.
Semantics give meaning to your language which otherwise is just another data model.
A number of programming languages also export the semantics of lower-level constructs such as mathematical operations from the processor or disk access from the kernel.
Semantics tells you how your language relates to other languages. It is a connection to other languages.
Data
Data is valid use of the language for reasons pertaining to its semantics.
It is a direct application of the language schema.
The data of the language is directed by the semantics of the language.
Usually the schema of the language has an entropy of orders of magnitude higher than the available storage space for the language data.
Data is a choice from the possibilities of the language schema driven by the semantics of the language.
It is the most precise use of the language. Each datum represents a single valid use of the language and can be uniquely identified.
Source
-
language/index.md
-
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76
Language Thomas de Grivel <thoxdg@gmail.com> https://kmx.io/ 2020-05-17 # Language ## Structure ### Three components Any formal language usable with a model is composed of three things : - A schema (or grammar) - Semantics - Data ### Schema In model theory a schema allows you to define an ontology, that is a definition of what can and cannot be expressed in your language. It is the shape of your language, the rules which make any pattern part of the language or not. The most used schemas for formal language definition are grammars. The schema is a generalistic view of all the data that can be expressed in the language. It can be a relative process where parts of the structure of the language are combined to form a more complex schema, e.g. a grammar made of simpler rules. ### Semantics Semantics tell you the meaning of the language. They describe how to translate your language into another one. This is a relative process : a semantic is from a language to another, even if it is the same language acting as source and destination language. Semantics give meaning to your language which otherwise is just another data model. A number of programming languages also export the semantics of lower-level constructs such as mathematical operations from the processor or disk access from the kernel. Semantics tells you how your language relates to other languages. It is a connection to other languages. ### Data Data is valid use of the language for reasons pertaining to its semantics. It is a direct application of the language schema. The data of the language is directed by the semantics of the language. Usually the schema of the language has an entropy of orders of magnitude higher than the available storage space for the language data. Data is a choice from the possibilities of the language schema driven by the semantics of the language. It is the most precise use of the language. Each datum represents a single valid use of the language and can be uniquely identified.