Iota and Jot とは

正式な言語理論とコンピュータサイエンスでは、IotaとJot(ギリシャ語のι、Hebrew yodhי、これらの2つのアルファベットの中の最小の文字)は、非常にシンプルな形式システムであり、他のより一般的な選択肢ラムダ計算とSKIコンビネータ計算。したがって、彼らはまた、最小限のコンピュータプログラミング言語、またはチューリングタペット、難解なプログラミング言語を可能な限り小さく設計されていると考えられるが、依然としてチューリング完全である。どちらのシステムも2つのシンボルしか使用せず、2つの操作しか伴わない。どちらも2001年に言語学の教授Chris Barkerによって作成されました。Zot(2002)はIotaの後継であり、入出力をサポートしています。