1. Inicio y fin: parten de un estado inicial desde el cual ejecutan una serie de instrucciones para llegar a un estado final de salida o finalización.

2. Exactitud: deben indicar un orden claro, específico y lógico de instrucciones para la ejecución de cada paso, sin que exista espacio para la ambigüedad.

3. Secuencia: deben seguir una serie de pasos ordenados, entendibles y previamente establecidos. 

4. Completos: deben tener en cuenta todas las posibilidades y presentaciones del problema para ejecutar la solución exacta. 

5. Finitos: el número de pasos para ejecutar la tarea debe ser finito para darla por concluida. 

6. Abstractos: representan una guía o modelo para ordenar procesos.

• Secuenciales: comparan el elemento a buscar con cada elemento del conjunto, hasta encontrarlo.

• Binarias: comparan el elemento de búsqueda con un elemento ubicado en el medio de una serie ordenada para determinar si son iguales. 

• De burbuja: comparan cada elemento de la lista a ordenar, intercambiando posiciones si no están ordenados correctamente.

• Por selección: ordenan a partir del elemento más pequeño de forma consecutiva.

• Rápido: eligen un elemento del conjunto y reubican el resto en torno a este en función de si son menores o mayores respecto a él.

Los principales usos para las variables son:

• Guardar datos y estados.

• Asignar valores de una variable a otra.

• Representar valores dentro de una expresión matemática.

• Mostrar valores por pantalla.

• El nombre único que la identifica dentro del programa

• El valor guardado que puede cambiar durante la ejecución del programa

• El tipo de datos que se almacena, como números, textos, estados booleanos, etc.

• El alcance, que puede ser global, si se puede acceder desde cualquier parte del programa, o local, si solo se puede acceder dentro de un bloque de código.