Может ли язык Си работать на условной stack-based машине?

Question

[Catmengi]

Может ли язык Си работать на условной стековой машине? Есть какие-то преграды для этого в дизайне языка(я их не вижу). В виде стековой машины я имею в виду условную машину Тьюринга, использующую стек и имеющую пару служебных регистров и некоторых регистров для указателей. Будут ли какие-то проблемы для генерации кода из Си в ассемблер для подобной машины?

Comments

[Everything_is_not_so_bad]

Этот вопрос преследует какие-то практические цели или чисто академические?

Answer 1

[jcmvbkbc]

Может ли язык Си работать на условной стековой машине? … В виде стековой машины я имею в виду условную машину Тьюринга

Есть такая штука, тезис Чёрча — Тьюринга, которая говорит, что любой алгоритм может быть реализован машиной Тьюринга.

Будут ли какие-то проблемы для генерации кода из Си в ассемблер для подобной машины?

Для этого надо уточнить, что такое "проблемы".

Comments

[Catmengi]

Извиняюсь за недосказанности но под проблемы влазиет то что не даст полностью реализовать все функции языка.й

[jcmvbkbc]

то что не даст полностью реализовать все функции языка

Catmengi, из упомянутого тезиса следует, что ничего такого в алгоритмическом языке нет. Не только в C, но и в любом другом.

Answer 2

[mayton2019]

на условной stack-based машине

С точки зрения практических стековых машин. Существует язык стек-ориентированный Forth и на нем программируют микроконтроллеры и вообще творят всякие штуки которые можно описать алгоритмом. Гитхабе я находил проекты реализаций языка Lisp на Forth. Тоесть ... скорее всего можно все.

Является ли Форт в данном вопросе stack-based машиной - я не знаю. Он - скорее всего шире чем просто
стек машина. По крайней мере есть ссылки на память и стек возвратов.

Для прояснения - желательно чтобы автор привел свое понимание термина. Потому что есть еще
push down automata, это тоже термин и его надо как-то сопоставить с тем что пишет автор
иначе у нас будет оооочень много стековых машин с разными свойствами и мы запутаемся.

Comments

[Catmengi]

Под стековой машиной понимается что-то похожее на машину Java и CIL

[mayton2019]

Catmengi, помимо команд стека, Java может создавать создавать переменные и выделять
память - поэтому можно сделать любой компиллятор.

Я видел и скачивал эмулятор MS-DOS на Java и эмулятор Zx-Spectrum.