Linguaggi formali - macchina di turing

[dazuco]

Sto studiando informatica teorica ed in particolar modo le configurazioni istantanee di una macchina di turing deterministica a nastro singolo.
Tale configurazione la possiamo rappresentare con xqy (dove x,y sono parole e q rappresenta lo stato corrente della M.T.)
Ad esempio accc$q_2$ccccc
Supponendo stiamo
usando l'alfabeto $\Gamma$ comprensivo dei due simboli a,c
indicando con {$\epsilon$} la parola vuota
indicando con {b} il carattere blank
indicando con $\bar{Gamma}^x$ la chiusura riflessiva di $\bar{Gamma}$
indicando con $\bar{Gamma}$ la seguente unione $\Gamma$ U {b}

segue che

x $in$ $\Gamma$ $\bar{Gamma}^x$ U {$\epsilon$}
y $in$ $\bar{Gamma}^x$ $\Gamma$ U {b}

Non capisco il perchè di queste ultime due righe.
Qualcuno potrebbe aiutarmi?

[codino75]

non so aiutarti, ma prova a spostarla nella sezione 'informatica', anche se non so se si puo' fare ne' come.




Spostato in Informatica.
Camillo