18.08.2013 Views

Strutture di controllo fondamentali e flowchart - Robotica

Strutture di controllo fondamentali e flowchart - Robotica

Strutture di controllo fondamentali e flowchart - Robotica

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Diagrammi <strong>di</strong> flusso Programmazione strutturata Pseudo-co<strong>di</strong>ce<br />

Teorema <strong>di</strong> Jacopini-Böhm<br />

siano<br />

allora<br />

P l’insieme <strong>di</strong> tutti gli algoritmi realizzabili<br />

D l’insieme <strong>di</strong> tutti gli algoritmi realizzabili facendo uso<br />

esclusivo delle tre strutture <strong>di</strong> <strong>controllo</strong> <strong>fondamentali</strong><br />

(sequenza, selezione e iterazione)<br />

dato un programma p ∈ P<br />

esiste sempre un programma d ∈ D<br />

che risulta debolmente equivalente a p<br />

Tullio Facchinetti - Cristiana Larizza <strong>Strutture</strong> <strong>di</strong> <strong>controllo</strong>

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!