Konsep algoritma dan pseudocode

Algoritma adalah urutan langkah terbatas, jelas, dan dapat dijalankan untuk mengubah input menjadi output. Pseudocode menjelaskan logika tanpa terikat sintaks bahasa tertentu. Ketepatan algoritma ditentukan oleh perilaku untuk seluruh input yang memenuhi syarat, bukan hanya satu contoh. Pelacakan (trace) dan pengujian kasus batas membantu menemukan kesalahan logika.

• Tentukan kontrak: input, output, prasyarat, dan kondisi hasil.
• Tiga struktur dasar: urutan, percabangan, perulangan.
• Trace: catat nilai variabel setelah setiap langkah penting; uji input normal dan kasus batas.
• Algoritma harus berhenti; loop memerlukan kondisi selesai yang bisa tercapai.
• Pseudocode bank ini netral bahasa; lihat ALGORITHM_CONVENTIONS.md.

Contoh yang berhasil tidak membuktikan algoritma benar untuk semua input; cari juga contoh tandingan.