Forth
http://fforum.winglion.ru/

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

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

mOleg писал(а):
это подразумевается, однако, требуется расшифровка понятия "скомпилированному", может все же "находящемуся в словаре определению" ?

Тут возникает путаница, что же есть Определение--или лексемы в исходнике, или особое содержимое статьи, созданное словами COMPILE и др.
Forh-83 писал(а):
word definition
A named FORTH execution procedure compiled into the
dictionary
. Its execution may be defined in terms of
machine code, as a sequence of compilation address, or other
compiled words.


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

гм, вобещем-то да, хотя может просто ссылка на лексему нужна?:

"слово DUP" лично для меня означает, что DUP можно найти в словаре, передать управление на CFA.
Цитата:
лексема - последовательность символов, ассоциируемая с конкретным определением.

"лексема ТРА-ЛЯ-ЛЯ", это просто в исходном тексте символы без пробела.

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

gudleifr писал(а):
Начала формализмов:

ну, на этой основе, видимо, можно что-то сделать
если прекратить общее обсуждение и сделать :!: :pilot; :work; :-D

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

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

Автор:  WingLion [ Вс мар 04, 2012 16:29 ]
Заголовок сообщения:  Re: Форт - словарик

Записываю замечания, которые надо бы исправить...

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


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

аббревиатуру (ШК) перенес в начало. И все же "сшитых" больше подходит, чем "прошитых".


mOleg писал(а):
лексема - последовательность символов, ассоциируемая с конкретным определением.


лексема - последовательность символов из входного потока, ограниченная пробелами или иными символами-разделителями и не содержащая в себе символы разделители.

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

Кроме того - 1.234Е+7 - тоже лексема, но число не ассоциируется с "конкретным определением"

mOleg писал(а):
словарь - именованный список лексем, так же являющийся лексемой.


Таки словарь лексемой не является... он с ней ассоциирован, но сам - есть не лексема, а тот самый список...

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

WingLion писал(а):
Записываю замечания, которые надо бы исправить...

дык, давно пора!
WingLion писал(а):
аббревиатуру (ШК) перенес в начало. И все же "сшитых" больше подходит, чем "прошитых".

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

масло маслянное? (я про повтор после запятой).
однако, я бы не стал бы ограничивать, ну вот, к примеру:
s" текстовая строка"
где тут лексемы? Т.е., таки, следующие замечания:
WingLion писал(а):
Ассоциация с конкретным определением не обязательна, ибо его может еще просто не существовать...

убивают написанное определение.
потом, нужно ли уточнять, что из входного потока, а если из другого места, то уже не лексема? Ограничения пробельными символами тоже необязательны. Пока не трогаю.

WingLion писал(а):
Кроме того - 1.234Е+7 - тоже лексема, но число не ассоциируется с "конкретным определением"

у кого как :lol:

WingLion писал(а):
Таки словарь лексемой не является... он с ней ассоциирован, но сам - есть не лексема, а тот самый список...

сам является, возможно, стоит сформулировать точнее, но словарь так же является определением, т.е. по большому счету есть только одна абстракция - слово.

Автор:  mOleg [ Сб мар 10, 2012 12:14 ]
Заголовок сообщения:  Re: Форт - словарик

слил три первых темы в первую, освободившиеся остаются про запас.

думаю, нужно ли описывать что такое стек, какие стеки бывают в форте?

Автор:  WingLion [ Сб мар 10, 2012 13:51 ]
Заголовок сообщения:  Re: Форт - словарик

mOleg писал(а):
масло маслянное? (я про повтор после запятой).
однако, я бы не стал бы ограничивать, ну вот, к примеру:
s" текстовая строка"
где тут лексемы? Т.е., таки, следующие замечания:


Если без "масла масляного", то их тут можно насчитать 6 штук... потому и намаслил...

Автор:  wwwalker [ Вт мар 27, 2012 05:52 ]
Заголовок сообщения:  Re: Форт - словарик

mOleg писал(а):
Форт машина (далее ФМ) - набор непосредственно распознаваемых команд реально существующего вычислительного устройства (процессора).

Здесь имеется в виду любой процессор или форт-процессор?
Я пока не разобрался с тонкими особенностями терминов форт, форт-машина, форт-система, форт-процессор.

Автор:  WingLion [ Вт мар 27, 2012 07:19 ]
Заголовок сообщения:  Re: Форт - словарик

mOleg писал(а):
Форт машина (далее ФМ) - набор непосредственно распознаваемых команд реально существующего вычислительного устройства (процессора).


Ужас то какой... И не заметил сразу замыленным глазом...

Форт машина - набором команд быть никак не может.

Форт машина - это устройство, распознающее набор форт-команд и исполняющее соответствующее распознанным командам действие.

Форт-команда - код, соответствующий слову из языка Форт. Исполнение форт команды означает выполнение действия, связанное со словом, которому соответствует команда. Таким образом, каждой форт-команде соответствует некое действие. Что в этой связке первично, команда, слово или действие, зависит от того, с какой стороны смотреть.

wwwalker писал(а):
Я пока не разобрался с тонкими особенностями терминов форт, форт-машина, форт-система, форт-процессор.


Форт - это язык программирования - средство для написания программ для компьютеров/контроллеров/процессоров.

Форт-система - это программа, реализующая Форт, т.е. позволяющая писать те самые программы, посредством языка Форт, т.е. на Форте.

Форт-машина - это то самое, что описано чуть выше.

Форт-процессор - одна из разновидностей Форт-машины, реализующая ее задачу непосредственно с помощью цифровой электронной схемы.

Тут можно наводить тень на плетень, спорить о том, что является форт-процессором, а что нет, что есть "средство", а что "непосредственно" и т.д. и т.п., И это в конец запутает любого студента, которого кто-то может посчитать своим "вероятным противником".

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

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

Автор:  Mihail [ Вт мар 27, 2012 10:34 ]
Заголовок сообщения:  Re: Форт - словарик

WingLion писал(а):
язык программирования - средство для написания программ

Cредство для написания программ это текстовый редактор.
Язык это набор правил, задающих внешний вид программы.
Для Форта эти правила определяются устройством форт-системы.

Автор:  chess [ Вт мар 27, 2012 11:08 ]
Заголовок сообщения:  Re: Форт - словарик

Mihail писал(а):
Для Форта эти правила определяются устройством форт-системы.

Более простое объяснение получится если говорить, что исходные правила поддерживаются форт-системой.
Форт-системы могут быть разными, а исходные правила одни. Если все исходные правила языка ФОРТ не могут быть поддержаны конкретной форт-системой, то форт-система не годится для реализации языка. Если язык предполагает расширение набора правил сверх исходного, то форт-система должна поддерживать такое расширение. Конкретная форт-система может иметь ограничения на расширение набора правил. В языке могут быть средства для расширения самой форт-системы до предельных возможностей аппаратной платформы. Можно назвать такой язык предельно расширяемым Фортом или просто полным Фортом.

Автор:  Mihail [ Вт мар 27, 2012 11:37 ]
Заголовок сообщения:  Re: Форт - словарик

chess писал(а):
Если все исходные правила языка ФОРТ не могут быть поддержаны конкретной форт-системой

По мне, если система, в принципе, что-то не может это уже не форт-система.
Т.к. в рамках форт-системы можно запустить любое приложение
(ограничения могут быть обусловлены только базовыми ресурсами
выделенными для работы форт-системы).
В качестве приложения, может быть интерпретатор любого языка.

Автор:  chess [ Вт мар 27, 2012 12:06 ]
Заголовок сообщения:  Re: Форт - словарик

Mihail писал(а):
По мне, если система, в принципе, что-то не может это уже не форт-система.

Вы ограничиваете список форт-систем только форт-системами, которые поддерживают полный Форт.
Могут же быть ограниченные форт-системы, например решающие какую-то конкретную задачу в рамках
оборудования контроллера. И форт там поддерживается в урезанном виде, но в достаточном для решения этой задачи.

Автор:  Mihail [ Вт мар 27, 2012 12:24 ]
Заголовок сообщения:  Re: Форт - словарик

chess писал(а):
Могут же быть ограниченные форт-системы, например решающие какую-то конкретную задачу

Тогда это не форт-система, а интерпретатор (или компилятор) форт-скрипта.
Вот форт-скрипт это уже язык программирования и он определяется спецификациями
(вне зависимости от устройства интерпретатора его воспринимающего).

Автор:  chess [ Вт мар 27, 2012 12:55 ]
Заголовок сообщения:  Re: Форт - словарик

Mihail писал(а):
Тогда это не форт-система, а интерпретатор (или компилятор) форт-скрипта.
Вот форт-скрипт это уже язык программирования и он определяется спецификациями
(вне зависимости от устройства интерпретатора его воспринимающего).

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

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