可計算*理論探討了計算機的各種理論模型的侷限*,包括已知的最強大的模式,-圖靈機。
本文依據可計算*理論,提出了拼音文字非鍵盤映*編碼方法,將整詞編碼分為輸寫碼與計算碼。
傳統的可計算*理論以圖靈機為基礎模型。
可計算*理論的中心問題是建立計算的數學模型,進而研究哪些是可計算的,哪些是不可計算的。