Разработка компиляторов



         

Произведение полурешеток


Для дальнейшего изложения нам потребуется ввести операцию декартова произведения полурешеток.

Если L1,L2,...,Lk- ограниченные полурешетки конечной высоты, то такую же структуру можно ввести и на декартовом произведении этих полурешеток, определяя соответствующие понятия (операцию, наибольший и наименьший элементы) покомпонентно.

Набор монотонных функций f1,f2,...,fk соответственно на полурешетках L1,L2,...,Lk аналогичным образом индуцирует монотонную функцию на их декартовом произведении.




Содержание  Назад  Вперед