EQUAZIONE DI DEFINIZIONE

Questo operatore viene comunemente indicato con $\:\stackrel{{def}}{{=}}\:$, ma talvolta si trovano anche i simboli = o $\stackrel{{\footnotesize \Delta}}{{=}}$.

Nella definizione $N \:\stackrel{{def}}{{=}}\: E$ si ha che l'espressione $E$ (formata da altri operatori applicati ad azioni e processi) assume il termine $N$ ed ogni volta che troveremo questo nome di processo si avrà il comportamento indicato da $E$. In questo caso la regola di transizione sarà:

$$\renewcommand {\arraystretch}{1.2} \begin{array}{c}E \stackrel{\... ...rel{\alpha}{\longrightarrow} E' \end{array} \quad (N \stackrel{{def}}{{=}}E)$$

Il nome di processo N può anche essere presente nell'espressione indicata a destra e questo permette ai sistemi di essere definiti ricorsivamente.