Automatos com pilha

Estou com um problema, porém, nem sei por onde começar, que é implementar um autômato de pilha que reconheça essas duas linguagens. Alguem tem uma ideia?

Eu abri a IDE pra tentar fazer alguma coisa e me dei conta que eu esqueci quase que completamente esse assunto, da matéria de Linguagens Formais e Autômatos. Vou colocar aqui no backlog de assuntos à estudar hehe. Vou seguir o tópico para ver as respostas.

vc tbm precisa implementar? vamos trocar ideias

Não, só fiquei curioso hehe

Para resolver, assista:
https://www.youtube.com/watch?v=LA8zGYfMnXE
Se estiver com dificuldade, assista:
https://www.youtube.com/watch?v=6djUgfpa5-E&list=PLD57265DD0C9FCCE6

Assisti os vídeos acima e fiz um ESBOÇO da primeira questão, sendo que a segunda não demonstra ser problemática.
Vide esboço: