English
Pronunciation
Noun
formal language (plural formal languages)
- (computing theory) A set of finite strings (called words) made of symbols (from a finite set of symbols, called an alphabet).[1]
- Hyponym: regular 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
|
References
- ^ Mirte Dekkers (December 2008), Stone Duality : An application in the theory of formal languages[1], Prof. dr. Mai Gehrke, retrieved 7 May 2019, page 7