2
votes
Accepted
Is the class of star-free languages just the complement to counter languages within the regular language class?
These languages families are related by similar names only, both formalisms have their own relation to the concept of counting.
The beauty of regular languages is that they can be defined using (...
1
vote
Communication complexity of Dyck language
TL;DR: $n \le C(f) \le n+1$.
We can easily prove that $C(f) \ge n$. Consider the set of $x \in \{(,[\}^n$. There are $2^n$ such $x$-values. Each matches a different set of $y$-values. So, you need ...

D.W.♦
- 156k
1
vote
Derivation trees to show a given grammar is ambiguous
I believe your professor is wrong. You exhibited two leftmost derivations, which is all that is required to show a grammar is ambiguous. Although, one small thing: $S \Rightarrow SS \Rightarrow aSbS \...
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
formal-grammars × 1251context-free × 612
formal-languages × 570
parsers × 211
regular-languages × 112
compilers × 102
automata × 98
ambiguity × 75
context-sensitive × 49
finite-automata × 48
regular-expressions × 45
pushdown-automata × 45
computability × 38
left-recursion × 36
terminology × 33
normal-forms × 33
programming-languages × 28
turing-machines × 25
algorithms × 22
chomsky-hierarchy × 22
lr-k × 22
pumping-lemma × 21
complexity-theory × 19
proof-techniques × 19
reference-request × 18