formal language

English

Pronunciation

• Audio (Southern England):

  (file)

Noun

formal language (plural formal languages)

2. (computing theory) A set of finite strings (called words) made of symbols (from a finite set of symbols, called an alphabet).

   Hypernym: language

   Hyponyms: natural language, regular language, computer language

   Holonym: formal system

   Meronyms: alphabet, symbol, word

Translations

set of finite strings

• Afrikaans: formele taal
• Albanian: gjuhë formale f
• Arabic: لُغَة رَسْمِيَّة f (luḡa rasmiyya), لُغَة مُتَصَرِّفَة f (luḡa mutaṣarrifa), لُغَة صُورِيَّة f (luḡa ṣūriyya)
• Azerbaijani: rəsmi dil
• Belarusian: фарма́льная мо́ва f (farmálʹnaja móva)
• Bulgarian: форма́лен ези́к m (formálen ezík)
• Chinese:

  Mandarin: 形式語言 / 形式语言 (xíngshì yǔyán)

• Czech: formální jazyk m
• Danish: formalsprog n
• Dutch: formele taal m or f
• Esperanto: formala lingvo, artefarita lingvo
• Estonian: ametlik keel
• Finnish: formaali kieli (fi)
• French: langage formel (fr) m
• German: formale Sprache (de) f
• Greek: τυπική γλώσσα (el) f (typikí glóssa)
• Hebrew: שָׂפָה פוֹרְמָלִית (he) f (safá formalít), שָׂפָה רִשְׁמִית (he) f (safá rishmít)
• Hindi: औपचारिक भाषा f (aupcārik bhāṣā)
• Hungarian: formális nyelv
• Indonesian: bahasa formal
• Irish: teanga fhoirmiúil f
• Italian: linguaggio formale m
• Japanese: 形式言語 (けいしきげんご, keishiki gengo)
• Korean: 형식 언어(形式言語) (hyeongsik eoneo)
• Latvian: formāla valoda f
• Lithuanian: formalioji kalba f
• Macedonian: форма́лен јазик m (formálen jazik)
• Norwegian:

  Bokmål: formelt språk n

• Persian:

  Iranian Persian: زَبانِ صوری (zabân-e suri)

• Polish: język formalny m
• Portuguese: linguagem formal (pt) f
• Romanian: limbaj formal n
• Russian: форма́льный язы́к (formálʹnyj jazýk)
• Scottish Gaelic: cainnt foirmeil f
• Serbo-Croatian:

  Cyrillic: формални језик m

  Latin: formalni jezik m

• Slovak: formálny jazyk m
• Slovene: formalni jezik m
• Spanish: lenguaje formal m
• Swedish: formellt språk n
• Tajik: забони сурӣ (zabon-i suri)
• Thai: ภาษาแบบแผน (paa-sǎa-bɛ̀ɛp-pɛ̌ɛn)
• Turkish: resmi dil
• Ukrainian: форма́льна мо́ва f (formálʹna móva)
• Uzbek: rasmiy til
• Vietnamese: ngôn ngữ hình thức (vi), ký ngữ hình thức