formallanguageconstrainedpathquerying / formal-lang-course Goto Github PK

Предложить использовать pytest-benchmark в экспериментах.

Братишки, родненькие! 🥺 Поделитесь видеолекциями курса, пожалуйста! Хочу написать парсер SQL, не хватает формальных знаний.

Ваши записи (не читал, но пробежался) "Материалы по достижимости с ограничениями в терминах формальных языков" это прям бомба! Лучшее что я находил на просторах русско и англоязычного интернета. Но полноценных лекций, конечно, не хватает.

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

Как решение --- на уровне домашек чётко разделять шаг построения матриц и преобразование матриц в тройки.

Сейчас типизация Get_start для RSM описывается так:

[e](b) => RSM<t>
____________________________
[Get_start (e)](b) => RSM<t>

Это опечатка (кажется, что снизу должно быть [Get_start (e)](b) => Set<t>) или поразумевается не просто возврат вершин, а что-то другое (например, также возврат информации о том, для какого нетерминала каждая вершина является стартовой, но тогда все равно не ясно, почему именно RSM<t>)?

Он мало зачем нуден, а его удаление позволит сделать дедлайны более разумными, а не дотягивать до 30 декабря.