Hash :
9f68abc6
Author :
Thomas de Grivel
Date :
2020-05-17T17:22:33
specify semantics are for all data
Language
Thomas de Grivel thoxdg@gmail.com
2020-05-17
Any formal language usable with a model is composed of three things :
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 a set of 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 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 is valid use of the language for reasons pertaining to its semantics.
It is a direct application of the language schema.
Semantics are appliable to all data.
Data is a choice from the possibilities of the language schema driven by the semantics of the language.
Each datum represents a single valid use of the language and can be uniquely identified.
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
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 a set of 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.
Semantics are appliable to all data.
Data is a choice from the possibilities of the language schema
driven by the semantics of the language.
Each datum represents a single valid use of the language and can
be uniquely identified.