@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q192161 rdfs:label "لغة متصرفة"@ar,
        "llinguaxe formal"@ast,
        "formal dillər"@az,
        "фармальная мова"@be,
        "фармальная мова"@be-tarask,
        "формален език"@bg,
        "formalni jezik"@bs,
        "llenguatge formal"@ca,
        "زمانی شێوەیی"@ckb,
        "formální jazyk"@cs,
        "formalsprog"@da,
        "formale Sprache"@de,
        "τυπική γλώσσα"@el,
        "formal language"@en,
        "formala lingvo"@eo,
        "lenguaje formal"@es,
        "زبان صوری"@fa,
        "formaali kieli"@fi,
        "langage formel"@fr,
        "teanga fhoirmiúil"@ga,
        "linguaxe formal"@gl,
        "שפה פורמלית"@he,
        "औपचारिक भाषा"@hi,
        "formalni jezik"@hr,
        "langaj fòmèl"@ht,
        "formális nyelv"@hu,
        "bahasa formal"@id,
        "formala linguo"@io,
        "linguaggio formale"@it,
        "形式言語"@ja,
        "ფორმალური ენა"@ka,
        "형식 언어"@ko,
        "lingua formalis"@la,
        "formal Sprooch"@lb,
        "lingua formal"@lfn,
        "lenguagg formal"@lmo,
        "formali kalba"@lt,
        "формален јазик"@mk,
        "ഫോർമൽ ലാങ്വേജ്"@ml,
        "bahasa formal"@ms,
        "بهاس فورمل"@ms-arab,
        "lenguaige formal"@mwl,
        "အရပ်သုံး ဘာသာစကား"@my,
        "formelt språk"@nb,
        "formele taal"@nl,
        "formelt språk"@nn,
        "ߞߊ߲߫ ߛߎ߯ߦߊ"@nqo,
        "język formalny"@pl,
        "linguagem formal"@pt,
        "limbaj formal"@ro,
        "формальный язык"@ru,
        "formal leid"@sco,
        "رمزيت"@sd,
        "formalni jezik"@sh,
        "formálny jazyk"@sk,
        "formalni jezik"@sl,
        "formaallâš kielâ"@smn,
        "formaalʼlaž ǩiõll"@sms,
        "gjuhë formale"@sq,
        "формални језик"@sr,
        "формални језик"@sr-ec,
        "formalni jezik"@sr-el,
        "formellt språk"@sv,
        "ภาษารูปนัย"@th,
        "biçimsel dil"@tr,
        "формал тел"@tt,
        "формал тел"@tt-cyrl,
        "формальна мова"@uk,
        "rasmiy til"@uz,
        "lenguajo formałe"@vec,
        "ngôn ngữ hình thức"@vi,
        "形式語言"@yue,
        "vah hingzsik"@za,
        "ⵜⴰⵎⵙⵍⴰⵢⵜ ⵜⴰⵍⵖⴰⵏⵜ"@zgh,
        "形式語言"@zh,
        "形式语言"@zh-cn,
        "形式语言"@zh-hans,
        "形式語言"@zh-hant,
        "形式語言"@zh-hk,
        "形式语言"@zh-sg,
        "形式語言"@zh-tw ;
    schema1:dateModified "2026-10-09T21:56:12+00:00"^^xsd:dateTime ;
    schema1:description "مجموعة من سلاسل الرموز التي قد تكون مقيدة بقواعد خاصة بها ؛ كلمات مأخوذة أحرفها من الأبجدية ويتم تشكيلها بشكل جيد وفقًا لمجموعة معينة من القواعد"@ar,
        "conxuntu de cadenes de símbolos que puen unise con regles específiques pa él, colos símbolos sacaos d'un alfabetu, y onde les regles pa unir esos símbolos tán especificaes formalmente"@ast,
        "množina konečných řetězců nad určitou abecedou"@cs,
        "abstrakt sprog, der udtrykkes og bruges matematisk"@da,
        "abstrakte Sprache, die mathematisch ausgedrückt und verwendet wird"@de,
        "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,
        "lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados"@es,
        "tietojenkäsittelytieteessä, matematiikassa ja logiikassa äärellisen pituisten merkkijonojen joukko, jotka on muodostettu jostakin äärellisestä aakkostosta"@fi,
        "ensemble de chaînes de symboles contraintes par des règles"@fr,
        "linguaxe cuxos símbolos primitivos e reglas para unir estes símbolos están formalmente especificados"@gl,
        "קבוצה של סימנים במתמטיקה, לוגיקה ומדעי המחשב"@he,
        "himpunan simbol yang dibatasi oleh aturan spesifik untuk himpunan tersebut; kata-kata yang tersusun dari abjad dan susunannya mengikuti aturan tertentu dengan baik"@id,
        "insieme di stringhe di lunghezza finita costruite sopra un alfabeto finito"@it,
        "文章を規定の解釈のみ可能な言語"@ja,
        "სიმბოლოების სტრიქონთა სიმრავლე, რომლებიც მოცემული წესების შესაბამისად არის ფორმირებული."@ka,
        "theoretische informatica, set strings"@nl,
        "Tipo de linguagem normativa de um idioma."@pt,
        "set de șiruri de simboluri care pot fi constrânse de reguli specifice; cuvinte ale căror litere sunt preluate dintr-un alfabet și sunt bine formate conform unui set specific de reguli"@ro,
        "исчисление, обычно цепочек, над конечным алфавитом"@ru,
        "en mängd ord över ett alfabet Σ"@sv,
        "kendisine özgü kurallar tarafından kısıtlanabilecek sembol dizileri kümesi; harfleri bir alfabeden alınan ve belirli kurallara göre iyi biçimlendirilmiş kelimeler"@tr,
        "множина скінчених послідовностей символів, які описуються правилами певного виду"@uk,
        "用数学方法，借助标记和符号研究自然语言和人工语言生成和转换机制与规则的语言"@zh ;
    schema1:version 2555417332 ;
    wikibase:identifiers 27 ;
    wikibase:sitelinks 56 ;
    wikibase:statements 57 ;
    skos:altLabel "لغة صورية"@ar,
        "llinguaxes formales"@ast,
        "формални езици"@bg,
        "formalització"@ca,
        "formelt programsprog"@da,
        "Wortmenge"@de,
        "formale Programmiersprache"@de,
        "θεωρία τυπικών γλωσσών"@el,
        "lenguajes formales"@es,
        "زبان فرمال"@fa,
        "زبان های صورت گرا"@fa,
        "زبان های صوری"@fa,
        "زبان های فرمال"@fa,
        "زبانهای صورتگرا"@fa,
        "زبانهای صوری"@fa,
        "زبانهای فرمال"@fa,
        "formaalinen kieli"@fi,
        "muodollinen kieli"@fi,
        "logistique"@fr,
        "théorie des langages"@fr,
        "teanga fhoirmeálta"@ga,
        "linguaxes formais"@gl,
        "שפות פורמליות"@he,
        "umjetni jezik"@hr,
        "linguaggi formali"@it,
        "形式言語理論"@ja,
        "형식언어"@ko,
        "formele taal (theoretische informatica)"@nl,
        "formele talen"@nl,
        "formalspråk"@nn,
        "ߗߏ߯ߦߊ"@nqo,
        "ߛߎ߯ߦߊ"@nqo,
        "ߞߍߢߊ"@nqo,
        "ߦߋߢߊ"@nqo,
        "lfa"@pt,
        "linguagens formais"@pt,
        "linguagens formais e compiladores"@pt,
        "teoria das linguagens formais e dos autômatos"@pt,
        "limbaje formale"@ro,
        "формализированный язык"@ru,
        "формализованный язык"@ru,
        "Језик"@sr,
        "формалан језик"@sr,
        "формална лингвистичка анализа"@sr,
        "формални израз"@sr,
        "формални језици"@sr,
        "мови формальні"@uk,
        "формальні мови"@uk,
        "形式化语言"@zh,
        "形式语言"@zh,
        "补语言"@zh ;
    p:P10283 wds:Q192161-BD7B1D79-79D9-462D-A586-8D7D0A9B7830 ;
    p:P1036 wds:Q192161-E76AEBA6-4C98-4C12-97B1-59274A3273B6 ;
    p:P10565 wds:Q192161-4D7CF3D4-5715-4176-8255-262070EE7A79 ;
    p:P11514 wds:Q192161-99C2E7A6-D2E0-4045-9835-D7D2ADE10D79 ;
    p:P13397 wds:Q192161-C1C74A03-AC19-4445-81DC-FEEED11AE293 ;
    p:P13591 wds:Q192161-BFF61151-5172-433A-9E3D-E01FC7C5186E ;
    p:P1417 wds:Q192161-D7D4B5B8-6364-4F26-BC60-C00BEEDC6B80 ;
    p:P1424 wds:Q192161-6a1a57c3-c105-4f9d-b7a2-d0569caa55ba ;
    p:P14541 wds:Q192161-9B7FE269-C905-44B5-989C-39362DD9CA91 ;
    p:P1482 wds:Q192161-154f8be7-453e-634a-19d6-485f24a52ab6,
        wds:Q192161-922dd090-4515-c610-b6e7-9e7b90ab7c34,
        wds:Q192161-93097129-455c-fbea-95ed-e69e6102f4ad,
        wds:Q192161-aafa5afa-4d92-31bb-e642-87949673aa83,
        wds:Q192161-b6f11a54-4bc1-c79a-ebb5-ce8801703e94,
        wds:Q192161-d0731897-4fce-afb0-000e-0386acd2a568 ;
    p:P1552 wds:Q192161-76f90161-47ae-f4ec-de1a-8141f3d3aa4b,
        wds:Q192161-d7cfa279-48bf-617d-d058-55ae8ad2e068 ;
    p:P1709 wds:Q192161-f0e7fece-445c-0975-cd4d-ada973eb6228 ;
    p:P18 wds:Q192161-a955b891-4a49-90ee-3c84-4b6a02314b29 ;
    p:P1889 wds:Q192161-15b76142-4c1b-f4a3-2949-8b0a81806b47,
        wds:Q192161-643bb77a-421f-bbe2-bc8e-2b0db5aab741,
        wds:Q192161-7a66ffe9-420a-340c-ab15-b52a3e7e5c51,
        wds:Q192161-ee797ad8-4848-53b7-491b-b640d6b7663a ;
    p:P227 wds:Q192161-9E0BAC9C-851B-4EAD-8BBD-276AF56A1CE4 ;
    p:P244 wds:Q192161-3D151259-7A7D-414D-92D3-D089E932FEA8 ;
    p:P2534 wds:Q192161-84f30edb-4695-cea5-03c7-e0943a301d86 ;
    p:P2579 wds:Q192161-fdacee29-48d9-01a5-14e1-db9e8446728e ;
    p:P2581 wds:Q192161-57CE6AB2-99ED-449B-8E66-F293AF58FE0B ;
    p:P268 wds:Q192161-03a266e8-a953-4d8d-9b30-d03a5ce6db16 ;
    p:P279 wds:Q192161-658ff013-43d5-ecbe-ac7a-b966988ae9a0,
        wds:Q192161-90cc8787-4dfd-be4e-14f7-50b4570c5f0e ;
    p:P2812 wds:Q192161-dfd921e0-44e7-6fa6-3d76-b1e45a59255f ;
    p:P2924 wds:Q192161-bd0a287a-47fe-c539-ed25-cdf29278035b ;
    p:P31 wds:Q192161-29f5711b-404c-cc90-6e0b-44cea2bae093,
        wds:Q192161-32b64db9-4726-fa31-4434-543a54d55967,
        wds:Q192161-f7777e2b-4938-cdda-97c2-cf2a31118bdd ;
    p:P349 wds:Q192161-F3162092-BE26-4756-A6D1-E3F2886F49E7 ;
    p:P3553 wds:Q192161-F6FC1244-8243-4989-92F5-CFA65CA2A6FA ;
    p:P366 wds:Q192161-b3f1b55f-4169-bb3e-ac6d-dab0c7e019ed ;
    p:P373 wds:Q192161-44EB14A4-1D8D-4A30-BFA6-EB85271EDB99 ;
    p:P3827 wds:Q192161-F8FDFB12-6077-46FE-8CA1-CA8DA35CA983 ;
    p:P508 wds:q192161-B1D22B85-0EF0-448B-8B63-2449652615A7 ;
    p:P5106 wds:Q192161-23A26189-4D8A-4C93-914C-93A29D4FE88C,
        wds:Q192161-3B5111AB-19A9-47D7-8E1E-E1497C6627B6 ;
    p:P6104 wds:Q192161-523B89DA-6BED-476F-848C-A8D7F611A175 ;
    p:P6366 wds:Q192161-91615F14-EE93-4CA7-83FB-99382C04802B ;
    p:P646 wds:Q192161-AF3ECD7B-6380-4914-B959-24AA9AD122BB ;
    p:P691 wds:Q192161-2A896567-35B2-487B-BEA0-A7A3A2FE9C24 ;
    p:P7235 wds:Q192161-1b7ab960-4505-0e6c-8466-aae8f1a1ee3a,
        wds:Q192161-32a7b420-441b-8533-17f6-628efd73ff25,
        wds:Q192161-7176e8c2-4dfe-824f-fbdd-fef3da403713,
        wds:Q192161-757bb437-4cf8-10ac-58da-52094c09a096 ;
    p:P8189 wds:Q192161-E78DF2C2-3EDA-4E76-861E-4EED4593BFB6 ;
    p:P8408 wds:Q192161-57514202-BE60-4420-90CC-09A17F9BA6D1 ;
    p:P910 wds:Q192161-5EF636BC-D08C-4114-A9D2-CC64C1FF37EE ;
    p:P9322 wds:Q192161-2D34CBEB-A4FB-4E1A-9AD1-146479CCD729 ;
    p:P9807 wds:Q192161-e9af44ac-4226-0201-e0f2-d931260f5326 ;
    wdtn:P227 <https://d-nb.info/gnd/4017848-1> ;
    wdtn:P244 <http://id.loc.gov/authorities/names/sh85050802> ;
    wdtn:P2581 <http://babelnet.org/rdf/s00213650n> ;
    wdtn:P268 <http://data.bnf.fr/ark:/12148/cb11967270h#about> ;
    wdtn:P349 <http://id.ndl.go.jp/auth/ndlna/00576869> ;
    wdtn:P508 <http://purl.org/bncf/tid/5999> ;
    wdtn:P6366 <https://makg.org/entity/146072743> ;
    wdtn: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 wd:Q128006923 ;
    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 wd:Q373045,
        wd:Q5469969 ;
    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 wd:Q104597585,
        wd:Q11688701,
        wd:Q3247505,
        wd:Q34770 ;
    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 wd:Q3984091 ;
    wdt:P2581 "00213650n" ;
    wdt:P268 "11967270h" ;
    wdt:P279 wd:Q34770,
        wd:Q649732 ;
    wdt:P2812 "FormalLanguage" ;
    wdt:P31 wd:Q20829075,
        wd:Q66664364,
        wd:Q66747126 ;
    wdt:P349 "00576869" ;
    wdt:P3553 "19669474" ;
    wdt:P366 wd:Q833585 ;
    wdt:P373 "Formal languages" ;
    wdt:P3827 "formal-languages" ;
    wdt:P508 "5999" ;
    wdt:P5106 "formalLanguage",
        "language" ;
    wdt:P6104 wd:Q8487137 ;
    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 wd:Q7142640 ;
    wdt:P9322 "0202662-formalni-jazyky" ;
    wdt:P9807 "179914" .