| dbo:abstract |
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. (es) 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. (en) 項書き換えなどにおいて正規化（せいきか、英: normalization）とは、項をそれ以上書き換えられなくなるまで書き換えることや、あるいはこのような操作が可能だという性質のことである。ある項がそのような性質を持つこと指して「項が正規化する」(normalizing) あるいは「項が正規化可能である」(normalizable) ともいう。また、そのような操作の末に辿り着いたそれ以上書き換えできない項のことを正規形 (normal form) とよぶ。 (ja) 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. (pl) 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. (pt) |
| dbo:thumbnail |
wiki-commons:Special:FilePath/Cyclic_locally,_but_n...onfluent_rewrite_system.png?width=300 |
| dbo:wikiPageID |
5085531 (xsd:integer) |
| dbo:wikiPageLength |
9864 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1124552698 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Typed_lambda_calculus dbc:Lambda_calculus dbr:Commutativity dbr:Rewriting dbr:Collatz_conjecture dbr:Calculus_of_constructions dbr:Simply_typed_lambda_calculus dbr:Total_functional_programming dbr:Turing_complete dbr:Barendregt–Geuvers–Klop_conjecture dbr:Normalization_by_evaluation dbr:Jean-Yves_Girard dbr:Thierry_Coquand dbc:Logic_in_computer_science dbr:Abstract_rewriting_system dbc:Computability_theory dbc:Formal_languages dbc:Rewriting_systems dbr:Lambda_calculus dbr:Termination_analysis dbr:System_F dbr:Newman's_lemma dbr:Canonical_form dbr:Meta-circular_evaluator dbr:Abstract_rewriting dbr:Confluence_(term_rewriting) dbr:Left_associative dbr:File:Cyclic_locally,_but_not_globally_confluent_rewrite_system.png |
| dbp:wikiPageUsesTemplate |
dbt:Reflist dbt:Short_description |
| dct:subject |
dbc:Lambda_calculus dbc:Logic_in_computer_science dbc:Computability_theory dbc:Formal_languages dbc:Rewriting_systems |
| rdf:type |
yago:Artifact100021939 yago:Instrumentality103575240 yago:Object100002684 yago:PhysicalEntity100001930 yago:System104377057 yago:Whole100003553 yago:WikicatRewritingSystems |
| rdfs:comment |
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. (es) 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. (en) 項書き換えなどにおいて正規化（せいきか、英: normalization）とは、項をそれ以上書き換えられなくなるまで書き換えることや、あるいはこのような操作が可能だという性質のことである。ある項がそのような性質を持つこと指して「項が正規化する」(normalizing) あるいは「項が正規化可能である」(normalizable) ともいう。また、そのような操作の末に辿り着いたそれ以上書き換えできない項のことを正規形 (normal form) とよぶ。 (ja) 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. (pl) 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. (pt) |
| rdfs:label |
Forma normal (reescritura abstracta) (es) 正規化 (項書き換え) (ja) Normal form (abstract rewriting) (en) Postać normalna (matematyka) (pl) Forma normal (pt) |
| owl:sameAs |
freebase:Normal form (abstract rewriting) yago-res:Normal form (abstract rewriting) wikidata:Normal form (abstract rewriting) dbpedia-es:Normal form (abstract rewriting) dbpedia-ja:Normal form (abstract rewriting) dbpedia-pl:Normal form (abstract rewriting) dbpedia-pt:Normal form (abstract rewriting) https://global.dbpedia.org/id/4sVwS |
| prov:wasDerivedFrom |
wikipedia-en:Normal_form_(abstract_rewriting)?oldid=1124552698&ns=0 |
| foaf:depiction |
wiki-commons:Special:FilePath/Cyclic_locally,_but_not_globally_confluent_rewrite_system.png |
| foaf:isPrimaryTopicOf |
wikipedia-en:Normal_form_(abstract_rewriting) |
| is dbo:wikiPageDisambiguates of |
dbr:Normal_form |
| is dbo:wikiPageRedirects of |
dbr:Normal_form_(term_rewriting) dbr:Normalizing_(abstract_rewriting) dbr:Normalization_property_(abstract_rewriting) dbr:Normal_form_(formal_languages) dbr:Normalization_property dbr:Normalization_property_(lambda-calculus) dbr:Normalizing_(rewriting) dbr:Strong_normalisation dbr:Strong_normalization dbr:Strong_normalization_property dbr:Strongly_normalising dbr:Strongly_normalizing dbr:Weak_normalization dbr:Weak_normalization_property dbr:Weakly_normalising |
| is dbo:wikiPageWikiLink of |
dbr:Normal_form_(term_rewriting) dbr:Normalizing_(abstract_rewriting) dbr:Braid_group dbr:Algebraic_semantics_(computer_science) dbr:Structural_proof_theory dbr:Combinatory_logic dbr:Normal_form dbr:Normalization_property_(abstract_rewriting) dbr:Prenex_normal_form dbr:Rewriting dbr:Confluence_(abstract_rewriting) dbr:Pure_type_system dbr:Böhm_tree dbr:Type_theory dbr:Feedback_linearization dbr:Natural_deduction dbr:Proper_equilibrium dbr:Abstract_rewriting_system dbr:Word_problem_for_groups dbr:Mogensen–Scott_encoding dbr:Disjunctive_normal_form dbr:Divergence_(computer_science) dbr:Semiotic_theory_of_Charles_Sanders_Peirce dbr:Word_problem_(mathematics) dbr:Normal_form_(formal_languages) dbr:Normalization_property dbr:Normalization_property_(lambda-calculus) dbr:Normalizing_(rewriting) dbr:Strong_normalisation dbr:Strong_normalization dbr:Strong_normalization_property dbr:Strongly_normalising dbr:Strongly_normalizing dbr:Weak_normalization dbr:Weak_normalization_property dbr:Weakly_normalising |
| is foaf:primaryTopic of |
wikipedia-en:Normal_form_(abstract_rewriting) |
