кстати, если форт - "языковая среда"
то как базовая модель может состоять из регистров

Да, лучше так, не стоит тут теоретические варианты развивать.
Пусть будет наиболее простой и внятный.

примечание - вариация - по латыни - многообразие

с другой стороны, почему бы не обойтмсь без регистров тоже и ограничиться структурами данных - получится очень просто - линейная память и два стека, а какие регистры их реализуют - не столь важно - может есть один регистр для реализации стека, а может два - плюс сегментный IMHO

по сути, в обоих предложенных схемах два регистра являются вершинами стеков... TOP - явно, IP - неявно, Так что, имеем два стека, линейную память и операционное логическое ядро.
А есть в этом ядре память (дополнительные регистры/триггеры) или нет - формально и не важно.

ну да

существует, кстати, такое понятие, как
" Абстрактная Машина "
можно было бы эту самую машину форта выразить как абстрактную
пример - Пролог как правило реализован на абстрактной машине Уоррена
в одной статье есть упоминание и её и форта тут: http://www.nestor.minsk.by/kg/2000/10/kg01004.html

машина так и строится, как некие области памяти и применяемый к областям алгоритм...

собственно, тема открыта для других предожений!)
нарисуйте свой вариант, мы и его будем обсуждать (касается всех заинтересованных)


эм, вот тут я несколько не согласен. ТОP все же является простым регистром, хотя и относится к стеку данных.
а вот IP, тот да, вполне может быть частью стека возвратов (но тоже его удобнее представлять как регистр)

Они лишь формально являются частями стеков. А реально, у стека один вход для данных, поэтому над его вершиной и появляется доп-регистр, который нужен, чтобы одновременно модифицировать два элемента, а не один.

С другой стороны, две ячейки стека модифицирует только SWAP (ROT -ROT - три ячейки... а ROLL - вообще немеряно В этой связи возможно выполнить стек с одним портом для записи. Именно возможно, поскольку выделение специального регистра для вершины стека, в принципе, действует на проект весьма благоприятно - появляется возможность дублирования, например, чего нельзя обеспечить для памяти, реализующей остальную часть стека.
Я бы остановился на том, что стек должен обеспечивать доступ как минимум к двум верхним числам, и одной произвольной ячейке для записи. Произвольность на деле оборачивается тремя адресами - самой вершиной, ячейкой под ней, и ячейкой над ней.

я именно это и имею ввиду. Те же соображения касаются и IP

кстати, я добавил описание регистров к картинке в первый пост

для формальной машины это не важно, тут скорее важно отношение между собой отдельных частей процессора.
в реальности стек может быть очень разным:
1) находиться в общем адресном пространстве кода данных (кстати наихудший вариант)
2) находиться в отдельном адресном пространстве, позволяющем, однако, работать со стеком, как с массивом
3) чистый стек с одним единственным входом\выходом для чтения\извлечения\заталкивания данных
и так далее. Плюс варианты организации стека с учетом многозадачности (легкого переключения) и т.п.


и это получается хитрый стек, а по сути некое "мошенничество" когда называем пару регистр+стек "специальным стеком"

Как он будет реализован - это уже проблемы реализации. Но для постановки задачи реализации стека ее надо сформулировать. Откуда уже и будут понятны варианты.

Это получается действительный стек. Потому что он именно так и работает:
2 2 + результат кладется "под вершину"
100 @ результат кладется вместо верхнего числа
2 результат кладется поверх верхнего числа

именно!
а так, стек это структура данных с доступом только к верхнему элементу, и доступный на чтение и запись только с одной стороны.


в форте он так работает (причем не всегда так, есть и чистые стеки, к примеру CONTEXT)
то есть тут тоже как с шитым кодом, действительно только в рамках Форта...

Тут надо разъяснять, почему, например, слово + работает сразу с двумя ячейками, и где находится верхнее число, когда это слово пытается добраться до второго операнда. Для аппаратной форт-машины доступ к двум ячейкам крайне желателен, иначе у нас появляется многотактный доступ к стеку из АЛУ.

Так и обсуждается Форт-машина.

некий рисунок я помещал