This HTML5 document contains 397 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
wdthttp://www.wikidata.org/prop/direct/
wdtnhttp://www.wikidata.org/prop/direct-normalized/
n11https://cstheory.stackexchange.com/tags/
n19https://stackoverflow.com/tags/
n16http://id.loc.gov/authorities/names/
n22http://id.ndl.go.jp/auth/ndlna/
n10https://cs.stackexchange.com/tags/
schemahttp://schema.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n13https://d-nb.info/gnd/
wikibasehttp://wikiba.se/ontology#
rchttp://kbpedia.org/kko/rc/
phttp://www.wikidata.org/prop/
n17http://babelnet.org/rdf/
n9https://mathoverflow.net/tags/
n20http://purl.org/bncf/tid/
n25http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n15https://makg.org/entity/
owlhttp://www.w3.org/2002/07/owl#
n14https://math.stackexchange.com/tags/
xsdhhttp://www.w3.org/2001/XMLSchema#
wdshttp://www.wikidata.org/entity/statement/
dbpediahttp://dbpedia.org/resource/
wdhttp://www.wikidata.org/entity/
n21http://data.bnf.fr/ark:/12148/cb11967270h#

Statements

Subject Item
wd:Q192161
rdf:type
wikibase:Item
owl:sameAs
dbpedia:Formal_language
schema:description
множина скінчених послідовностей символів, які описуються правилами певного виду קבוצה של סימנים במתמטיקה, לוגיקה ומדעי המחשב ensemble de chaînes de symboles contraintes par des règles abstrakte Sprache, die mathematisch ausgedrückt und verwendet wird tietojenkäsittelytieteessä, matematiikassa ja logiikassa äärellisen pituisten merkkijonojen joukko, jotka on muodostettu jostakin äärellisestä aakkostosta 一組符號字符串,可能受特定於它的規則約束' 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 množina konečných řetězců nad určitou abecedou исчисление, обычно цепочек, над конечным алфавитом 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 文章を規定の解釈のみ可能な言語 Tipo de linguagem normativa de um idioma. linguaxe cuxos símbolos primitivos e reglas para unir estes símbolos están formalmente especificados insieme di stringhe di lunghezza finita costruite sopra un alfabeto finito, che possono essere soggette a regole specifiche 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 مجموعة من سلاسل الرموز التي قد تكون مقيدة بقواعد خاصة بها ؛ كلمات مأخوذة أحرفها من الأبجدية ويتم تشكيلها بشكل جيد وفقًا لمجموعة معينة من القواعد lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados
rdfs:label
фармальная мова formellt språk formal language формальна мова formelt språk formalni jezik ߞߊ߲߫ ߛߎ߯ߦߊ lenguajo formałe język formalny langage formel ngôn ngữ hình thức بهاس فورمل 形式語言 形式言語 lenguaje formal שפה פורמלית lenguaige formal linguaxe formal langaj fòmèl formal leid formalni jezik formális nyelv формален јазик llenguatge formal 形式語言 lingua formal ഫോർമൽ ലാങ്വേജ് формални језик formaalʼlaž ǩiõll formalni jezik formelt språk 形式语言 formali kalba formale Sprache زمانی شێوەیی 形式語言 formal dillər رمزيت формал тел limbaj formal ภาษารูปนัย lenguagg formal formelt sprog औपचारिक भाषा bahasa formal формален език formaali kieli фармальная мова 형식 언어 formala lingvo teanga fhoirmiúil formální jazyk формални језик formalni jezik لغة متصرفة формальный язык formaallâš kielâ 形式语言 bahasa formal 形式語言 linguaggio formale 形式語言 rasmiy til 形式语言 формал тел formálny jazyk gjuhë formale llinguaxe formal formalni jezik biçimsel dil formele taal τυπική γλώσσα زبان صوری linguagem formal
skos:prefLabel
formal leid ഫോർമൽ ലാങ്വേജ് llinguaxe formal formalni jezik formális nyelv 形式语言 biçimsel dil formale Sprache limbaj formal формален език زبان صوری لغة متصرفة фармальная мова 形式語言 lenguajo formałe 形式语言 формальный язык formalni jezik ภาษารูปนัย formelt språk formaalʼlaž ǩiõll формални језик formali kalba llenguatge formal τυπική γλώσσα formal dillər بهاس فورمل формален јазик formal language 形式語言 lenguaige formal formellt språk שפה פורמלית формал тел linguaggio formale lenguaje formal formelt sprog 形式語言 formaali kieli ߞߊ߲߫ ߛߎ߯ߦߊ bahasa formal formala lingvo formální jazyk formalni jezik formaallâš kielâ زمانی شێوەیی rasmiy til langage formel 形式語言 bahasa formal lenguagg formal linguagem formal رمزيت формальна мова 形式语言 formálny jazyk ngôn ngữ hình thức 형식 언어 linguaxe formal langaj fòmèl formalni jezik formele taal 形式言語 formelt språk formalni jezik формални језик język formalny teanga fhoirmiúil lingua formal 形式語言 формал тел фармальная мова gjuhë formale औपचारिक भाषा
schema:name
形式語言 lingua formal formele taal limbaj formal 形式语言 gjuhë formale формален јазик formalni jezik rasmiy til 形式语言 ngôn ngữ hình thức formelt språk 形式語言 زبان صوری formalni jezik формал тел lenguagg formal ഫോർമൽ ലാങ്വേജ് formális nyelv biçimsel dil 形式語言 ภาษารูปนัย formal leid بهاس فورمل formalni jezik औपचारिक भाषा שפה פורמלית формальный язык linguaggio formale llinguaxe formal formelt språk 形式言語 formaalʼlaž ǩiõll 形式語言 formalni jezik لغة متصرفة زمانی شێوەیی formali kalba formal dillər teanga fhoirmiúil формални језик linguagem formal 形式語言 رمزيت formelt sprog formale Sprache lenguajo formałe formellt språk język formalny формальна мова 형식 언어 langage formel formální jazyk formala lingvo formaali kieli 形式语言 фармальная мова τυπική γλώσσα ߞߊ߲߫ ߛߎ߯ߦߊ формал тел langaj fòmèl formalni jezik bahasa formal formaallâš kielâ linguaxe formal lenguaige formal formálny jazyk llenguatge formal formal language формален език bahasa formal lenguaje formal фармальная мова формални језик
p:P646
wds:Q192161-AF3ECD7B-6380-4914-B959-24AA9AD122BB
wdt:P646
/m/02ymn
p:P1552
wds:Q192161-76f90161-47ae-f4ec-de1a-8141f3d3aa4b wds:Q192161-d7cfa279-48bf-617d-d058-55ae8ad2e068
p:P18
wds:Q192161-a955b891-4a49-90ee-3c84-4b6a02314b29
p:P31
wds:Q192161-29f5711b-404c-cc90-6e0b-44cea2bae093 wds:Q192161-f7777e2b-4938-cdda-97c2-cf2a31118bdd
p:P691
wds:Q192161-2A896567-35B2-487B-BEA0-A7A3A2FE9C24
wdt:P1552
wd:Q373045 wd:Q5469969
wdt:P18
n25:Syntax%20tree.svg
wdt:P31
wd:Q66747126 wd:Q66664364
wdt:P691
ph208851
p:P279
wds:Q192161-26a2ccc9-41ee-c276-9e38-cf198c1fbfc1 wds:Q192161-658ff013-43d5-ecbe-ac7a-b966988ae9a0
wdt:P279
wd:Q649732 wd:Q36161
p:P366
wds:Q192161-b3f1b55f-4169-bb3e-ac6d-dab0c7e019ed
wdt:P366
wd:Q833585
p:P1417
wds:Q192161-D7D4B5B8-6364-4F26-BC60-C00BEEDC6B80
wdt:P1417
topic/formal-language
p:P461
wds:Q192161-e1e34b30-43a7-a7e7-3d7d-ee324f438138
wdt:P461
wd:Q33742
p:P2579
wds:Q192161-fdacee29-48d9-01a5-14e1-db9e8446728e
wdt:P2579
wd:Q3984091
p:P5106
wds:Q192161-3B5111AB-19A9-47D7-8E1E-E1497C6627B6 wds:Q192161-23A26189-4D8A-4C93-914C-93A29D4FE88C
wdt:P5106
formalLanguage language
p:P373
wds:Q192161-44EB14A4-1D8D-4A30-BFA6-EB85271EDB99
wdt:P373
Formal languages
skos:altLabel
ߦߋߢߊ Формалан језик لغة صورية lenguajes formales ߛߎ߯ߦߊ формализированный язык Formele talen llinguaxes formales زبان فرمال Wortmenge زبان های صوری زبان‌های فرمال linguaxes formais 补语言 ߗߏ߯ߦߊ שפות פורמליות 形式语言 Θεωρία τυπικών γλωσσών resmi dil Linguagens formais e compiladores 형식언어 Формални езици Teoria das linguagens formais e dos autômatos формальні мови formale Programmiersprache 形式言語理論 زبان های صورت گرا زبان‌های صورت‌گرا muodollinen kieli Lfa 形式化语言 زبان های فرمال teanga fhoirmeálta théorie des langages Formelle sprog ߞߍߢߊ formaalinen kieli мови формальні формализованный язык Језик linguaggi formali Formalització Формални израз زبان‌های صوری Формални језици Umjetni jezik limbaje formale Формална лингвистичка анализа formalspråk logistique Linguagens formais
p:P10283
wds:Q192161-BD7B1D79-79D9-462D-A586-8D7D0A9B7830
p:P10565
wds:Q192161-4D7CF3D4-5715-4176-8255-262070EE7A79
p:P11514
wds:Q192161-99C2E7A6-D2E0-4045-9835-D7D2ADE10D79
p:P1482
wds:Q192161-154f8be7-453e-634a-19d6-485f24a52ab6 wds:Q192161-93097129-455c-fbea-95ed-e69e6102f4ad wds:Q192161-b6f11a54-4bc1-c79a-ebb5-ce8801703e94 wds:Q192161-aafa5afa-4d92-31bb-e642-87949673aa83 wds:Q192161-d0731897-4fce-afb0-000e-0386acd2a568
p:P1889
wds:Q192161-15b76142-4c1b-f4a3-2949-8b0a81806b47 wds:Q192161-7a66ffe9-420a-340c-ab15-b52a3e7e5c51 wds:Q192161-643bb77a-421f-bbe2-bc8e-2b0db5aab741 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:P2581
wds:Q192161-57CE6AB2-99ED-449B-8E66-F293AF58FE0B
p:P268
wds:Q192161-03a266e8-a953-4d8d-9b30-d03a5ce6db16
p:P2812
wds:Q192161-dfd921e0-44e7-6fa6-3d76-b1e45a59255f
p:P2924
wds:Q192161-bd0a287a-47fe-c539-ed25-cdf29278035b
p:P349
wds:Q192161-F3162092-BE26-4756-A6D1-E3F2886F49E7
p:P3553
wds:Q192161-F6FC1244-8243-4989-92F5-CFA65CA2A6FA
p:P3827
wds:Q192161-F8FDFB12-6077-46FE-8CA1-CA8DA35CA983
p:P508
wds:q192161-B1D22B85-0EF0-448B-8B63-2449652615A7
p:P6104
wds:Q192161-523B89DA-6BED-476F-848C-A8D7F611A175
p:P6366
wds:Q192161-91615F14-EE93-4CA7-83FB-99382C04802B
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:P9807
wds:Q192161-e9af44ac-4226-0201-e0f2-d931260f5326
wdtn:P227
n13:4017848-1
wdtn:P244
n16:sh85050802
wdtn:P2581
n17:s00213650n
wdtn:P268
n21:about
wdtn:P349
n22:00576869
wdtn:P508
n20:5999
wdtn:P6366
n15:146072743
wdtn:P8408
rc:FormalLanguage
wdt:P10283
C146072743
wdt:P10565
171262
wdt:P11514
formalizovannyi-iazyk-18aa21
wdt:P1482
n9:formal-languages n10:formal-languages n11:fl.formal-languages n14:formal-languages n19:formal-languages
wdt:P1889
wd:Q104597585 wd:Q34770 wd:Q11688701 wd:Q3247505
wdt:P227
4017848-1
wdt:P244
sh85050802
wdt:P2581
00213650n
wdt:P268
11967270h
wdt:P2812
FormalLanguage
wdt:P349
00576869
wdt:P3553
19669474
wdt:P3827
formal-languages
wdt:P508
5999
wdt:P6104
wd:Q8487137
wdt:P6366
146072743
wdt:P8189
987007545721205171
wdt:P8408
FormalLanguage
wdt:P910
wd:Q7142640
wdt:P9807
179914
p:P2534
wds:Q192161-84f30edb-4695-cea5-03c7-e0943a301d86
p:P7235
wds:Q192161-32a7b420-441b-8533-17f6-628efd73ff25 wds:Q192161-1b7ab960-4505-0e6c-8466-aae8f1a1ee3a wds:Q192161-757bb437-4cf8-10ac-58da-52094c09a096 wds:Q192161-7176e8c2-4dfe-824f-fbdd-fef3da403713
wdt:P2534
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle L=\{w:w\in \Sigma ^{*}\}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>L</mi> <mo>=</mo> <mo fence="false" stretchy="false">{</mo> <mi>w</mi> <mo>:</mo> <mi>w</mi> <mo>&#x2208;<!-- ∈ --></mo> <msup> <mi mathvariant="normal">&#x03A3;<!-- Σ --></mi> <mrow class="MJX-TeXAtom-ORD"> <mo>&#x2217;<!-- ∗ --></mo> </mrow> </msup> <mo fence="false" stretchy="false">}</mo> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle L=\{w:w\in \Sigma ^{*}\}}</annotation> </semantics> </math>
wdt:P7235
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle ^{*}}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <msup> <mi></mi> <mrow class="MJX-TeXAtom-ORD"> <mo>&#x2217;<!-- ∗ --></mo> </mrow> </msup> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle ^{*}}</annotation> </semantics> </math> <math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle L}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>L</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle L}</annotation> </semantics> </math> <math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle \Sigma }"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi mathvariant="normal">&#x03A3;<!-- Σ --></mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle \Sigma }</annotation> </semantics> </math> <math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle w}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>w</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle w}</annotation> </semantics> </math>