About: formal language     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : wikibase:Item, within Data Space : wikidata.demo.openlinksw.com associated with source document(s)

set of strings of symbols that may be constrained by rules that are specific to it; words whose letters are taken from an alphabet and are well-formed according to a specific set of rules

AttributesValues
rdf:type
owl:sameAs
description
  • исчисление, обычно цепочек, над конечным алфавитом (ru)
  • kendisine özgü kurallar tarafından kısıtlanabilecek sembol dizileri kümesi; harfleri bir alfabeden alınan ve belirli kurallara göre iyi biçimlendirilmiş kelimeler (tr)
  • linguaxe cuxos símbolos primitivos e reglas para unir estes símbolos están formalmente especificados (gl)
  • lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados (es)
  • insieme di stringhe di lunghezza finita costruite sopra un alfabeto finito, che possono essere soggette a regole specifiche (it)
  • множина скінчених послідовностей символів, які описуються правилами певного виду (uk)
  • conxuntu de cadenes de símbolos que puen unise con regles específiques pa él, colos símbolos sacaos d'un alfabetu, y onde les regles pa unir esos símbolos tán especificaes formalmente (ast)
  • abstrakte Sprache, die mathematisch ausgedrückt und verwendet wird (de)
  • Tipo de linguagem normativa de um idioma. (pt)
  • مجموعة من سلاسل الرموز التي قد تكون مقيدة بقواعد خاصة بها ؛ كلمات مأخوذة أحرفها من الأبجدية ويتم تشكيلها بشكل جيد وفقًا لمجموعة معينة من القواعد (ar)
  • 一組符號字符串,可能受特定於它的規則約束' (zh)
  • קבוצה של סימנים במתמטיקה, לוגיקה ומדעי המחשב (he)
  • množina konečných řetězců nad určitou abecedou (cs)
  • ensemble de chaînes de symboles contraintes par des règles (fr)
  • set of strings of symbols that may be constrained by rules that are specific to it; words whose letters are taken from an alphabet and are well-formed according to a specific set of rules (en)
  • 文章を規定の解釈のみ可能な言語 (ja)
  • tietojenkäsittelytieteessä, matematiikassa ja logiikassa äärellisen pituisten merkkijonojen joukko, jotka on muodostettu jostakin äärellisestä aakkostosta (fi)
rdfs:label
  • formale Sprache (de)
  • formal language (en)
  • linguagem formal (pt)
  • фармальная мова (be-tarask)
  • формален јазик (mk)
  • 形式言語 (ja)
  • 形式語言 (zh)
  • 形式语言 (zh-hans)
  • llenguatge formal (ca)
  • формальный язык (ru)
  • rasmiy til (uz)
  • formellt språk (sv)
  • lenguaje formal (es)
  • формальна мова (uk)
  • bahasa formal (id)
  • bahasa formal (ms)
  • biçimsel dil (tr)
  • formaali kieli (fi)
  • formaallâš kielâ (smn)
  • formaalʼlaž ǩiõll (sms)
  • formal dillər (az)
  • formal leid (sco)
  • formala lingvo (eo)
  • formali kalba (lt)
  • formalni jezik (bs)
  • formalni jezik (hr)
  • formalni jezik (sl)
  • formalni jezik (sh)
  • formalni jezik (sr-el)
  • formele taal (nl)
  • formelt sprog (da)
  • formelt språk (nb)
  • formelt språk (nn)
  • formális nyelv (hu)
  • formálny jazyk (sk)
  • formální jazyk (cs)
  • gjuhë formale (sq)
  • język formalny (pl)
  • langage formel (fr)
  • langaj fòmèl (ht)
  • lenguagg formal (lmo)
  • lenguaige formal (mwl)
  • lenguajo formałe (vec)
  • limbaj formal (ro)
  • lingua formal (lfn)
  • linguaggio formale (it)
  • linguaxe formal (gl)
  • llinguaxe formal (ast)
  • ngôn ngữ hình thức (vi)
  • teanga fhoirmiúil (ga)
  • τυπική γλώσσα (el)
  • фармальная мова (be)
  • формал тел (tt)
  • формал тел (tt-cyrl)
  • формален език (bg)
  • формални језик (sr)
  • формални језик (sr-ec)
  • שפה פורמלית (he)
  • بهاس فورمل (ms-arab)
  • رمزيت (sd)
  • زبان صوری (fa)
  • زمانی شێوەیی (ckb)
  • لغة متصرفة (ar)
  • ߞߊ߲߫ ߛߎ߯ߦߊ (nqo)
  • औपचारिक भाषा (hi)
  • ഫോർമൽ ലാങ്വേജ് (ml)
  • ภาษารูปนัย (th)
  • 形式語言 (zh-hk)
  • 形式語言 (zh-tw)
  • 形式語言 (zh-hant)
  • 形式語言 (yue)
  • 形式语言 (zh-cn)
  • 形式语言 (zh-sg)
  • 형식 언어 (ko)
skos:prefLabel
  • formale Sprache (de)
  • formal language (en)
  • linguagem formal (pt)
  • фармальная мова (be-tarask)
  • формален јазик (mk)
  • 形式言語 (ja)
  • 形式語言 (zh)
Faceted Search & Find service v1.16.117 as of May 05 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 07.20.3239 as of May 5 2024, on Linux (x86_64-centos_6-linux-gnu), Single-Server Edition (378 GB total memory, 181 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software