3
votes
1answer
98 views

Prove that a formal language is infinite

I'm having trouble with the following exercise: Let $\Sigma = \{a,b,c\}$ and $L$ be a formal language, that consists of all words which contain all three letters at least once. Show that $L$ is ...
3
votes
2answers
186 views

Different standards for writing down expressions in a formal way

What are standard ways to write mathematical expressions in a (semi)formal way ? In different posts of mine concerning similar question I have encountered for a generic expression of the type "for all ...