Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top


$$ \Sigma = \{ a, b, c \}. $$

I am trying to give the inductive definitions of both the set of strings $\Sigma^*$ and $\Sigma^+$.

Thank you.

share|cite|improve this question
And what is the 'set of strings $\sigma^*$' and what is the 'set of strings $\sigma^+$' ? And more imporatntly, what is your question? This isn't facebook, you don't need to give us a status update to let us know what you are doing. – Arturo Magidin Mar 24 '11 at 18:02
Sigma* and Sigma+ aren't given. The question is what are the inductive definitions of both Sigma* and Sigma+. I now realise the wording of the question is suspect and I apologise. – Garee Mar 24 '11 at 18:07
There must be a definition of what it means, in general, to have "sigma*" and "sigma+". Otherwise, they are just words with no meaning, and you cannot give a definition, inductive or otherwise, for words with no meaning. – Arturo Magidin Mar 24 '11 at 18:08

The set $\Sigma^*$ contains all strings. The set $\Sigma^+$ contains all non-empty strings.

Your inductive definition of $\Sigma^*$ will go like this: a string is either empty or of the form $sa$ where $s$ is a string and $a$ is a character. So to form a string, you start with the empty string and keep adding characters at the end.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.