{"id":4811,"date":"2007-03-11T22:24:56","date_gmt":"2007-03-11T22:24:56","guid":{"rendered":"http:\/\/xmau.com\/wp\/notiziole\/2007\/03\/11\/sintassi_semantica_grammatica\/"},"modified":"2007-03-11T22:24:56","modified_gmt":"2007-03-11T22:24:56","slug":"sintassi_semantica_grammatica","status":"publish","type":"post","link":"https:\/\/xmau.com\/notiziole\/2007\/03\/11\/sintassi_semantica_grammatica\/","title":{"rendered":"Sintassi, semantica, grammatica"},"content":{"rendered":"<p>Adesso non venite a lamentarvi che questa non \u00e8 matematica, ma informatica. Lo so benissimo, anche se dal mio punto di vista le differenze sono relativamente minori (ho dato esami di informatica a matematica, e viceversa). Per\u00f2 sono notoriamente pigro, la parte principale di questo testo l&#8217;ho buttata gi\u00f9 al volo perch\u00e9 mi \u00e8 stata chiesta, e non vedo perch\u00e9 non riciclarmela in altro modo&#8230; senza contare che pu\u00f2 anche servire per chi non \u00e8 interessato n\u00e9 alla matematica n\u00e9 all&#8217;informatica. E poi, se dobbiamo dirla tutta, sintassi e semantica si usano anche in logica matematica, quindi non \u00e8 che io sia cos\u00ec fuori tema!<br \/>\nSi sente spesso parlare di sintassi, semantica e grammatica di un linguaggio di programmazione. Se uno si ricorda ancora cosa faceva a scuola, i nomi &#8211; almeno grammatica, su&#8230; &#8211; non sono nuovi; e in effetti il loro significato deriva pi\u00f9 o meno direttamente proprio da quello che usano i linguisti. Vediamo qual \u00e8 il loro significato, partendo proprio da quello che hanno nelle lingue reali.<br \/>\nPartiamo dalla <b>semantica<\/b>. In linguistica, la semantica \u00e8 lo studio del <em>significato<\/em> delle parole e delle frasi in una lingua; detto in parole povere, &#8220;che cosa vuol dire quello che c&#8217;\u00e8 scritto?&#8221; Nei linguaggi di programmazione, capita esattamente lo stesso: la semantica di un algoritmo \u00e8 quello che l&#8217;algoritmo fa&#8230; ammesso naturalmente che non ci siano dei bachi. Similmente, nella logica matematica la semantica \u00e8 l&#8217;interpretazione di una formula. Per fare un esempio, se scrivo &forall;x (&exist;y: y=x+1) la sua semantica \u00e8 &#8220;per tutti gli x possiamo trovare un y che vale x+1&#8221;. Se vogliamo rimanere pi\u00f9 terra terra, se scrivo 2+2=4 la sua semantica \u00e8 &#8220;due pi\u00f9 due \u00e8 uguale a 4&#8221;.<br \/>\nLa <b>sintassi<\/b> indica come bisogna <em>scrivere<\/em> la frase perch\u00e9 sia corretta; ad esempio scrivere &#8220;qual&#8217;\u00e8&#8221; \u00e8 sintatticamente scorretto, mentre &#8220;qual \u00e8&#8221; \u00e8 corretto. In un linguaggio di programmazione come il perl, una regola sintattica \u00e8 ad esempio che le variabili devono iniziare con $, gli array con @ e gli hash con %, o che una componente di un array \u00e8 $a[x] mentre una di un hash \u00e8 $a{x}. La parte pi\u00f9 importante da tenere a mente \u00e8 che la sintassi \u00e8 una <em>convenzione<\/em>: non c&#8217;\u00e8 nessuna ragione teorica perch\u00e9 gli elementi degli array stanno tra quadre e quelli di un hash tra graffe, esattamente come non c&#8217;\u00e8 nessuna ragione teorica perch\u00e9 in italiano si accentino solo le parole tronche e non anche le sdrucciole come ad esempio in spagnolo. Notate che la sintassi \u00e8 facilmente riconoscibile anche da uno stupido com&#8217;\u00e8 un calcolatore: se uno scrive un programma, pu\u00f2 capitargli che gli compaia il messaggio di errore &#8220;syntax error&#8221;, ma non certo &#8220;semantic error&#8221;! Anche nella logica matematica, le formule sintatticamente corrette sono quelle che hanno un senso, anche se magari non sono vere. Ad esempio, tra i numeri interi la formula &forall;x&isin;<b>N<\/b> (&exist;y&isin;<b>N<\/b>: y=x\/2), che dice &#8220;per ogni numero intero ce n&#8217;\u00e8 un altro pari alla sua met\u00e0&#8221;, \u00e8 sintatticamente corretta ma falsa, visto che ad esempio 1\/2 non \u00e8 un intero. La formula &forall;=x\/<b>N<\/b> (y&isin;<b>N<\/b>: y&exist;x&isin;2) non vuol dire nulla, e quindi non \u00e8 sintatticamente corretta.<br \/>\nLa <b>grammatica<\/b>, infine, \u00e8 l&#8217;insieme delle <em>regole<\/em> per comporre le frasi (soggetto &#8211; verbo &#8211; complementi&#8230;) , a partire dalle varie parti che la compongono e che hanno dei ruoli diversi (verbo, nome, preposizione&#8230;). Nei linguaggi di programmazione il concetto di grammatica \u00e8 molto pi\u00f9 specializzato, perch\u00e9 esiste un insieme di regole formali che permettono di generare tutti i programmi sintatticamente corretti, applicando man mano delle trasformazioni. Anche nella logica matematica ci sono queste regole formali, per\u00f2 stranamente non viene dato loro un nome specifico, almeno per quanto ne so.<br \/>\nRicapitolando, la semantica d\u00e0 il significato, la sintassi il modo corretto di scrivere, e la grammatica d\u00e0 le regole per scrivere correttamente. Vista cos\u00ec, la cosa non \u00e8 nemmeno troppo complicata; ma basta relativamente poco e arriva uno come G\u00f6del a mischiare le cose (perch\u00e9 il Numero di G\u00f6del usato nel suo teorema di incompletezza non \u00e8 poi altro che un modo di trovare una formula il cui signficato semantico riprende la formula stessa, invece che essere al di fuori del sistema). Ma credo di avervi gi\u00e0 perso, stavolta&#8230;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Adesso non venite a lamentarvi che questa non \u00e8 matematica, ma informatica. Lo so benissimo, anche se dal mio punto di vista le differenze sono relativamente minori (ho dato esami di informatica a matematica, e viceversa). Per\u00f2 sono notoriamente pigro, la parte principale di questo testo l&#8217;ho buttata gi\u00f9 al volo perch\u00e9 mi \u00e8 stata [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"default","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","ast-disable-related-posts":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"activitypub_content_warning":"","activitypub_content_visibility":"","activitypub_max_image_attachments":3,"activitypub_interaction_policy_quote":"anyone","activitypub_status":"","footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2},"jetpack_post_was_ever_published":false},"categories":[214],"tags":[],"class_list":["post-4811","post","type-post","status-publish","format-standard","hentry","category-matematica_light"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/phh2yV-1fB","jetpack-related-posts":[{"id":17145,"url":"https:\/\/xmau.com\/notiziole\/2018\/07\/31\/google-docs-e-la-grammatica\/","url_meta":{"origin":4811,"position":0},"title":"Google Docs e la grammatica","author":".mau.","date":"2018-07-31","format":false,"excerpt":"Forse forse che Google Docs ha qualche piccolo problema con la lingua italiana? O forse siamo ormai nella neolingua, e la Crusca deve ritirarsi in buon ordine?","rel":"","context":"In &quot;IA e informatica&quot;","block_context":{"text":"IA e informatica","link":"https:\/\/xmau.com\/notiziole\/category\/ia\/"},"img":{"alt_text":"qual'\u00e8","src":"https:\/\/i0.wp.com\/xmau.com\/notiziole\/wp-content\/uploads\/sites\/6\/2018\/07\/qual-e-300x230.png?resize=350%2C200","width":350,"height":200},"classes":[]},{"id":16234,"url":"https:\/\/xmau.com\/notiziole\/2018\/02\/03\/_grammatica-in-tasca_-libro\/","url_meta":{"origin":4811,"position":1},"title":"_Grammatica in tasca_ (libro)","author":".mau.","date":"2018-02-03","format":false,"excerpt":"Grammatica per chi pensa di conoscere la grammatica","rel":"","context":"In &quot;rec-2018&quot;","block_context":{"text":"rec-2018","link":"https:\/\/xmau.com\/notiziole\/category\/recensioni\/rec-2018\/"},"img":{"alt_text":"","src":"https:\/\/i0.wp.com\/xmau.com\/notiziole\/wp-content\/uploads\/sites\/6\/2018\/02\/9788876676475.jpg?resize=350%2C200","width":350,"height":200},"classes":[]},{"id":12017,"url":"https:\/\/xmau.com\/notiziole\/2015\/10\/14\/carnevale-della-matematica-90-goto-medium-e-peppe\/","url_meta":{"origin":4811,"position":2},"title":"Carnevale della Matematica #90: GOTO Medium (e Peppe)","author":".mau.","date":"2015-10-14","format":false,"excerpt":"Per la prima volta, grazie a Peppe Liberti che lo ospita e ha gli agganci giusti, il Carnevale della Matematica \u00e8 ospitato su Medium e per la precisione sul canale Italia. Paura, eh? Dovreste averne ancora di pi\u00f9 se pensate che il tema di questa edizione \u00e8 \"Le menzogne della\u2026","rel":"","context":"In &quot;link&quot;","block_context":{"text":"link","link":"https:\/\/xmau.com\/notiziole\/category\/link\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":18553,"url":"https:\/\/xmau.com\/notiziole\/2019\/04\/15\/carnevale-della-matematica-128-goto-maddmaths\/","url_meta":{"origin":4811,"position":3},"title":"Carnevale della matematica #128: GOTO MaddMaths!","author":".mau.","date":"2019-04-15","format":false,"excerpt":"Per un consapevole matematico (ma anche informatico...) 128 \u00e8 interessante perch\u00e9 \u00e8 una potenza di 2. Ma aprile \u00e8 anche il mese della consapevolezza matematica (ma anche statistica...) e quindi, come d'abitudine, il Carnevale della matematica \u00e8 stato ospitato da MaddMaths!. Attenzione, perch\u00e9 questo mese c'\u00e8 davvero tanta roba!","rel":"","context":"In &quot;link&quot;","block_context":{"text":"link","link":"https:\/\/xmau.com\/notiziole\/category\/link\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":7170,"url":"https:\/\/xmau.com\/notiziole\/2009\/06\/16\/disabitata_per\/","url_meta":{"origin":4811,"position":4},"title":"Disabitata, per fortuna!","author":".mau.","date":"2009-06-16","format":false,"excerpt":"Riuscireste voi a colpire un'area abitata della Luna?","rel":"","context":"In &quot;italica_stampa&quot;","block_context":{"text":"italica_stampa","link":"https:\/\/xmau.com\/notiziole\/category\/italica_stampa\/"},"img":{"alt_text":"","src":"","width":0,"height":0},"classes":[]},{"id":12955,"url":"https:\/\/xmau.com\/notiziole\/2016\/04\/29\/il-fatto-ortografico\/","url_meta":{"origin":4811,"position":5},"title":"Il Fatto Ortografico","author":".mau.","date":"2016-04-29","format":false,"excerpt":"Passi la sintassi, ma almeno verificare l'ortografia?","rel":"","context":"In &quot;italica_stampa&quot;","block_context":{"text":"italica_stampa","link":"https:\/\/xmau.com\/notiziole\/category\/italica_stampa\/"},"img":{"alt_text":"intensione","src":"https:\/\/i0.wp.com\/xmau.com\/notiziole\/wp-content\/uploads\/sites\/6\/2016\/04\/intensione-150x150.png?resize=350%2C200","width":350,"height":200},"classes":[]}],"jetpack_likes_enabled":true,"jetpack_sharing_enabled":true,"_links":{"self":[{"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/posts\/4811","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/comments?post=4811"}],"version-history":[{"count":0,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/posts\/4811\/revisions"}],"wp:attachment":[{"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/media?parent=4811"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/categories?post=4811"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/xmau.com\/notiziole\/wp-json\/wp\/v2\/tags?post=4811"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}