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: 
How do I write formulas?
------------------------

This site uses [MathJax](http://www.mathjax.org/). You can simply type (almost) any LaTeX equations between a pair of $-signs, and the system will display it properly typeset. This should work in questions, answers, and comments (with some exceptions).

---

Why don't I see any formulas? Why do I get a *[Math Processing Error]*?
-----------------------------------------------------------------------

Try [this page](http://www.mathjax.org/demos/) first and see if MathJax works in your system at all. If the demo page works, but formulas on this site don't work, try to **clear your browser's cache**.

---

Related discussion:
[[1]](https://cstheory.meta.stackexchange.com/questions/3/latex-math-support)
[[2]](https://cstheory.meta.stackexchange.com/questions/195/cant-see-formulas)
[[3]](https://cstheory.meta.stackexchange.com/questions/25/material-to-supplement-the-faq/244#244)
[[4]](https://cstheory.meta.stackexchange.com/questions/258/math-processing-error)
Why can't I comment on my own question?
---------------------------------------

Ideally, you should always be able to comment on your own question.

If you cannot find a link labeled “add comment” below your own question, you may be using a different account from the one you used to post the question. Note that *using the same user name and the same icon does not mean that you are using the same account*.

If this happens, ask the moderators to merge the two accounts by flagging the question and state the situation briefly in the flagging comment. Alternatively, you can open a thread on [meta](https://cstheory.meta.stackexchange.com/) to explain the situation.

To prevent this from happening in the future, we strongly encourage you to register your account.

Related discussion: [[1]](https://cstheory.meta.stackexchange.com/questions/422/what-should-we-do-if-we-noticed-someone-having-the-multiple-account-problem)