Forth и другие саморасширяющиеся системы программирования Locations of visitors to this page
Текущее время: Пн окт 15, 2018 17:28

...
Google Search
Forth-FAQ Spy Grafic

Часовой пояс: UTC + 3 часа [ Летнее время ]




Ответить
Имя пользователя:
Заголовок:
Текст сообщения:
Введите текст вашего сообщения. Длина сообщения в символах не более: 60000

Размер шрифта:
Цвет шрифта
Настройки:
BBCode ВКЛЮЧЕН
[img] ВЫКЛЮЧЕН
[flash] ВЫКЛЮЧЕН
[url] ВКЛЮЧЕН
Смайлики ВЫКЛЮЧЕНЫ
Отключить в этом сообщении BBCode
Не преобразовывать адреса URL в ссылки
Вопрос
Теперь гостю придется вводить здесь пароль. Не от своей учетной записи, а ПАРОЛЬ ДЛЯ ГОСТЯ, получить который можно после регистрации на форуме через ЛС.:
Этот вопрос предназначен для выявления и предотвращения автоматических регистраций.
   

Обзор темы - RuF09: Функциональное описание форт-слов
Автор Сообщение
  Заголовок сообщения:   Ответить с цитатой
WingLion писал(а):
Варнак писал(а):
Ну, описание форт-системы в виде форт-исходников над каким-то минимальным ядром (набором примитивов) это традиция давняя (см. хотя все то же постоянно рекламируемое мной описание FIG-Forth'а у МакКейба - том.2 (Глоссарий) его и содержит).


А можно увидеть эту "рекламу" снова? :shuffle;

Можно, например, вот в этой ветке (пардон, не знаю как сделать ссылку на конкретный пост):
http://fforum.winglion.ru/viewtopic.php ... c&start=15
или в этой:
http://fforum.winglion.ru/viewtopic.php ... c&start=15
Сообщение Добавлено: Чт фев 19, 2009 12:44
  Заголовок сообщения:   Ответить с цитатой
Варнак писал(а):
Ну, описание форт-системы в виде форт-исходников над каким-то минимальным ядром (набором примитивов) это традиция давняя (см. хотя все то же постоянно рекламируемое мной описание FIG-Forth'а у МакКейба - том.2 (Глоссарий) его и содержит).


А можно увидеть эту "рекламу" снова? :shuffle;
Сообщение Добавлено: Ср фев 18, 2009 20:07
  Заголовок сообщения:   Ответить с цитатой
разные представления xor-ов в данной теме - уже оффтопик...
Сообщение Добавлено: Ср фев 18, 2009 19:55
  Заголовок сообщения:   Ответить с цитатой
На Сифорте, если представить, что мы располагаем словом or:

: xor1 over over and push or pop not and ;
: xor2 over over and not push or pop and ;
: xor3 over over or push and not pop and ;
Сообщение Добавлено: Ср фев 18, 2009 19:46
  Заголовок сообщения:   Ответить с цитатой
Варнак писал(а):
Поэтому мне кажется, что новым и ценным как раз было бы добавление в это описание такой характеристики как время исполнения - или в рассматриваемом форт-процессоре все команды реально будут исполняться за один такт?


исполнение команд процессора - 1 или 2 такта. А время исполнения в функциональном описании ни к чему.

mars писал(а):
Уважаемый WingLion
У Вас ошибка в примере определения XOR.


Да, спросонья написал не то :shuffle;

правильно: : XOR OVER OVER AND >R NOR R> NOR ;

или так: : XOR OVER OVER NAND DUP >R NAND SWAP R> NAND NAND ;

если опять не наврал.. :weep;
Сообщение Добавлено: Ср фев 18, 2009 18:49
  Заголовок сообщения:   Ответить с цитатой
mars писал(а):
У Вас ошибка в примере определения XOR.

Слово XOR из обязательного набора слов нельзя выразить(там нет слов INVERT (NOT) или NAND(NOR)).
Сообщение Добавлено: Ср фев 18, 2009 12:52
  Заголовок сообщения:   Ответить с цитатой
Уважаемый WingLion
У Вас ошибка в примере определения XOR.
С уважением, mars
Сообщение Добавлено: Ср фев 18, 2009 10:56
  Заголовок сообщения:   Ответить с цитатой
Ну, описание форт-системы в виде форт-исходников над каким-то минимальным ядром (набором примитивов) это традиция давняя (см. хотя все то же постоянно рекламируемое мной описание FIG-Forth'а у МакКейба - том.2 (Глоссарий) его и содержит).
Поэтому мне кажется, что новым и ценным как раз было бы добавление в это описание такой характеристики как время исполнения - или в рассматриваемом форт-процессоре все команды реально будут исполняться за один такт?
Сообщение Добавлено: Ср фев 18, 2009 08:39
  Заголовок сообщения:  RuF09: Функциональное описание форт-слов  Ответить с цитатой
Идея сия зреет у меня уже давно. Именно она причина того, почему некая группа слов в моем варианте представлена в виде форт-исходников.

А идея произрастает из функциональной симуляции логических схем, заключающейся в том, что симулятор отбрсывает все задержки внутри логических элементов и проводит симуляцию только на логическом уровне. Записано A=Б+C+D -- на выходе А (в симуляции) сумма появится сразу же, как только изменится любой из операндов, независимо от того, какая градация скорости микросхемы выставлена в установках.

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

В этом случае сразу же отсеятся все вопросы связанные со скоростью исполнения, и не должно быть возражений типа "а вот так эта команда исполнится быстрее, потому что тут 10 операций в строке, а не 12".

Пример:

<s>: XOR OVER OVER AND >R OR R> OR ;</s>
: XOR OVER OVER AND >R OR NOT R> OR NOT ;


С одной стороны это определение слова XOR в системе команд, где его нет, с другой -- функциональное описание команды XOR для форт-процессора, в котором подразумевается, что цепочка из нескольких слов исполняется за один такт (цикл) и совсем даже не так, а лишь эквивалентно такому способу.
Сообщение Добавлено: Ср фев 18, 2009 06:56

Часовой пояс: UTC + 3 часа [ Летнее время ]


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group
phpBB сборка от FladeX // Русская поддержка phpBB