ГЛАВА 2. Преобразования
2/5. Преобразование может иметь бесконечное число дискретных операндов: таково преобразование
|
1 |
2 |
3 |
4 |
: |
4 |
5 |
6 |
7 |
: |
где точки просто означают, что перечень продолжается подобным образом без конца. Бесконечные множества могут привести к затруднениям, но в этой книге мы будем рассматривать только простые и ясные случаи. Замкнутость или незамкнутость такого преобразования определяется соответственно невозможностью или возможностью назвать новый конкретный, имеющий индивидуальное название образ, который не встречался бы среди операндов.
В приведенном выше примере каждый отдельный образ, например 142 857, наверняка можно найти среди операндов. Следовательно, данное бесконечное преобразование замкнуто.