See formal language in All languages combined, or Wiktionary
Download JSON data for formal language meaning in English (4.8kB)
{
"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": "English entries with topic categories using raw markup",
"parents": [
"Entries with topic categories using raw markup",
"Entry maintenance"
],
"source": "w"
},
{
"kind": "other",
"name": "English terms with non-redundant non-automated sortkeys",
"parents": [
"Terms with non-redundant non-automated sortkeys",
"Entry maintenance"
],
"source": "w"
},
{
"kind": "other",
"name": "Tajik terms with redundant script codes",
"parents": [
"Terms with redundant script codes",
"Entry maintenance"
],
"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": "zaboni surī",
"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 entries with topic categories using raw markup",
"English lemmas",
"English multiword terms",
"English nouns",
"English terms with non-redundant non-automated sortkeys",
"Tajik terms with redundant script codes",
"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": "zaboni surī",
"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"
}
This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2024-05-06 from the enwiktionary dump dated 2024-05-02 using wiktextract (f4fd8c9 and c9440ce). 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.