SEMANTICA SECUENCIAL





Los programas secuenciales terminan
Sea Progs el conjunto de programas
Sea Est el conjunto de estados de memoria
La semántica de un programa puede
establecerse
Sem : Progs

( Est

Est )

 La característica fundamental es que el
comportamiento es determinista