Действующие лица:
Jump-table, они же таблицы переходов, они же таблицы решений, он же ON GOSUB...
Сканер, он же лексический анализатор, он же парсер (хотя тут часто путаница из-за неправильного понимания...).
Автоматы, используемые для разбора строк.

Использовано в моём недо-браузере для разбора HTML (вот к нему пояснительная записка) и ещё кое-где из пока неопубликованного.

Объяснять дополнительно не буду, просто дам примеры (тем более что я уже объяснял в пояснительной записке; плохо ли, хорошо ли, но ещё раз уже лень).

Пример, таблица решений (переходов):



Вот ещё пример:


Автомат разбора текста (каждое состояние=таблица переходов с 256+несколько специальных обработчиков):



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

Как ещё один пример могу предложить посмотреть (для запуска надо будет тащить всё остальное окружение, поэтому даю только отрывок) отрывок из xml-сканера:



... которому примерно соответствует эта иллюстрация из моего диплома:



Общие вопросы:
1. Нужно ли делать несколько автоматов? Пока не уверен, но наверно всё-таки надо... С другой стороны во всех программах в которых я использовал эту библиотеку автомат пусть и использовался с разными замкнутыми наборами состояний, но использование их всегда как-то само собой разносилось по времени.
2. Накопители (collectors.f, как полный и работающий пример: ~profit/prog/browser.f)... Насколько оправданно их применение? Не лучше ли всё-таки переносить в кучу? Когда писал браузер это было нужно (всего лишь) пару раз (для WinAPI функций, требовавших строк оканчивающихся на ноль, тогда как у меня были только накопители-обрывки из главного текста).

Вопросы по реализации:
3. Слово 'пустить-автомат'. Пока получается, что определять его надо отдельно от самой библиотеки. Вначале нужно указать сколько занимает каждый символ во входной последовательности: 2 (уникод) или 1 (всё остальное). Потом устанавливаем курсор-бегунок на начало последовательности. И после этого только можно устанавливать начальное состояние автомата. Потому что состояние когда активируется может иметь обработчик, который почти всегда будет использовать текущее значение курсора. И после этого запускаем или '-символов-обработать' с указанием кол-ва символов в последовательности, или 'обрабатывать-до-сигнала' который работает пока переменная 'продолжать-обработку' не равна нулю.
4. Нужно ли делать возможным запуск автомата из обработчика автомата? Опять же, практической необходимости в этом пока не возникало...
5. Я так понимаю, что это должно быть много быстрее чем обычные CASE. Или нет?

После http: обычно ставится два слэша: http://forth.org.ru/~profit/diplom.pdf

Спасибо, исправил.

Пролистнув книгу по Форту(Кейли) натолкнулся на близкую
синтаксическую конструкции ACASE и NCASE из MMS форта
Пр по памяти:
( символьный кейс если A то word1 , если пробел то word2 и т.д
если сравнения не нашли то слова после OTHERWISE )
: ... ACASE A B" word1 word2 word3" OTHERWISE ... ENDCASE ;

: ... NCASE 1 2 3 " word1 word2 word3" OTHERWISE ... ENDCASE ;

Не знаю про реализацию в этой системе. У меня это сделано так:



То есть создаётся n адресов подпрограмм, и при вызове созданного слова оно берёт число со стека и вызывает n-й адрес.

Опять же, chartable.f -- не синтаксическая конструкция. Слова, нужные для создания и разворачивания таблиц даже не IMMEDIATE.

Однозначно быстрее - не нужно обходить в среднем половину веток CASE.

Не понял... Обхода же вообще нет, только косвенный переход?..

Обход был бы в случае использования CASE, а не таблиц.

Мне это не так однозначно, потому и спрашиваю. Вроде бы jmp [eax] жрёт (гораздо?) больше тактов, чем jmp "куда-то".

Команда jmp [eax] - косвенный переход, если внутри сегмента - то 3 такта, если межсегментный переход, то максимум 18 тактов, jmp "куда-то" - число тактов такое же.

Я просмотрел или как добыть текущий символ, т.е. например в ветке все: как узнать что за символ сейчас в автомате?
Например так


Пожелания:
Стековых комментариев добавить.
Примеры (те что в этом треде) добавить в саму либу.
Оформить в виде модуля.
И наконец залить всё на CVS.

Есть слово "символ" (самое первое определение в библиотеке).


Угу.


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


Там сперва нужно обеспечить собственно работоспособность. То есть нужно будет тянуть несколько доп. библиотек. Потом, я там недавно поломал функционал, увлёкшись FOR.. NEXT. Когда отеложу вдоль и поперёк, тогда и выложу спокойно.

Опять же меня ещё тревожит вопрос о языке (русские названия слов), но это уже другая немного тема...

Вчера.

Пример использования. Сразу двойной.

Дано: желание почитать в выходные (сегодня) книжку. У книжки формат [url=http://www.fictionbook.org/index.php/FictionBook_2.0_-_краткая_информация]FB2[/url]. С форматом этим я борюсь спец. XSL-преобразователем, который делает мне из файла Word'овский файл с нужным мне форматированием для распечатки (альбомная ориентация, три колонки, расстановка переносов, оформление заголовков и абзацов). И всё бы хорошо если бы не иллюстрации. В FB2 они внедряются в исходный текст, в тэг binary через base64. Раньше обходился и вручную вставлял картинку, но у сегодняшней книжки туча иллюстраций.

Хорошо, за два часа программа слеплена и я могу печатать и зачитываться:



На вход командной строки получает имя FB2-файла, и если в его дереве есть узлы с именем "binary", то их текстовое содержимое будет раскодировано из base64 и положено в файлы с названием из атрибута "id" этого узла.

Сканер используется и в ~profit/lib/parsecommand.f, и в ~profit/lib/xmlscanner.f (да, я знаю что этот недо-сканер неправильно обрабатывает тэги вида "<tag />").

Привет, адаптация FSM (конечного автомата) от J.V.Noble под spf4