PA1: Init
Merge remote-tracking branch 'origin/Automata'