Mathematica: differenze tra le versioni

Versione delle 13:53, 12 giu 2020

Versione delle 20:41, 17 nov 2020

Riga 188:

=== La riduzione a forma normale ===

Affinché le regole di sostituzione possano essere applicate con consistenza ed evitando il rischio di una ricorsione infinita, è fondamentale che le differenti forme sintattiche con cui un'espressione può essere rappresentata siano riconducibili in maniera univoca ad una un'unica forma che non sia passibile di ulteriori trasformazioni. Questa forma, che altro non è che il punto fisso delle trasformazioni applicabili (siano esse predefinite o definite dall'utente) è la cosiddetta ''forma normale''.

La riduzione in forma normale è importante ai fini della programmazione in Mathematica sia quando essa sia dovuta a regole integrate nel sistema, sia quando debba essere implementata nel codice utente.