Forth
http://fforum.winglion.ru/

Форт - словарик
http://fforum.winglion.ru/viewtopic.php?f=24&t=2806
Страница 1 из 3

Автор:  mOleg [ Пт фев 10, 2012 21:01 ]
Заголовок сообщения:  Форт - словарик

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

определение - последовательность лексем, необходимый для создания новой словарной статьи.
словарная статья - вся совокупность полей, относящихся к одному определению (см. Поля словарной статьи).
поля словарной статьи - структурные части, из которых состоит словарная статья (см. поля связи, кода, данных, флагов).
поле связи - место под хранение как минимум адреса предыдущей словарной статьи.
поле имени -место под хранение, обычно, длины ключа и самого ключа, либо специального хэш-кода, позволяющего однозначно связать последовательность символов с определенной словарной статьей.
поле флагов - место под хранение, обычно, двух флагов: сокрытия имени от поиска smudge и признака немедленного исполнения слова immediate, флагов может быть значительно больше.
поле кода - место под хранение непосредственно выполняемых операторов процессора, либо ссылок на них, обеспечивающих выполнение последовательности вызовов, сохраненных в поле данных определения.
поле данных - место под хранение данных определения, т.е. основного его содержимого, которое может быть как исполняемым, так и не исполняемым.
Форт машина (далее ФМ) - устройство, распознающее набор форт-команд и исполняющее соответствующее распознанным командам действие.
Виртуальная машина (далее ВМ) - набор программных примитивов и понятий, позволяющих организовать вычислительную среду определенного вида внутри другой вычислительной среды.
Форт ВМ(далее ФВМ) - базовый набор понятий, позволяющий естественным образом выразить любую языковую конструкцию форт-системы в дальнейшем.
шитый код (далее ШК) - набор небольших кусочков исполнимого кода (либо исполнимых данных) связанных друг с другом с помощью команд управления потоком передачи управления (ШК).
подпрограммный ШК - реализованный с помощью инструкций используемого процессора шитый код.
прямой ШК - шитый код, в котором поле кода представляется с помощью инструкций используемого процессра, а поле даннах содержит адресные ссылки на подобные же поля кода.
косвенный ШК - шитый код, в котором в поле кода находится адресная ссылка на исполняемый код, а в поле данных, соответственно, находятся двойные (вложенные) ссылки.
токенезированный ШК - токенезированный шитый код похож на косвенный ШК, только прямых адресов уже нет, адресация идет через специальную таблицу адресов.
адресный интерпретатор - предполагает наличие любых, кроме подпрограммного, типов шитого кода, адресным интерпретатором является слово, обычно называемое NEXT , связывающее выполнение кода.
лексема - последовательность символов, ассоциируемая с конкретным определением.
интерпретация - режим работы системы, при котором в процессе трансляции текста происходит непосредственное его (текста) исполнение.
трансляция текста - разбор текста (входного потока) на составляющие его части (лексемы) (см. интерпетация, компиляция).
слово - см. определение.
входной поток - источник данных, трансляцией которого в данный момент времени занимается система.
компиляция - режим работы системы, при котором в процессе трансляции текста происходит добавление семантики, связанной с очередной лексемой в создаваемое определение.
словарь - именованный список лексем, так же являющийся лексемой.
контекст - список словарей, в которых на данный момент времени ведется поиск лексем.
текущий словарь - словарь в который происходит добавление нового определения (см. компиляция).

Автор:  mOleg [ Пт фев 10, 2012 21:05 ]
Заголовок сообщения:  Re: Форт - словарик

оставлено про запас

Автор:  mOleg [ Пт фев 10, 2012 21:10 ]
Заголовок сообщения:  Re: Форт - словарик

оставлено про запас.

Автор:  gudleifr [ Пт фев 10, 2012 21:16 ]
Заголовок сообщения:  Re: Форт - словарик

Надо добавить либо юмора, либо аксиоматики.

Автор:  вопрос [ Пт фев 10, 2012 22:26 ]
Заголовок сообщения:  Re: Форт - словарик

Нет, всё хорошо, кроме шитого кода - где-то тут была тема. где долго и безуспешно пытались дать определение шитого кода, нужно согласовать

Автор:  WingLion [ Сб фев 11, 2012 04:24 ]
Заголовок сообщения:  Re: Форт - словарик

mOleg писал(а):
набор небольших кусочков исполнимого кода (либо исполнимых данных) связанных друг с другом с помощью команд управления потоком передачи управления (ШК).


Вот, вместо слова "связанных" - надо бы написать "сшитых" - тогда, становится понятно, почему "код шитый"...

Автор:  mOleg [ Сб фев 11, 2012 08:39 ]
Заголовок сообщения:  Re: Форт - словарик

WingLion писал(а):
Вот, вместо слова "связанных" - надо бы написать "сшитых" - тогда, становится понятно, почему "код шитый"...

не становится, терминологически непонятно оно, поэтому оставил связанных, добавил в скобках (прошитых)

Автор:  WingLion [ Сб фев 11, 2012 11:39 ]
Заголовок сообщения:  Re: Форт - словарик

Вот, "прошитых" - как раз и непонятно... потому что "про" подразумевает "насквозь", что не есть хорошо.

А "сшитые кусочки кода" - вполне нормальное сочетание

Автор:  Hishnik [ Сб фев 11, 2012 13:05 ]
Заголовок сообщения:  Re: Форт - словарик

При формулировании определений хорошо бы потратить время на попытки их "сломать". То есть представить нечто, формально в это определение укладывающееся, но представляющее собой явно не то, что нужно.

Автор:  gudleifr [ Сб фев 11, 2012 13:40 ]
Заголовок сообщения:  Re: Форт - словарик

Я бы начал немного раньше, с кусков кода.
Допустим, код может быть просто исполнимым или настраиваемым (объектным, связываем).
Выход из куска кода может происходить по адресу, содержащемуся в коде, положенным кем-то на стек, прошитым кем-то в словаре...
Вопрос, т.о. состоит в замкнутости нашей конструкции. В случае подпрограммного - замкнут сам кусок, подпрограммного - к каждому куску положен замыкающий довесок, косвенного - замкнутость уже где-то на уровне всей системы...
Так что я за множества и отображения.

Автор:  dynamic-wind [ Сб фев 11, 2012 17:00 ]
Заголовок сообщения:  Re: Форт - словарик

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


PS место под хранение, обычно, длины ключа и самого ключа выдаёт фортерскую привычку хранить строку как длину + неограниченные байты :lol:

Автор:  dynamic-wind [ Сб фев 11, 2012 17:20 ]
Заголовок сообщения:  Re: Форт - словарик

Слово: 1) имя, отображаемое на словарную статью; 2) перен. словарная статья.
8)

Автор:  WingLion [ Сб фев 11, 2012 17:25 ]
Заголовок сообщения:  Re: Форт - словарик

Кстати, построение форта в виде словарных статей с полями - не единственно возможный вариант построения форта...
Вот, задницей чую, не единственный...

Автор:  `Kopa [ Сб фев 11, 2012 18:54 ]
Заголовок сообщения:  Re: Форт - словарик

Можно сверить трактовку определений
с глоссарием из книг по Форту. (в частности М.Келли, Н.спайс)
и добавить, по озможности, контекст использования определения.

Автор:  mOleg [ Вс фев 19, 2012 02:23 ]
Заголовок сообщения:  Re: Форт - словарик

gudleifr писал(а):
Надо добавить либо юмора, либо аксиоматики.

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

WingLion писал(а):
А "сшитые кусочки кода" - вполне нормальное сочетание

не знаю, по мне достаточно изначального варианта,
gudleifr писал(а):
Я бы начал немного раньше, с кусков кода.

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

dynamic-wind писал(а):
словарная статья - вся совокупность полей, относящихся к одному скомпилированному в словарь определению

это подразумевается, однако, требуется расшифровка понятия "скомпилированному", может все же "находящемуся в словаре определению" ?
dynamic-wind писал(а):
поля слова - структурные части, из которых состоит словарная статья (см. поля связи, кода, данных, флагов).--поля словарной статьи, а не слова.

dynamic-wind писал(а):
поле связи - место под хранение как минимум адреса предыдущего определения. --словарной статьи, а не определения.

согласен, правлю.
dynamic-wind писал(а):
поля слова - структурные части, из которых состоит словарная статья (см. поля связи, кода, данных, флагов).--поля словарной статьи, а не слова.

тоже согласен
dynamic-wind писал(а):
и вспомогательной информации,

не обязательно, вобще поле имени часто объединяется с полем флагов, но рассматривать их все же стоит отдельно, имхо.
dynamic-wind писал(а):
непосредственно выполняемые операторы процессора?? почему не назвать их--команды?

криво и так и этак, разницы не вижу. В явном виде именно операторы, а не операнды 8)
dynamic-wind писал(а):
PS место под хранение, обычно, длины ключа и самого ключа выдаёт фортерскую привычку хранить строку как длину + неограниченные байты

дык, написано же, обычно (но не обязательно), если хочется, может быть просто ASCIIZ строка, может быть хеш-код, может быть, к примеру, сжатый текст, или, к примеру, порядковый номер определения.
dynamic-wind писал(а):
Слово: 1) имя, отображаемое на словарную статью; 2) перен. словарная статья.

гм, вобещем-то да, хотя может просто ссылка на лексему нужна?:
лексема - последовательность символов, ассоциируемая с конкретным определением.
WingLion писал(а):
Кстати, построение форта в виде словарных статей с полями - не единственно возможный вариант построения форта...Вот, задницей чую, не единственный...

возможно, но нужно подтвердить (со ссылками), а лучше дать свое, корректное определение 8)

Страница 1 из 3 Часовой пояс: UTC + 3 часа [ Летнее время ]
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
http://www.phpbb.com/