Полностью с вами согласен. Сначало надо сделать нормаьлные компиляторы, а потом уже думать об обратной процедуре. Тем более, что такая задача похоже по силам только ИИ, и то с большими ограничениями.