• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X

Bohm-Jacopini, teorema di

Enciclopedia della Matematica (2013)
  • Condividi

Bohm-Jacopini, teorema di


Böhm-Jacopini, teorema di stabilisce che ogni algoritmo può essere costruito utilizzando unicamente tre strutture (o schemi di controllo), cioè tre schemi aggregativi di istruzioni elementari o di altri algoritmi già costruiti:

a) la sequenza di istruzioni, la cui espressione è:

formula

b) l’alternativa tra due possibili percorsi, la cui espressione è:

formula

c) il ciclo, cioè una espressione del tipo:

formula

Ogni altro tipo di istruzione può sempre essere sostituito da una combinazione dei tre schemi precedenti; ciò significa che in un linguaggio di programmazione sono sufficienti espressioni che rappresentino le tre strutture per scrivere e implementare qualsiasi programma. Nella pratica, tuttavia, i linguaggi di programmazione mettono a disposizione anche altre strutture. Per questo l’interesse del teorema è soprattutto teorico e la sua importanza, dal punto di vista storico, risiede nell’aver contribuito all’evoluzione della programmazione, ponendo le basi per la cosiddetta → programmazione strutturata.

Vedi anche
loop Nel linguaggio scientifico e tecnico, diagrammi, strutture e programmi nella cui schematizzazione siano presenti linee chiuse o cicli. In informatica, successione di operazioni che vengono eseguite ciclicamente nello stesso ordine dal calcolatore, tipicamente con modifiche dei parametri e/o degli operandi ... algoritmo Matematica Termine, derivato dall’appellativo al-Khuwārizmī («originario della Corasmia») del matematico Muḥammad ibn Mūsa del 9° sec., che designa qualunque schema o procedimento sistematico di calcolo (per es. l’a. euclideo, delle divisioni successive, l’a. algebrico, insieme delle regole del calcolo ... linguàggio di programmazióne In informatica, insieme di parole e di regole, definite in modo formale, per consentire la programmazione di un elaboratore affinché esegua compiti predeterminati. Esistono l. di p. di alto livello e di basso livello: i primi permettono al programmatore di lavorare su vere e proprie operazioni logiche, ...
Tag
  • LINGUAGGIO DI PROGRAMMAZIONE
  • PROGRAMMAZIONE STRUTTURATA
  • ALGORITMO
Vocabolario
teorèma
teorema teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo...
Disforia di genere
disforia di genere loc. s.le f. Condizione di intensa e persistente sofferenza causata dal sentire la propria identità di genere diversa dal proprio sesso anatomico. ♦ «Come ha appena detto la compagna transgender...». I delegati di fabbrica...
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali