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).
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - قاعدة التكوين (ar)
- Formation rule (en)
- 構成規則 (ja)
- Formatieregel (nl)
- Regra de formação (pt)
|
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)
|
dct:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
has 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)
|
gold:hypernym
| |
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is Wikipage redirect
of | |
is foaf:primaryTopic
of | |