Alanaはたいへん応答性のよいチューリング機械シミュレータであり、たとえば（単項演算子と2項）加算、減算、乗算、"copy band content"、文字列解析例、除算可能判定、素数判定など多くの例が付属しています。ドキュメントにはチューリング機械の紹介だけでなく、いくつかの興味深い理論情報（停止問題、ビジービーバー、万能チューリング機械）と、もっと程度の高い文献へのポインタがあります。
