Iota和Jot
在形式语言理论和计算机科学中，Iota（ι，发音如希腊字母 iota）和Jot（י，发音如希伯来字母 yodh）是两种极简的形式系统与编程语言。 这两个名称分别取自希腊语字母Ι（iota）和希伯来语字母Yodh（י/yodh）——分别是各自字母表中最小、最简单的字母，这一命名恰如其分地体现了这些语言的极简主义设计哲学。 它们的设计目标是比λ演算以及SKI组合子演算等更为人熟知的图灵完备系统更加简洁、更加基础。 因此，它们也被归类为图灵焦…
标签：#图灵焦油坑
共 1 篇文章