Mathematical problems such as the enumeration of recursively defined sets are simple to express in this notation.
Matematyczne problemy, takie jak generacja rekursywnie zdefiniowanych zbiorów, są proste do zapisania w tej notacji.