Bagian terstruktur dari pseudocode adalah notasi untuk mewakili enam konstruksi pemrograman terstruktur tertentu: SEQUENCE, WHILE, IF-THEN-ELSE, REPEAT-UNTIL, FOR, dan CASE. Masing-masing konstruksi ini dapat disematkan di dalam konstruksi lainnya. Konstruksi ini mewakili logika, atau aliran kontrol dalam suatu algoritma.