Probably a really simple question:
I'm currently studying automata theory and I have come across the notation 2^S.
Wikipedia says it means the power set of S which is the set of all subsets of S including the empty set and S itself (S itself = all the elements in S).
This makes pretty good sense regarding the automata theory I'm reading about.
But I'm wondering whether the number, 2, is always the number to use, or if the number used depends on something. For instance, in my reading about automata theory, an alphabet like {0, 1} is being used and also on Wikipedia {0, 1} is being used. Also on Wikipedia it says the following: As "2" can be defined as {0,1}.
So does the number being used depend on the number of elements in the set/alphabet, or is it correct to always use the number 2?