Barrapunto

No exactamente. Aunque se utiliza para enseñar (es útil cuando intentas mostrar que no es lo mismo una asignación que una comparación utilizar "<-" para asignar y "=" para comparar), el pseudocódigo es un lenguaje de especificación. Sirve para mostrar pequeños algoritmos de forma clara, lejos de una sintaxis formal que requiera conocimientos del lenguaje de implementación. Por ejemplo:

mientras tengamos_algo_que_hacer

hacer_cosa_1
hacer_cosa_2
si rula_bien(cosa) entonces

hacer_nosequé

fin_si
hacer_cosa_3

fin_mientras

Si lo que se quiere es un lenguaje de programación muy sencillo y semánticamente muy explícito, se puede utilizar ADA perfectamente.