formal language

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
rdfs:label
"formal language"@en
skos:altLabel
"لغة صورية"@ar
schema:description
"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
schema:dateModified "2026-10-09T21:56:12+00:00"^^xsd:dateTime
schema:version 2555417332
wikibase:identifiers 27
wikibase:sitelinks 56
wikibase:statements 57
p:P10283 wd:statement/Q192161-BD7B1D79-79D9-462D-A586-8D7D0A9B7830
p:P1036 wd:statement/Q192161-E76AEBA6-4C98-4C12-97B1-59274A3273B6
p:P10565 wd:statement/Q192161-4D7CF3D4-5715-4176-8255-262070EE7A79
p:P11514 wd:statement/Q192161-99C2E7A6-D2E0-4045-9835-D7D2ADE10D79
p:P13397 wd:statement/Q192161-C1C74A03-AC19-4445-81DC-FEEED11AE293
p:P13591 wd:statement/Q192161-BFF61151-5172-433A-9E3D-E01FC7C5186E
p:P1417 wd:statement/Q192161-D7D4B5B8-6364-4F26-BC60-C00BEEDC6B80
p:P1424 wd:statement/Q192161-6a1a57c3-c105-4f9d-b7a2-d0569caa55ba
p:P14541 wd:statement/Q192161-9B7FE269-C905-44B5-989C-39362DD9CA91
p:P1482 wd:statement/Q192161-154f8be7-453e-634a-19d6-485f24a52ab6
wd:statement/Q192161-922dd090-4515-c610-b6e7-9e7b90ab7c34
wd:statement/Q192161-93097129-455c-fbea-95ed-e69e6102f4ad
wd:statement/Q192161-aafa5afa-4d92-31bb-e642-87949673aa83
wd:statement/Q192161-b6f11a54-4bc1-c79a-ebb5-ce8801703e94
wd:statement/Q192161-d0731897-4fce-afb0-000e-0386acd2a568
p:P1552 wd:statement/Q192161-76f90161-47ae-f4ec-de1a-8141f3d3aa4b
wd:statement/Q192161-d7cfa279-48bf-617d-d058-55ae8ad2e068
p:P1709 wd:statement/Q192161-f0e7fece-445c-0975-cd4d-ada973eb6228
p:P18 wd:statement/Q192161-a955b891-4a49-90ee-3c84-4b6a02314b29
p:P1889 wd:statement/Q192161-15b76142-4c1b-f4a3-2949-8b0a81806b47
wd:statement/Q192161-643bb77a-421f-bbe2-bc8e-2b0db5aab741
wd:statement/Q192161-7a66ffe9-420a-340c-ab15-b52a3e7e5c51
wd:statement/Q192161-ee797ad8-4848-53b7-491b-b640d6b7663a
p:P227 wd:statement/Q192161-9E0BAC9C-851B-4EAD-8BBD-276AF56A1CE4
p:P244 wd:statement/Q192161-3D151259-7A7D-414D-92D3-D089E932FEA8
p:P2534 wd:statement/Q192161-84f30edb-4695-cea5-03c7-e0943a301d86
p:P2579 wd:statement/Q192161-fdacee29-48d9-01a5-14e1-db9e8446728e
p:P2581 wd:statement/Q192161-57CE6AB2-99ED-449B-8E66-F293AF58FE0B
p:P268 wd:statement/Q192161-03a266e8-a953-4d8d-9b30-d03a5ce6db16
p:P279 wd:statement/Q192161-658ff013-43d5-ecbe-ac7a-b966988ae9a0
wd:statement/Q192161-90cc8787-4dfd-be4e-14f7-50b4570c5f0e
p:P2812 wd:statement/Q192161-dfd921e0-44e7-6fa6-3d76-b1e45a59255f
p:P2924 wd:statement/Q192161-bd0a287a-47fe-c539-ed25-cdf29278035b
p:P31 wd:statement/Q192161-29f5711b-404c-cc90-6e0b-44cea2bae093
wd:statement/Q192161-32b64db9-4726-fa31-4434-543a54d55967
wd:statement/Q192161-f7777e2b-4938-cdda-97c2-cf2a31118bdd
p:P349 wd:statement/Q192161-F3162092-BE26-4756-A6D1-E3F2886F49E7
p:P3553 wd:statement/Q192161-F6FC1244-8243-4989-92F5-CFA65CA2A6FA
p:P366 wd:statement/Q192161-b3f1b55f-4169-bb3e-ac6d-dab0c7e019ed
p:P373 wd:statement/Q192161-44EB14A4-1D8D-4A30-BFA6-EB85271EDB99
p:P3827 wd:statement/Q192161-F8FDFB12-6077-46FE-8CA1-CA8DA35CA983
p:P508 wd:statement/q192161-B1D22B85-0EF0-448B-8B63-2449652615A7
p:P5106 wd:statement/Q192161-23A26189-4D8A-4C93-914C-93A29D4FE88C
wd:statement/Q192161-3B5111AB-19A9-47D7-8E1E-E1497C6627B6
p:P6104 wd:statement/Q192161-523B89DA-6BED-476F-848C-A8D7F611A175
p:P6366 wd:statement/Q192161-91615F14-EE93-4CA7-83FB-99382C04802B
p:P646 wd:statement/Q192161-AF3ECD7B-6380-4914-B959-24AA9AD122BB
p:P691 wd:statement/Q192161-2A896567-35B2-487B-BEA0-A7A3A2FE9C24
p:P7235 wd:statement/Q192161-1b7ab960-4505-0e6c-8466-aae8f1a1ee3a
wd:statement/Q192161-32a7b420-441b-8533-17f6-628efd73ff25
wd:statement/Q192161-7176e8c2-4dfe-824f-fbdd-fef3da403713
wd:statement/Q192161-757bb437-4cf8-10ac-58da-52094c09a096
p:P8189 wd:statement/Q192161-E78DF2C2-3EDA-4E76-861E-4EED4593BFB6
p:P8408 wd:statement/Q192161-57514202-BE60-4420-90CC-09A17F9BA6D1
p:P910 wd:statement/Q192161-5EF636BC-D08C-4114-A9D2-CC64C1FF37EE
p:P9322 wd:statement/Q192161-2D34CBEB-A4FB-4E1A-9AD1-146479CCD729
p:P9807 wd:statement/Q192161-e9af44ac-4226-0201-e0f2-d931260f5326
p:direct-normalized/P227 <https://d-nb.info/gnd/4017848-1>
p:direct-normalized/P244 <http://id.loc.gov/authorities/names/sh85050802>
p:direct-normalized/P2581 <http://babelnet.org/rdf/s00213650n>
p:direct-normalized/P268 <http://data.bnf.fr/ark:/12148/cb11967270h#about>
p:direct-normalized/P349 <http://id.ndl.go.jp/auth/ndlna/00576869>
p:direct-normalized/P508 <http://purl.org/bncf/tid/5999>
p:direct-normalized/P6366 <https://makg.org/entity/146072743>
p:direct-normalized/P8408 <http://kbpedia.org/kko/rc/FormalLanguage>
wdt:P10283 "C146072743"
wdt:P1036 "511.3"
wdt:P10565 "171262"
wdt:P11514 "formalizovannyi-iazyk-18aa21"
wdt:P13397 "formal+languages"
wdt:P13591 "concept/24fceff3-ba07-48b4-a446-7f8b073ec11f"
wdt:P1417 "topic/formal-language"
wdt:P1424 Template:Formal languages
wdt:P14541 "11PN4"
wdt:P1482 <https://cs.stackexchange.com/tags/formal-languages>
<https://cstheory.stackexchange.com/tags/fl.formal-languages>
<https://math.stackexchange.com/tags/formal-languages>
<https://mathoverflow.net/tags/formal-languages>
<https://proofassistants.stackexchange.com/tags/formal-languages>
<https://stackoverflow.com/tags/formal-languages>
wdt:P1552 formal grammar
formal semantics
wdt:P1709 <http://www.ease-crc.org/ont/SOMA.owl#FormalLanguage>
wdt:P18 <http://commons.wikimedia.org/wiki/Special:FilePath/Syntax%20tree.svg>
wdt:P1889 formal register
formalized language
artificial language
language
wdt:P227 "4017848-1"
wdt:P244 "sh85050802"
wdt:P2534 "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi>L</mi><mo stretchy="false">=</mo><mo fence="false" stretchy="false">{</mo><mi>w</mi><mo stretchy="false">:</mo><mi>w</mi><mo stretchy="false">&#x2208;</mo><msup><mi mathvariant="normal">&#x03A3;</mi><mrow data-mjx-texclass="ORD"><mo stretchy="false">*</mo></mrow></msup><mo fence="false" stretchy="false">}</mo></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML
wdt:P2579 formal language theory
wdt:P2581 "00213650n"
wdt:P268 "11967270h"
wdt:P279 language
formal system
wdt:P2812 "FormalLanguage"
wdt:P31 type of language
linguistic term
computer science term
wdt:P349 "00576869"
wdt:P3553 "19669474"
wdt:P366 foundations of mathematics
wdt:P373 "Formal languages"
wdt:P3827 "formal-languages"
wdt:P508 "5999"
wdt:P5106 "formalLanguage"
"language"
wdt:P6104 WikiProject Mathematics
wdt:P6366 "146072743"
wdt:P646 "/m/02ymn"
wdt:P691 "ph208851"
wdt:P7235 "<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi mathvariant="normal">&#x03A3;</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML
"<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi>L</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML
"<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mi>w</mi></mstyle></mrow></math>"^^http://www.w3.org/1998/Math/MathML
"<math class="mwe-math-element mwe-math-element-inline" xmlns="http://www.w3.org/1998/Math/MathML"><msup> <mrow data-mjx-texclass="ORD"><mo stretchy="false">*</mo></mrow></msup></math>"^^http://www.w3.org/1998/Math/MathML
wdt:P8189 "987007545721205171"
wdt:P8408 "FormalLanguage"
wdt:P910 Category:Formal languages
wdt:P9322 "0202662-formalni-jazyky"
wdt:P9807 "179914"
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata