Semantica operazionale

[hamming_burst]

Salve,
avrei un parere da chiedervi.

Su dei miei appunti, presi durante il corso di semantica, ho scritto questa frase:

per non rendere la semantica non deterministica, basta togliere il secondo passaggio della "(parola incomprensibile)" per rendere le operazioni sequenziali e deterministiche

non capisco cosa possa voler dire la frase, cosa bisogna togliere?

nella stessa facciata ho la definizione di "equivalenza fra programmi" nelle espressioni e
la semantica dinamica di "bop" (binary operation +,*,=,...) per rendere le transizioni parallele (valutazione destra a sinistra e contrario).

Questo "togliere" può essere lasciare solo la semantica dinamica di bop per la valutazione in un solo senso?


Ringrazio chi aiuta

[hamming_burst]

mi sono risposto da solo.
per non creare non determinismo nella semantica basta lasciare solo la valutazione da sinistra a destra nell'operatore binario, così non c'è ambiguita nel linguaggio.