1
Possiamo distinguere metodi strettamente sintattici e semantici nel linguaggio di programmazione?
Mentre si discute di forti prove di normalizzazione, questo commento contrappone il "modello di forme normali" con "metodi puramente sintattici". Questo mi riporta a una domanda più basilare: possiamo ancora distinguere rigorosamente le costruzioni sintattiche e semantiche, di fronte ai modelli basati sulla sintassi? E i modelli a termine per …