Question: Given the PL Theory parts of my question (but seeing it also being part of practical compiler design) Im thinking it might be a better match here than there?

<https://stackoverflow.com/questions/3616950/formally-constructing-control-flow-graph>

Answer: 
Useful resources
----------------

Complexity classes:

* [Complexity Zoo](http://qwiki.stanford.edu/wiki/Complexity_Zoo). In questions that are related to complexity classes, it's a good idea to first check the Zoo and see if your question is already answered there – or if it's a well-known open problem. The Zoo also defines the standard naming convention for complexity classes on this site.

Hardness and approximability:

* [A compendium of NP optimization problems](http://www.nada.kth.se/~viggo/wwwcompendium/).

Problems related to graph families:

* [Information System on Graph Classes and their Inclusions (ISGCI)](http://www.graphclasses.org/).

---

Related discussion: [[1]](https://cstheory.meta.stackexchange.com/questions/25/material-to-supplement-the-faq/44#44)
Are questions about *[this area of computer science]* on-topic here?
--------------------------------------------------------------------

As [our FAQ](https://cstheory.stackexchange.com/faq) explains, we interpret "Theoretical Computer Science" broadly. Roughly speaking, the subareas of computer science that put **emphasis on mathematical technique and rigor** are on-topic.

Here are some further clarifications regarding possible borderline cases:

* **Pure math**: if the problem has some applications in theoretical computer science, it is welcome here – [more discussion](https://cstheory.meta.stackexchange.com/questions/169/when-are-areas-of-pure-math-that-are-used-in-cs-considered-on-topic).
* **Artificial intelligence**: theoretical aspects of artificial intelligence are on-topic; philosophical questions are probably off-topic – [more discussion](https://cstheory.meta.stackexchange.com/questions/114/cstheory-vs-ai-stackexchange-site).

---

Further discussion:
[[1]](https://cstheory.meta.stackexchange.com/questions/115/what-level-and-types-of-questions-are-appropriate-for-theoretical-computer-scienc)
[[2]](https://cstheory.meta.stackexchange.com/questions/119/our-domain-scope-specifically-defined)