Comment by gpderetta

8 hours ago

It is not obvious to me that the list of categories is not infinite (unless the final category is "everything else" of course)

To be undefined behaviour, it must at least be valid syntax. The syntax is described in a finite document. Also it only gets executed by a finite machine, that has a finite number of finite descriptive documents.