Si ti ringrazio, forse è molto banale ma te ne sono comunque grato.
Quindi se invece ho:
(AnB^c)nB avrò vuoto giusto?
se volessi fare dei passaggi è corretto scrivere così?
An(B^cnB) -> AnVuoto=vuoto, o dovrei fare cosi:
(AnB)n(BnB^c) -> (AnB)nvuoto -> vuoto.
Ti ringrazio dell'aiuto.