@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!
Feeds
105363 items (97572 unread) in 19 feeds
Friends
(1021 unread)
-
2 Star
(84 unread)
-
John Carrino
(12 unread)
-
Comments for Josh the Outspoken
(296 unread)
-
Josh (34 unread)
-
Planet Matt
(595 unread)
Build
(68091 unread)
-
MAKE Magazine
(20292 unread)
-
Instructables.com
(35006 unread)
-
Hack A Day
(5017 unread)
-
Toolmonger
(7776 unread)
Heads
(716 unread)
-
Exploration Through Example
-
Paul Graham: Unofficial RSS Feed (113 unread)
-
Stevey's Blog Rants
(34 unread)
-
Joel on Software (207 unread)
-
Gibson Blog
(239 unread)
-
Adventures in Bloggery (123 unread)
News
(27537 unread)
-
Slashdot (25203 unread)
-
Economist.com Global Agenda (1412 unread)
-
Ruby Inside
(922 unread)
fun
(207 unread)
-
Templar, Arizona
(207 unread)
Comments for Josh the Outspoken (3 unread)
-
Comment on C and C++ are CRAZY! by josh
Posted: January 21st, 2009, 12:31pm MST by josh
-
Comment on C and C++ are CRAZY! by orl
Posted: January 21st, 2009, 4:13am MST by orl
What the hell is Gazelle?
-
Comment on C and C++ are CRAZY! by Alex Stapleton
Posted: January 21st, 2009, 3:51am MST by Alex Stapleton
Template instantiation is not turing complete as defined by the ISO 14882-2003 C++ standard due to the limitation on template nesting to a depth of 17. Sure, you can come up with some bizarre variant of C++ which is unparseable, but then it’s not really C++.