Гайс, если я правильно понимаю, ленивый режим сопоставления реализовывается на

Question

Гайс, если я правильно понимаю, ленивый режим сопоставления реализовывается на

основе lookahead (в основном). Т.е. текущий шаблон(шаблон1) жрет строку, пока текущий символ не удовлетворит следующий шаблон(шаблон2).

Получается, что когда шаблон1 будет сопоставлен, мы можем быть уверены, что шаблон2 тоже сапоставлен и повторно его проверять не нужно, достаточно "сдвинуть строку".

Правильно ли понимаю это и используется ли подобный подход?

#compilerdev #it #programming #russian

0

12.03.2022

23 ответов

21 просмотр

Михаил Бахтерев

Кажется, в PEG такое есть

0

12.03.2022

TOV_MULTIMASSO

Это какой из комбинаторов-то?

0

12.03.2022

TOV_MULTIMASSO

И не строку, а инпут, в приличных домах токенайзеры ставят перед парсером

0

12.03.2022

Роман Соловьев Автор вопроса

Что ты имеешь в виду? Такие штуки я так понимаю это частная реализация. Но хочу понять делают ли вообще так и какие подводные камни

0

12.03.2022

ㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤ ㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤ

Роман Соловьев
Что ты имеешь в виду? Такие штуки я так понимаю эт...

Делают как угодно

0

12.03.2022

TOV_MULTIMASSO

Роман Соловьев
Что ты имеешь в виду? Такие штуки я так понимаю эт...

Тогда давай подробнее - что ты имеешь ввиду под "ленивым режимом сопоставления"?

0

12.03.2022

Роман Соловьев Автор вопроса

TOV_MULTIMASSO
Тогда давай подробнее - что ты имеешь ввиду под "л...

Вот такую ситуацию

0

12.03.2022

Alexander Chichigin

Роман Соловьев
Вот такую ситуацию

Это ж просто deterministic FSM, ему lookahead не нужен. 🤷‍♀️

0

12.03.2022

Роман Соловьев Автор вопроса

Alexander Chichigin
Это ж просто deterministic FSM, ему lookahead не н...

Нуу lookahead тоже является FSM в целом? Чекаешь текущий символ и следующий

0

12.03.2022

ㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤ ㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤ

Роман Соловьев
Нуу lookahead тоже является FSM в целом? Чекаешь т...

Следущий чекают когда текущий неоднозначен

0

12.03.2022

Alexander Chichigin

Роман Соловьев
Нуу lookahead тоже является FSM в целом? Чекаешь т...

Тут не нужно смотреть следующий — только текущий.

0

12.03.2022

Роман Соловьев Автор вопроса

В данном случае это не важно. Как мы без lookahead узнаем, что это последний ';'

0

12.03.2022

Alexander Chichigin

Да, всё классно. 👍

0

12.03.2022

ㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤ ㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤㅤ

Роман Соловьев
В данном случае это не важно. Как мы без lookahead...

$

0

12.03.2022

Alexander Chichigin

Роман Соловьев
В данном случае это не важно. Как мы без lookahead...

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

0

12.03.2022

Andrey

Alexander Chichigin
А нам без разницы, последний он или нет. Имеет смы...

Когда в регулярных выражениях появляются группы, и надо сохранять позиции их начала и конца, построение FSM сильно усложняется

0

12.03.2022

Роман Соловьев Автор вопроса

Alexander Chichigin
А нам без разницы, последний он или нет. Имеет смы...

а подобный тоже без lookahead?

0

12.03.2022

Роман Соловьев Автор вопроса

Если мы чтобы распарсить выражение return 125;;; по анагалогии с регексом return (.*); убедились, что ; после группы есть можем не парсить эту ; повторно

0

12.03.2022

TOV_MULTIMASSO

Роман Соловьев
Вот такую ситуацию

Рекомендую от регулярок отказаться, взять парсер языка, над которым проводятся операции и работать с его AST

0

12.03.2022

Роман Соловьев Автор вопроса

TOV_MULTIMASSO
Рекомендую от регулярок отказаться, взять парсер я...

регулярки не юзаю, онли парсер комбинаторы

0

12.03.2022