Awesome q2a theme
0 votes

Ans should be both false right?

My logic

For the first one say $S=\phi$ then $\phi^*=\epsilon$ which is finite only

and for the second one $S=a$ then $(a)^*$ countably infinite right?

ago in Theory of Computation by (613 points) | 22 views

Well, I guess..

In set theory, if asked to pick an element - you could/would definitely pick $\phi$.

I don't know how/if that translates to formal languages also. Especially if you consider $\Sigma$ to be an alphabet - can you really pick $\phi$ ? If a language $L$ over $\Sigma$ was given - you can surely get $\phi$.

I guess the question boils down to - 'If given an alphabet (not language) $\Sigma = \{a, b\}$, is $\phi$ a member of the alphabet?' I don't know the answer to this.



As S is singleton set, consider S= {∊} 

S* ={∊} which is a finite set.

Hence S1 is false as it says S* will always be countably infinite set.

However S2 is false as it says S* will always be finite. Consider S= {a} then S* ={ ∊, a, aa, aaa,...}

Dont consider S to be null set as it is mentioned that S is a singleton set

$\phi$ is not a string by the way. It's a symbol used to denote empty set.
String of length $0$ is by definition $\epsilon$

Please log in or register to answer this question.

Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
Welcome to GATE CSE Doubts, where you can ask questions and receive answers from other members of the community.
Top Users Jan 2020
  1. shashin

    1163 Points

  2. Vimal Patel

    306 Points

  3. Deepakk Poonia (Dee)

    305 Points

  4. Debapaul

    237 Points

  5. Satbir

    192 Points

  6. SuvasishDutta

    137 Points

  7. Pratyush Priyam Kuan

    118 Points

  8. tp21

    108 Points

  9. DukeThunders

    96 Points

  10. pranay562

    95 Points

Monthly Top User and those within 60% of his/her points will get a share of monthly revenue of GO subject to a minimum payout of Rs. 500. Current monthly budget for Top Users is Rs. 75.
2,989 questions
1,509 answers
89,814 users