>>8
You're wrong on two counts.
First of all, just because the syntax ``requires context'' doesn't make it undecidable. Context sensitivity and undecidability are not equivalent in the Chomsky hierarchy.
Second, you've inferred a bidirectional implication where I gave none. "Any Turing complete system is undecidable" doesn't entail "any decidable system is not Turing complete".
Back to logic class, please.