公鏈 Tau Net的創始人曾經說過:

Tau語言適合用於開發關鍵系統。特別是在防止電腦病毒方面，有作用。因爲，如果關鍵系統是用Tau語言開發的，電腦病毒也需要用Tau語言開發才能起作用。但用Tau語言編寫的任何惡意代碼，都能立刻被檢驗出來。

解說:

關鍵系統（critical system）是指軍用設備或者核電站等不能出錯的系統。

Tau語言是在可判定性這一點上是世界第一。

可判定性是指，對於一段複雜的計算機代碼，能通過算法就能檢查出代碼的輸出結果是否符合要求。

例如，代碼中是否有惡意代碼，代碼中是否有安全漏洞。

而使用通常的編程語言編寫的代碼，是不具備可判定性的。這是數學上被證明的。

不過，作爲代價，Tau語言不是圖靈完備，語法有衆多限制。