HiveBrain v1.2.0
Get Started
← Back to all entries
snippetMinor

Unrestricted grammar to generate $a^{n^2}$

Submitted by: @import:stackexchange-cs··
0
Viewed 0 times
unrestrictedgenerategrammar

Problem

I have been asked to find a grammar that will generate the language $\{a^{n^2}:n \ge0\}$ in an exercise. So far I tried to replicate the previously written characters with my grammar rules but it didn't work. Any idea on how to setup such grammar? Any help will be appreciated.

Solution

Set aside $n$ of the $n^2$ characters, and use that $(n+1)^2 = n^2 + 2n +1$.

So at any moment we have (say) $n^2-n$ symbols $A$ and $n$ symbols $B$.
We also need endmarkers. $L,R$ count as A$.

$S\to LBBR$

In one linear phase we visit all symbols, and each symbol $B$ will generate two extra $A$'s. Finally we add a $B$.

$L \to LX$; $XA\to AX$; $XB\to AABX$; $XR\to BR$

Nondeterministically end, transforming all symbols into $a$.

Context

StackExchange Computer Science Q#71567, answer score: 2

Revisions (0)

No revisions yet.