Normal form (abstract rewriting)
http://dbpedia.org/resource/Normal_form_(abstract_rewriting) an entity of type: Artifact100021939
En , se dice que un término está en forma normal si no es posible aplicar ninguna regla del sistema que lo reescriba en otro término. A partir de este concepto, podemos estudiar los sistemas de reescritura de términos y las características de sus términos con relación a las formas normales.
rdf:langString
In abstract rewriting, an object is in normal form if it cannot be rewritten any further, i.e. it is irreducible. Depending on the rewriting system, an object may rewrite to several normal forms or none at all. Many properties of rewriting systems relate to normal forms.
rdf:langString
項書き換えなどにおいて正規化（せいきか、英: normalization）とは、項をそれ以上書き換えられなくなるまで書き換えることや、あるいはこのような操作が可能だという性質のことである。ある項がそのような性質を持つこと指して「項が正規化する」(normalizing) あるいは「項が正規化可能である」(normalizable) ともいう。また、そのような操作の末に辿り着いたそれ以上書き換えできない項のことを正規形 (normal form) とよぶ。
rdf:langString
Postać normalna (ang. normal form) – pewna szczególna postać wyrażenia, która jest w pewnym sensie "równoważna" każdemu wyrażeniu z pewnego zbioru wyrażeń. Od postaci systemu zależy, jaki to zbiór i jaki jest sens tej "równoważności". Wyrażenie może mieć jedną postać normalną lub nie mieć jej wcale.
rdf:langString
Em sistemas de reescrita de termos, dizemos que um termo está na forma normal se não é possível aplicar nenhuma regra do sistema que o reescreva em outro termo. A partir deste conceito, podemos estudar sistemas de reescrita de termos quanto as características dos seus termos com a relação as formas normais.
rdf:langString
rdf:langString
Forma normal (reescritura abstracta)
rdf:langString
正規化 (項書き換え)
rdf:langString
Normal form (abstract rewriting)
rdf:langString
Postać normalna (matematyka)
rdf:langString
Forma normal
xsd:integer
5085531
xsd:integer
1124552698
rdf:langString
En , se dice que un término está en forma normal si no es posible aplicar ninguna regla del sistema que lo reescriba en otro término. A partir de este concepto, podemos estudiar los sistemas de reescritura de términos y las características de sus términos con relación a las formas normales.
rdf:langString
In abstract rewriting, an object is in normal form if it cannot be rewritten any further, i.e. it is irreducible. Depending on the rewriting system, an object may rewrite to several normal forms or none at all. Many properties of rewriting systems relate to normal forms.
rdf:langString
項書き換えなどにおいて正規化（せいきか、英: normalization）とは、項をそれ以上書き換えられなくなるまで書き換えることや、あるいはこのような操作が可能だという性質のことである。ある項がそのような性質を持つこと指して「項が正規化する」(normalizing) あるいは「項が正規化可能である」(normalizable) ともいう。また、そのような操作の末に辿り着いたそれ以上書き換えできない項のことを正規形 (normal form) とよぶ。
rdf:langString
Postać normalna (ang. normal form) – pewna szczególna postać wyrażenia, która jest w pewnym sensie "równoważna" każdemu wyrażeniu z pewnego zbioru wyrażeń. Od postaci systemu zależy, jaki to zbiór i jaki jest sens tej "równoważności". Wyrażenie może mieć jedną postać normalną lub nie mieć jej wcale.
rdf:langString
Em sistemas de reescrita de termos, dizemos que um termo está na forma normal se não é possível aplicar nenhuma regra do sistema que o reescreva em outro termo. A partir deste conceito, podemos estudar sistemas de reescrita de termos quanto as características dos seus termos com a relação as formas normais.
xsd:nonNegativeInteger
9864
