See formal language in All languages combined, or Wiktionary
{
"forms": [
{
"form": "formal languages",
"tags": [
"plural"
]
}
],
"head_templates": [
{
"args": {},
"expansion": "formal language (plural formal languages)",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"categories": [
{
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w"
},
{
"kind": "other",
"name": "Entries with translation boxes",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with 1 entry",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Tajik terms with redundant script codes",
"parents": [
"Terms with redundant script codes",
"Entry maintenance"
],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Afrikaans translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Czech translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Dutch translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Esperanto translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Finnish translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with French translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with German translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Greek translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Irish translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Persian translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Polish translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Portuguese translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Russian translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Scottish Gaelic translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Serbo-Croatian translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Spanish translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Tajik translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Vietnamese translations",
"parents": [],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Linguistics",
"orig": "en:Linguistics",
"parents": [
"Language",
"Social sciences",
"Communication",
"Sciences",
"Society",
"All topics",
"Fundamental"
],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Logic",
"orig": "en:Logic",
"parents": [
"Formal sciences",
"Philosophy",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Mathematics",
"orig": "en:Mathematics",
"parents": [
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Theory of computing",
"orig": "en:Theory of computing",
"parents": [
"Computer science",
"Computing",
"Sciences",
"Technology",
"All topics",
"Fundamental"
],
"source": "w"
}
],
"examples": [
{
"text": "Holonym: formal system"
},
{
"text": "Meronyms: alphabet, symbol, word"
}
],
"glosses": [
"A set of finite strings (called words) made of symbols (from a finite set of symbols, called an alphabet)."
],
"hyponyms": [
{
"word": "regular language"
}
],
"id": "en-formal_language-en-noun-LzD2ngoP",
"links": [
[
"computing",
"computing#Noun"
],
[
"theory",
"theory"
],
[
"set",
"set#English"
],
[
"strings",
"string#English"
],
[
"words",
"word#English"
],
[
"symbols",
"symbol#English"
],
[
"alphabet",
"alphabet#English"
]
],
"raw_glosses": [
"(computing theory) A set of finite strings (called words) made of symbols (from a finite set of symbols, called an alphabet)."
],
"topics": [
"computing",
"computing-theory",
"engineering",
"mathematics",
"natural-sciences",
"physical-sciences",
"sciences"
],
"translations": [
{
"code": "af",
"lang": "Afrikaans",
"sense": "set of finite strings",
"word": "formele taal"
},
{
"code": "cs",
"lang": "Czech",
"sense": "set of finite strings",
"tags": [
"masculine"
],
"word": "formální jazyk"
},
{
"code": "nl",
"lang": "Dutch",
"sense": "set of finite strings",
"tags": [
"feminine",
"masculine"
],
"word": "formele taal"
},
{
"code": "eo",
"lang": "Esperanto",
"sense": "set of finite strings",
"word": "formala lingvo"
},
{
"code": "eo",
"lang": "Esperanto",
"sense": "set of finite strings",
"word": "artefarita lingvo"
},
{
"code": "fi",
"lang": "Finnish",
"sense": "set of finite strings",
"word": "formaali kieli"
},
{
"code": "fr",
"lang": "French",
"sense": "set of finite strings",
"word": "langage formel"
},
{
"code": "de",
"lang": "German",
"sense": "set of finite strings",
"word": "formale Sprache"
},
{
"code": "el",
"lang": "Greek",
"roman": "typikí glóssa",
"sense": "set of finite strings",
"tags": [
"feminine"
],
"word": "τυπική γλώσσα"
},
{
"code": "ga",
"lang": "Irish",
"sense": "set of finite strings",
"tags": [
"feminine"
],
"word": "teanga fhoirmiúil"
},
{
"code": "fa",
"lang": "Persian",
"sense": "set of finite strings",
"word": "زبان صوری"
},
{
"code": "pl",
"lang": "Polish",
"sense": "set of finite strings",
"tags": [
"masculine"
],
"word": "język formalny"
},
{
"code": "pt",
"lang": "Portuguese",
"sense": "set of finite strings",
"tags": [
"feminine"
],
"word": "linguagem formal"
},
{
"code": "ru",
"lang": "Russian",
"roman": "formálʹnyj jazýk",
"sense": "set of finite strings",
"word": "форма́льный язы́к"
},
{
"code": "gd",
"lang": "Scottish Gaelic",
"sense": "set of finite strings",
"tags": [
"feminine"
],
"word": "cainnt foirmeil"
},
{
"code": "sh",
"lang": "Serbo-Croatian",
"sense": "set of finite strings",
"tags": [
"masculine"
],
"word": "formalni jezik"
},
{
"code": "es",
"lang": "Spanish",
"sense": "set of finite strings",
"tags": [
"masculine"
],
"word": "lenguaje formal"
},
{
"code": "tg",
"lang": "Tajik",
"roman": "zabon-i suri",
"sense": "set of finite strings",
"word": "забони сурӣ"
},
{
"code": "vi",
"lang": "Vietnamese",
"sense": "set of finite strings",
"word": "ngôn ngữ hình thức"
},
{
"code": "vi",
"lang": "Vietnamese",
"sense": "set of finite strings",
"word": "ký ngữ hình thức"
}
],
"wikipedia": [
"formal language"
]
}
],
"word": "formal language"
}
{
"forms": [
{
"form": "formal languages",
"tags": [
"plural"
]
}
],
"head_templates": [
{
"args": {},
"expansion": "formal language (plural formal languages)",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"categories": [
"English countable nouns",
"English entries with incorrect language header",
"English lemmas",
"English multiword terms",
"English nouns",
"Entries with translation boxes",
"Pages with 1 entry",
"Pages with entries",
"Tajik terms with redundant script codes",
"Terms with Afrikaans translations",
"Terms with Czech translations",
"Terms with Dutch translations",
"Terms with Esperanto translations",
"Terms with Finnish translations",
"Terms with French translations",
"Terms with German translations",
"Terms with Greek translations",
"Terms with Irish translations",
"Terms with Persian translations",
"Terms with Polish translations",
"Terms with Portuguese translations",
"Terms with Russian translations",
"Terms with Scottish Gaelic translations",
"Terms with Serbo-Croatian translations",
"Terms with Spanish translations",
"Terms with Tajik translations",
"Terms with Vietnamese translations",
"en:Linguistics",
"en:Logic",
"en:Mathematics",
"en:Theory of computing"
],
"examples": [
{
"text": "Holonym: formal system"
},
{
"text": "Meronyms: alphabet, symbol, word"
}
],
"glosses": [
"A set of finite strings (called words) made of symbols (from a finite set of symbols, called an alphabet)."
],
"hyponyms": [
{
"word": "regular language"
}
],
"links": [
[
"computing",
"computing#Noun"
],
[
"theory",
"theory"
],
[
"set",
"set#English"
],
[
"strings",
"string#English"
],
[
"words",
"word#English"
],
[
"symbols",
"symbol#English"
],
[
"alphabet",
"alphabet#English"
]
],
"raw_glosses": [
"(computing theory) A set of finite strings (called words) made of symbols (from a finite set of symbols, called an alphabet)."
],
"topics": [
"computing",
"computing-theory",
"engineering",
"mathematics",
"natural-sciences",
"physical-sciences",
"sciences"
],
"wikipedia": [
"formal language"
]
}
],
"translations": [
{
"code": "af",
"lang": "Afrikaans",
"sense": "set of finite strings",
"word": "formele taal"
},
{
"code": "cs",
"lang": "Czech",
"sense": "set of finite strings",
"tags": [
"masculine"
],
"word": "formální jazyk"
},
{
"code": "nl",
"lang": "Dutch",
"sense": "set of finite strings",
"tags": [
"feminine",
"masculine"
],
"word": "formele taal"
},
{
"code": "eo",
"lang": "Esperanto",
"sense": "set of finite strings",
"word": "formala lingvo"
},
{
"code": "eo",
"lang": "Esperanto",
"sense": "set of finite strings",
"word": "artefarita lingvo"
},
{
"code": "fi",
"lang": "Finnish",
"sense": "set of finite strings",
"word": "formaali kieli"
},
{
"code": "fr",
"lang": "French",
"sense": "set of finite strings",
"word": "langage formel"
},
{
"code": "de",
"lang": "German",
"sense": "set of finite strings",
"word": "formale Sprache"
},
{
"code": "el",
"lang": "Greek",
"roman": "typikí glóssa",
"sense": "set of finite strings",
"tags": [
"feminine"
],
"word": "τυπική γλώσσα"
},
{
"code": "ga",
"lang": "Irish",
"sense": "set of finite strings",
"tags": [
"feminine"
],
"word": "teanga fhoirmiúil"
},
{
"code": "fa",
"lang": "Persian",
"sense": "set of finite strings",
"word": "زبان صوری"
},
{
"code": "pl",
"lang": "Polish",
"sense": "set of finite strings",
"tags": [
"masculine"
],
"word": "język formalny"
},
{
"code": "pt",
"lang": "Portuguese",
"sense": "set of finite strings",
"tags": [
"feminine"
],
"word": "linguagem formal"
},
{
"code": "ru",
"lang": "Russian",
"roman": "formálʹnyj jazýk",
"sense": "set of finite strings",
"word": "форма́льный язы́к"
},
{
"code": "gd",
"lang": "Scottish Gaelic",
"sense": "set of finite strings",
"tags": [
"feminine"
],
"word": "cainnt foirmeil"
},
{
"code": "sh",
"lang": "Serbo-Croatian",
"sense": "set of finite strings",
"tags": [
"masculine"
],
"word": "formalni jezik"
},
{
"code": "es",
"lang": "Spanish",
"sense": "set of finite strings",
"tags": [
"masculine"
],
"word": "lenguaje formal"
},
{
"code": "tg",
"lang": "Tajik",
"roman": "zabon-i suri",
"sense": "set of finite strings",
"word": "забони сурӣ"
},
{
"code": "vi",
"lang": "Vietnamese",
"sense": "set of finite strings",
"word": "ngôn ngữ hình thức"
},
{
"code": "vi",
"lang": "Vietnamese",
"sense": "set of finite strings",
"word": "ký ngữ hình thức"
}
],
"word": "formal language"
}
Download raw JSONL data for formal language meaning in English (4.2kB)
This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2025-02-03 from the enwiktionary dump dated 2025-01-20 using wiktextract (05fdf6b and 9dbd323). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.
If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.