Sanakirja
Tekoälykääntäjä
Kuvat
2
Synonyymit
| Kieli | Käännökset |
|---|---|
| hollanti | formele taal |
| puola | język formalny |
| ranska | langage formel |
| saksa | formale Sprache |
| suomi | formaali kieli |
| tšekki | formální jazyk |
| venäjä | формальный язык (formalnyi jazyk) |
Määritelmät
Substantiivi
Taivutusmuodot
| Monikko | formal languages |
(computing theory) A set of finite strings (called words) made of symbols (from a finite set of symbols, called an alphabet).
This diagram shows 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.