Discussione:HTML: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 50:
:::::::{{fuori crono}} @151.100.58.8 È sempre fuori tema: parliamo di linguaggi, non di programmi. --[[Utente:Soujak|SoujaK]] ([[Discussioni utente:Soujak|msg]]) 14:27, 1 dic 2014 (CET)
::::::::{{fuori crono}} @Soujak la semantica operazionale è un sottoinsieme della semantica. Ho trovato una pubblicazione che indica la semantica operazionale come requisito importante ma non necessario per un linguaggio di programmazione. Inoltre, non è detto che non sia codificabile anche per l'html.
:::::::::{{fuori crono}} @151.100.58.8 La prima affermazione è vera (ci sono diversi tipi di semantiche), la seconda non credo proprio (la semantica di HTML non è nemmeno matematicamente formalizzata, cf. [http://www.w3.org/TR/html/dom.html#dom ''HTML5, §3 Semantics, structure, and APIs of HTML documents'']). Ma pure imaginassimo di disporre di una semantica formale di HTML, operazionale o meno, ci renderemmo conto che essa è banale e priva di significato. Infatti nel caso operazionale ci sarebbe un'unica transizione possibile per ogni costrutto sintattico (a causa dell'assenza di costrutti condizionali) e ogni sequenza di transizioni sarebbe di lunghezza finita e di taglia lineare rispetto al numero di elementi HTML (a causa dell'assenza di iterazione o ricorsione). Nel caso denotazionale ogni documento HTML sarebbe probabilmente rappresentato dalla stessa unica funzione identità. In altre parole, se HTML è un linguaggio di programmazione, ci può scrivere solo un programma: la formattazione. --[[Utente:Soujak|SoujaK]] ([[Discussioni utente:Soujak|msg]]) 15:31, 1 dic 2014 (CET)
::::@Rotpunkt nel collegamento 8 della pagina (Thomas Powell, HTML & XHTML: the complete reference, McGraw-Hill, 2003, p. 25) viene citata una frase «HTML is not a programming language.». Ho controllato il testo online e non mi risulta. Il collegamento 9 fa riferimento ad un parere personale (tratto da un blog) e non ad una pubblicazione di qualsivoglia tipo. Posso rimuovere autonomamente i riferimenti?
| |||