add subautomata pdf