2
Perché il punto fisso minimo (lfp) è importante nell'analisi del programma
Sto cercando di ottenere un quadro generale sull'importanza del punto minimo fisso (lfp) nell'analisi del programma. Ad esempio, l'interpretazione astratta sembra usare l'esistenza di lfp. Molti articoli di ricerca sull'analisi del programma si concentrano anche sulla ricerca del punto meno fisso. Più specificamente, questo articolo su Wikipedia: il teorema di …