Na tom intenzivně pracuju já osobně. Už jsem implementoval parsery zdrojáků všech podstatných programovacích jazyků a reprezentaci Turingova stroje. Teď už mi zbývá jen ten poslední krok, rozvinout výpočet stroje do stromu a podívat se, jestli je ten strom konečný. Myslím, že to už bude hračka. ;-)