Спасибо за ссылку. Полезно

Вмемориз!

Всем привет, никак не могу понять принцип построения Follow. First понял сразу, а Follow пока что никак.
Смотрю вот этот пример:

Input :
E  -> T R
R  -> + T R
T  -> F Y
Y  -> * F Y
F  -> (E) | i

First(E)= { (, i }
First(R)= { + }
First(T)= { (, i }
First(Y)= { * }
First(F)= { (, i }

Follow(E) = { $, ),  }
Follow(R) = { $, ),  }
Follow(T) = { +, $, ),  }
Follow(Y) = { +, $, ),  }
Follow(F) = { *, +, $, ),  }

Например  Follow(F)  это разве не First(Y) ? т.е. Follow(F) => First(Y) => {*}

а как расписывать Y и T чет совсем не понятно т.к. они друг от друга зависят в моем понимании😬

А у Y там нигде не потерялось правило вроде Y -> * F Y | $?
Потому что выглядит из Follow, что где-то есть финализирующее правило.
В случае, если все таки оно где-то присутствует, тогда
Follow(F) = First(Y) & Follow(Y)
Что раскрывается в
Follow(F) = {*} & {+, $, )}, что и даёт ваш результат.

Да, тут явно не хватает как минимум правила с $

+

тама такое

Тогда понятно, у Вас есть 2 правила с пустым выводом (финализирующие).
Как результат, Y у Вас может развернуться в пустое значение и следующие терминалы после Y будут следующими и для F

| # - это оно

Взаимно-рекурсивщину я делал по принципу "пока не перестанет меняться"

Или нет, есть же и $

А правила с пустым вводом я у себя вообще запретил

https://github.com/Heimdell/LR/blob/master/src/Table.hs#L63 - вот моя реализация. close f x - это транзитивное замыкание функции f с начальным значением x

Будет применять f к свежим изменениям аккумулятора, пока тот не перестанет меняться

Коллеги, мы в Kotlin взялись за активную разработку нового WASM бэкэнда для компилятора. В этот раз напрямую (без LLVM) будем из нашего промежуточного представления (Kotlin IR) генерировать на выходе WASM-овый байткод. Набираем команду. Есть вакансии: https://spb.hh.ru/search/vacancy?text=kotlin%2Fwasm

Кстати по теме WebAssembly существует тематическая группа
https://t.me/WebAssembly_ru

Это команда @glavpochtampt ?

Или я отстал от жизни

Это команда @bashorov

Но @glavpochtampt тоже очень ждет, когда мы ему wasm подгоним :)