Two computational theory language questions - multi choice

AI Thread Summary
The discussion revolves around two computational theory questions regarding language sets and generators. For the first question, participants analyze the set options to determine which set produces the same number of 8-letter and 4-letter words, with some concluding that option 1 yields the correct result while others question the validity of option 2 due to its length. In the second question, the focus is on identifying a suitable generator for the language NOTABandEVEN, with most agreeing that option 3 (ba) is the only valid choice, while others express confusion over the term "generator." The conversation highlights the ambiguity in the questions and the need for clearer definitions. Overall, participants engage in a detailed examination of the language properties and the implications of the provided options.
Lord Anoobis
Messages
131
Reaction score
22

Homework Statement


##1)## Which one of the following is an example of a set ##S## such that the language ##S^*## has the same number of 8-letter words as 4-letter words?
1) ##S = \{aaaa \quad bbbb\}##
2) ##S = \{bbbb \quad bbbbbb\}##
3) ##S = \{aa \quad bb\}##
4) ##S = \{a \quad bbbb\}##

##2)## Consider the language NOTABandEVEN over ##\{a \quad b\}## consisting of all words of even length that do not contain the substring ##ab##. Which one of the following is a suitable generator?
1) ##baa##
2) ##bbbaab##
3) ##ba##
4) ##babb##

Homework Equations


None.

The Attempt at a Solution


In the first question we can easily eliminate 3 and 4. 1 has two possibilities for both four-letter and eight-letter words. 2 has one possibility for each, so we have two correct answers. Or have I overlooked something?

In the second question all of the given strings result in words containing the forbidden substring. The only possibility I see is option 3 with the only word generated being ##ba##, so the language in question consists of only one word. Correct?
 
Physics news on Phys.org
For question 1, choice 1, I get 4 8-letter words, and only 2 4-letter words.

It's not clear what is meant by generator in question 2. Generally a language is generated by a grammar, or a set of production rules. The meaning here seems to be like a generator for a group: ab, generates {∅, ab, abab, abababab, ...}. The problems is that any string with one or more a 's and one or more b's in it will fail, and you won't generate the entire language anyway. something like this is needed:
S→BA
A→aA
B→bB
A→∅
B→∅
∅ is the empty string
 
jedishrfu said:
Wouldn't bbaa and bbbaaa ... be members too for question #2?

For question #1, choice 2 says bbbb or bbbbbb so doesn't the bbbbbb exclude it as well since bbbbbb is 6 characters in length?
The question seems to limit one to words resulting from concatenating the given strings so I assume ##bbaa## and ##bbbaaa## do not qualify. Quite frankly I feel both questions are a bit vague.
 
willem2 said:
For question 1, choice 1, I get 4 8-letter words, and only 2 4-letter words.
Okay, I can see that now. I neglected the possibilities of all ##a## and all ##b##. As for the term "generator" in question 2, I agree that it is far from clear and one has to assume what it requires.
 
Thanks for the input.
 
Back
Top