Purtroppo ho corretto il testo e non ricordo più dov’era l’errore. Comunque, anche se il testo è stato corretto, l’ho riporto così, se qualcuno vuole, può provare a capire dov’era l’errore.
Sia $\mathcal{A}=(\Sigma, Q, q_{0}, F,\delta)$ un automa completo, deterministico e
accessibile che riconosce L. Allora la relazione $\varrho_{\mathcal{A}}$ su
$\Sigma^{\ast}$ definita in questo modo:
$$
PROTECTED0
$$
è invariante a destra e compatibile con L. L’invarianza destra viene dalla proprietà
di $\delta^{\ast}$ segnalata nell’osservazione \ref{deltastardeltastar}. La
compatibilità con L viene dal fatto che se $u,v \in \Sigma^{\ast}$ con $u\in L$ e
$v\varrho_{\mathcal{A}}u$, ecc’,ecc’.
Ricordo che c’era qualche \ref senza argomento e qualche $$ non chiuso da un altro $$. Purtroppo più di questo non posso dire.