Mi aiutate a a risolvere questi esercizi per favore?
1) Sia dato il seguente linguaggio: L=[(a^j)(b^k)(c^k)]|0<=j<=k] Dimostrare formalmente che L non è lineare destro. Stabilire se L è libero da contesto, giustificando formalmente la risposta.
2) Costruire il diagramma di transizione di un automa astati finiti deterministico che accetta il seguente linguaggio: L=[w€(0,1,2)*: |w|=2k+1,k>0]
Spero che qualcuno mi possa aiutare... grazie ciao