in Theory of Computation retagged by
530 views
5 votes
5 votes
Let $\mathrm{M}$ be a $8$-state Deterministic Finite Automaton over the alphabet $\{a, b, c\}$. If the language accepted by $\text{M}$ i.e. $\text{L(M)}$ is finite, then the maximum possible cardinality of $\text{L(M)}$ is __________.
in Theory of Computation retagged by
530 views

1 Answer

6 votes
6 votes

1 comment

As DFA, we should have all transitions for every state on every input {a,b,c} (keep an eye on the size of the input)

so we should leave out the last state as the required is finite language (refer deepak sir's video: https://www.youtube.com/watch?v=kPLciwgwKaE



Maximum number of strings we can accept is given as 

$= 3^{0} +3^{1} +3^{2} +3^{3} +3^{4} +3^{5} +3^{6} $

$= \frac{3^{6+1}  – 1 }{ 3 – 1 }$

$= \frac{ 2187  – 1 }{ 3 – 1 }$

$= \frac{ 2186 }{ 2}$

$= 1093 $

9
9
Answer:

Related questions