The transaction verification language[1] is not turing complete, and only provides one bit of information (accept/reject transaction).

Currently almost all transactions scripts just do public-key verification.

[1]: https://en.bitcoin.it/wiki/Script