Ссылки назад
Они же backreferences в регулярных выражениях.
Они очень близки, по сложности вычисления совпадения (разбора), к контекстно-зависимым грамматикам. Контекстно-зависимые грамматики позволяют порождать (и разбирать) программы с правильными простыми типами.
На что ещё похожи ссылки назад?
На Ziv-Lempel-77, он же LZ77, он же алгоритм, что используется в gzip.
Пойду спать. ;)
Они очень близки, по сложности вычисления совпадения (разбора), к контекстно-зависимым грамматикам. Контекстно-зависимые грамматики позволяют порождать (и разбирать) программы с правильными простыми типами.
На что ещё похожи ссылки назад?
На Ziv-Lempel-77, он же LZ77, он же алгоритм, что используется в gzip.
Пойду спать. ;)