En informática , un bloque básico es una parte del código fuente de un programa que se caracteriza por ciertas propiedades útiles que lo hacen fácil de analizar . Los compiladores desglosan la mayoría de los programas de tiempo en sus bloques básicos en un primer paso del proceso de análisis.
Los bloques básicos forman los nodos de un diagrama de flujo de control .
El código de un bloque básico incluye:
Por lo tanto, cada vez que se ejecuta la primera instrucción de un bloque básico, las otras instrucciones se ejecutan exactamente una vez y en orden.
Más formalmente, una secuencia de instrucciones forma un bloque básico cuando:
Esta definición es algo más general que la definición intuitiva. Por ejemplo, permite saltos incondicionales a etiquetas que no son objetivos de otros saltos. Esta definición refleja las propiedades que hacen que los bloques básicos sean fáciles de usar al construir un algoritmo.
Los bloques a los que se puede transferir el control después de llegar al final del bloque se denominan sucesores del bloque. Los bloques de los que se puede proceder antes de entrar en un bloque básico se denominan predecesores . Puede saltar al inicio de un bloque básico desde varios lugares.