{"id":757,"date":"2004-04-22T00:00:00","date_gmt":"2004-04-21T22:00:00","guid":{"rendered":""},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T22:00:00","slug":"757","status":"publish","type":"post","link":"https:\/\/www.vialattea.net\/content\/757\/","title":{"rendered":"Vorrei capire la differenza tra algoritmo e funzione computabile e la relazione esistente tra funzione matematica e funzione computabile.\r\nGrazie"},"content":{"rendered":"

Funzioni Analitiche<\/font><\/h3>\n

<\/p>\n

<\/font><\/p>\n

La funzione f <\/i>\u00e8 detta analitica <\/i>se esprime una relazione
\ntra valori in un dominio X<\/i> e in un codominioY<\/i>:<\/font><\/p>\n

<\/p>\n

<\/font><\/p>\n

\"\"\/\u00a0\u00a0per ogni\u00a0\u00a0\"\"\/\u00a0\u00a0e\u00a0\u00a0\"\"\/
\n<\/font><\/p><\/blockquote>\n

il codomino Y<\/i> \u00e8 anche detto insieme immagine<\/i> del dominio
\nX<\/i> secondo la funzione f<\/i>. Il dominio X<\/i> \u00e8 anche detto
\ninsieme di definizione<\/i>.<\/font><\/p>\n

<\/p>\n

<\/font><\/p>\n

Una funzione analitica fornisce quindi una relazione, espressa mediante
\nuna formulazione matematica, tra valori del dominio e del codominio. La
\ncondizione di analiticit\u00e0 \u00e8 espressamente caratterizzata dal fatto che
\ntutto<\/i> il dominio \u00e8 mappato nel suo insieme immagine con valori univoci.<\/font><\/p>\n


\n<\/font><\/p>\n

Funzioni computabili, macchine di Turing<\/font><\/h3>\n

<\/p>\n

<\/font><\/p>\n

Diamo in questa sede una definizione formale di una macchina di Turing,
\nrimandando il lettore ad un approfondimento in rete.<\/font><\/p>\n

<\/p>\n

<\/font><\/p>\n

Una macchina di Turing (deterministica ad un solo nastro) \u00e8 definita
\ndalla quadrupla DTM <\/i>= (Q, S, f, s0<\/i>) ove<\/font><\/p>\n

<\/p>\n

<\/font><\/p>\n

    <\/p>\n
  • Q<\/i> \u00e8 l’insieme finito degli stati ammessi dalla DTM<\/i><\/li>\n
  • S<\/i> \u00e8 l’insieme dei simboli o alfabeto <\/i>che la DTM<\/i>
    \ngestisce, inclusi i simboli speciali di controllo.<\/li>\n
  • f<\/i> \u00e8 la funzione di transizione da Q x S <\/i>\u00ae Q x S x
    \nD<\/i><\/li>\n
  • D <\/i>\u00e8 l’insieme dei comandi di controllo del nastro D = {avanti,
    \nindietro, stop}<\/i><\/li>\n
  • s0 <\/i>\u00e8 lo stato iniziale.<\/li>\n

    <\/font><\/ul>\n

    <\/p>\n

    <\/font><\/p>\n

    La DTM<\/i> \u00e8 programmata definendo la funzione di transizione f<\/i>
    \ntra gli stati che, per ogni stato corrente q <\/i>e simbolo correntemente
    \nosservato sul nastro s<\/i>, definisce lo stato successivo, il simbolo
    \nda scrive<\/font><\/p>\n","protected":false},"excerpt":{"rendered":"

    […]<\/p>\n","protected":false},"author":180,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[60],"tags":[],"class_list":["post-757","post","type-post","status-publish","format-standard","hentry","category-domande-varie-informatica-e-telecomunicazioni"],"_links":{"self":[{"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/posts\/757","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/users\/180"}],"replies":[{"embeddable":true,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/comments?post=757"}],"version-history":[{"count":0,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/posts\/757\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/media?parent=757"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/categories?post=757"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.vialattea.net\/content\/wp-json\/wp\/v2\/tags?post=757"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}