My question is about how to construct, given a number n, an NFA with n states which gets converted to a complete (i.e., with no omitted transitions) DFA with exactly $2^n$ reachable states (even thought we might be able to minimize the automaton). What I've seen about converting an NFA to a DFA is a power set contruction, but in every example there are always unreachable states in the DFA, so if you construct it creating only the states you can reach, it ends up having less than $2^n$ states, without even being minimized.
So I thought about constructing NFAs where the power set construction gives you the worst possible DFA - one with exactly $2^n$ states. I thought it was interesting because it is as if you have the "most non-deterministic" automaton, in the sense that the conversion leads you to the worst case of the number of required states to simulate the NFA with a DFA (I'd like to point out that I'm not concerned with the fact that the DFA may be minimizable - that sounds interesting, but a bit harder to check).
Below are two examples, for $n=2$ and $n=3$, where the DFA you obtain using the power set construction has $2^n$ reachable states.
So, is there a "uniform" construction for these non-deterministic automata? In these examples I just went on adding transition to create all the states in the power set, but I always had to check what I had and what I was still missing.