| dbo:description
|
- stringa di simboli che, intuitivamente, rappresenti un'espressione sintatticamente corretta e che viene definita mediante le regole della grammatica di un sistema formale (it)
- konečná posloupnost symbolů ve formálním jazyce, reprezentující nějaké (matematické) tvrzení v jisté formální teorii predikátové logiky prvního řádu (cs)
- secuencia de carácteres que cumple la norma gramatical de un lenguaje formal (es)
- secuencia finita de símbolos dun alfabeto dado que forma parte dunha linguaxe formal (gl)
- sekvens av symboler från ett givet alfabet (sv)
- finite sequence of symbols from a given alphabet that is part of a formal language (en)
- تسلسل محدود من الرموز من أبجدية معينة والتي هي جزء من لغة رسمية (ar)
- assemblages de lettres auxquels il est possible de donner une signification en termes de valeur de vérité (fr)
- 論理結合子の適用対象となる記号列 (ja)
- синтаксически верная строка в формальном языке (ru)
- et syntaktisk korrekt udtryk, der overholder logiksystemets regler og konventioner; reglerne specificerer, hvordan man konstruerer formler v.h.a. logiske symboler, variabler, kvantifikatorer og forbindelser. (da)
|
