Maximally Permissive Reward Machines