An Entity of Type: Australian rules football player, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In mathematical logic, formation rules are rules for describing which strings of symbols formed from the alphabet of a formal language are syntactically valid within the language. These rules only address the location and manipulation of the strings of the language. It does not describe anything else about a language, such as its semantics (i.e. what the strings mean). (See also formal grammar).

Property Value
dbo:abstract
  • في المنطق الرياضي، قواعد التكوين هي قواعد لوصف مجموعة من الرموز الصحيحة نحويا والتي تشكلت من ابجدية اللغة الرسمية. تتناول هذه القواعد موقع واستخدام هذه المجموعات الرمزية فقط، أي أنها لا تصف أي شيء آخر عن اللغة، مثل دلالاتها (أي ماذا تعني هذه الرموز). (انظر أيضًا قواعد اللغة الرسمية). (ar)
  • In mathematical logic, formation rules are rules for describing which strings of symbols formed from the alphabet of a formal language are syntactically valid within the language. These rules only address the location and manipulation of the strings of the language. It does not describe anything else about a language, such as its semantics (i.e. what the strings mean). (See also formal grammar). (en)
  • Formatieregels zijn in de wiskundige logica regels met behulp waarvan wordt bepaald welke strings van symbolen die zijn afgeleid van het van een formele taal syntactisch correct zijn binnen deze formele taal. De formele semantiek - de betekenis van de strings - wordt hierbij buiten beschouwing gelaten. (nl)
  • 数理論理学における構成規則(こうせいきそく、英: Formation rule)もしくは形成規則とは、アルファベットからなる記号列のうち、どれが当該言語で統語論的に正しいかを定める規則である。構成規則で言及されるのは記号列の配置や操作といった統語論的対象のみであり、従って式のを定めるに先立って定義されている(形式文法も参照)。 (ja)
  • Na lógica matemática, regras de formação são regras que descrevem quais sequências de símbolos formados a partir do alfabeto da lógica formal são sintáticamente validos dentro da linguagem.Essas regras tratam apenas na posição e da manipulação das sequências de caracteres.Elas não descrevem nada mais da linguagem,como a semantitica(i.e.significado da palavra).(Veja também gramática formal). (pt)
dbo:wikiPageID
  • 15115411 (xsd:integer)
dbo:wikiPageLength
  • 3484 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1122616275 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdf:type
rdfs:comment
  • في المنطق الرياضي، قواعد التكوين هي قواعد لوصف مجموعة من الرموز الصحيحة نحويا والتي تشكلت من ابجدية اللغة الرسمية. تتناول هذه القواعد موقع واستخدام هذه المجموعات الرمزية فقط، أي أنها لا تصف أي شيء آخر عن اللغة، مثل دلالاتها (أي ماذا تعني هذه الرموز). (انظر أيضًا قواعد اللغة الرسمية). (ar)
  • In mathematical logic, formation rules are rules for describing which strings of symbols formed from the alphabet of a formal language are syntactically valid within the language. These rules only address the location and manipulation of the strings of the language. It does not describe anything else about a language, such as its semantics (i.e. what the strings mean). (See also formal grammar). (en)
  • Formatieregels zijn in de wiskundige logica regels met behulp waarvan wordt bepaald welke strings van symbolen die zijn afgeleid van het van een formele taal syntactisch correct zijn binnen deze formele taal. De formele semantiek - de betekenis van de strings - wordt hierbij buiten beschouwing gelaten. (nl)
  • 数理論理学における構成規則(こうせいきそく、英: Formation rule)もしくは形成規則とは、アルファベットからなる記号列のうち、どれが当該言語で統語論的に正しいかを定める規則である。構成規則で言及されるのは記号列の配置や操作といった統語論的対象のみであり、従って式のを定めるに先立って定義されている(形式文法も参照)。 (ja)
  • Na lógica matemática, regras de formação são regras que descrevem quais sequências de símbolos formados a partir do alfabeto da lógica formal são sintáticamente validos dentro da linguagem.Essas regras tratam apenas na posição e da manipulação das sequências de caracteres.Elas não descrevem nada mais da linguagem,como a semantitica(i.e.significado da palavra).(Veja também gramática formal). (pt)
rdfs:label
  • قاعدة التكوين (ar)
  • Formation rule (en)
  • 構成規則 (ja)
  • Formatieregel (nl)
  • Regra de formação (pt)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License