Un algorithme distribué A est un algorithme qui s'exécute sur plus d'une machine ou processeur.
En d'autres termes, un algorithme distribué A sur un système distribué S n'est autre que la caractérisation des transitions locales à réaliser séquentiellement par chaque processus de S à la réception d'un message [Zem09].
L'algorithme de type I est le stade le plus basique de l'intelligence artificielle, et le plus développé actuellement : une machine capable de percevoir le monde alentour et d'agir en fonction de ces perceptions.
Il existe trois structures algorithmiques différentes : - la structure linéaire ou séquentielle ; - les structures alternatives ou conditionnelles ; - les structures répétitives ou itératives.