Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Programa y estado
Es un predicado que define el
Postcondición
del programa
conjuntode estados iniciales
válidos de un programa
Es un
predicado que define el Precondición
conjunto deestados finales
aceptados del programa
Estado de un algoritmo
Es el valor que tienen todas sus variables
libres en un momento determinado de su
ejecución.
Entrada
Características
Salida
Teorema de Invarianza.
Cota de Ciclo