Я учусь на курсе по компиляции и на старом экзамене, с которым я практикуюсь, один из вопросов:
«Приведите пример решетки с бесконечной высотой и анализа потока данных, в котором она будет использоваться»
Я понимаю, что решетка - это частично упорядоченный набор, такой, что каждая пара элементов имеет уникальную большую нижнюю границу и уникальную наименьшую верхнюю границу. По этой причине можно выполнять вычисления с фиксированной запятой для анализа потока данных, такого как определение определений и анализ переменных в реальном времени. Однако, насколько я понимаю, вычисления с фиксированной точкой работают только для ограниченных решеток. Мне трудно представить, как будет выглядеть бесконечная решетка и как она может быть полезна.
Может ли кто-нибудь помочь мне ответить на этот вопрос и, возможно, более подробно объяснить, что такое бесконечная решетка?