hola:
1) sí, efectivamente, están faltando reglas para mover las letras A1 y B1 sobre los terminales 0 y 1
A2 0 → 0 A2
A2 1 → 1 A2 ...
2) aunque podemos discutir la claridad de la solución al utilizar una marca A ---que no parece ser una buena elección para entender el problema ni tampoco es necesaria, bastaba leer Zo en q3---, el autómata no agrega más marcas de este tipo al stack en q1. la transición lee aes de la entrada, pero deja el stack como está: lee una marca A y deja una marca A en el stack, sin agregar nada. al llegar la primera b en la entrada, el stack contiene nada más que AZo.
algo diferente pasa en q2 en donde sí se lee una B en el stack y se dejan dos, esto es, se agrega una B al stack en cada loop.
saludos,
d.-