Formal languages are well discussed in Computer Sciences SE. Formal languages are the basic theoretical foundation behind programming, but I'm not sure questions about them are really ABOUT programming.
(Not to mention that many of these questions, when asked on SO, are just asking for us to do their homework, like thisthis and thisthis. Just a quick glance on context-free-grammar and the amount of homework is obvious, but that's another topic.)
Are questions about formal languages (assuming they're not low quality like most of them) on-topic for Stack Overflow?