Questions tagged [theory]
The theory tag has no usage guidance.
3 questions
-1
votes
1
answer
74
views
Is this language a context free language?
Consider the following language, where the alphabet is $\{0, 1, 2\}$:
$B = \{0^a1^b2^c|a, b, c \geq 0 \text{ and }c = ab + 1\}$.
Is this language a context free language? Prove your answer.
I am ...
- 29
18
votes
2
answers
7k
views
Can a deterministic finite automaton ever go into an infinite loop?
As the title suggests, is this possible? Or does it halt execution when it hits the trap state? Thanks to anyone who can clear this up.
- 181
7
votes
3
answers
9k
views
Why does a DFA have multiple final states?
I am taking a course on programming language design and we got to the DFA part. It is known to be formally defined by a 5-tupple but they did not make it very clear to us why a DFA can have multiple ...
