Без заголовка

Кстати, сейчас часто софт очень близко ходит к компиляции в силикон. К примеру, я на выходных смотрел такую программу как Forge - это тулза для bounded model checking в частности программ для Жаба. Они соответственно берут Жаба программу, и разворачивают циклы ограничиваясь какой-то константой сверху, ну и размер памяти тоже ограничивают. Все это позволяет сконвертировать программу в булеву формулу (и по ней проверять выполнимость свойств). А булеву модель на силикон запихать - это уже давно отработанный механизм. Т.е. в принципе, поскольку "железно" заведомо ограниченно в количестве транзисторов помещающемся на кристалле, то можно писать проги на такой "ограниченной" Жабе и транслировать их в железо. Ну и разумеется такой подход годится для любого языка, ибо там ничего Жаба специфичного нет, стандартный компиляторно-анализаторский инструментарий. Собственно и сама тулза не джава-центричная, просто Жаба - первый язык, для которого есть трансляция во внутренний язык тулзы.