Pseudocódigo es un lenguaje de especificación de algoritmos que se parece al inglés y permite describir la lógica de un programa sin usar un lenguaje de programación específico. Se utiliza para planificar programas y luego traducirlos a un lenguaje formal. El pseudocódigo usa palabras clave como start, end, if-then, etc. y no puede ser ejecutado directamente por una computadora. Ofrece ventajas como ocupar menos espacio, facilitar la programación repetitiva y la traducción a lenguajes formales.