0
I don't get any people interested on MSE usually with this type of problem, and it is an untried idea. So I'm testing the waters out here. :)
The smallest grammar problem problem once solved will also answer whether $\textbf{P} \neq \textbf{NP}$.
Let $s \in \Sigma^*$ be our input string.
Th...
