@Alex: Yes, if there’s a maximum nesting depth, you’ve moved from undecidable to merely exponential.
But this is a good point.
@orl: look at my blurb in the sidebar!
105363 items (97572 unread) in 19 feeds
Friends
(1021 unread)
Build
(68091 unread)
Heads
(716 unread)
News
(27537 unread)
fun
(207 unread)
@Alex: Yes, if there’s a maximum nesting depth, you’ve moved from undecidable to merely exponential.
But this is a good point.
@orl: look at my blurb in the sidebar!