康奈尔笔记法
康奈尔笔记法（），又名5R笔记法，是康奈尔大学教育学教授于1940年代提出的一种笔记方法。他在畅销书《如何在大学学习》（）中提倡这种方法。
标记系统
标记系统是 Emil Leon Post 在1943年创立的确定性计算模型，作为一种简单形式的字符串重写系统。标记系统也可以看作抽象机，叫做 Post 标记机（不要混淆于Post-图灵机）——简单的说，其唯一的磁带是无限长度的FIFO队列的有限状态自动机，在每次状态转变中机器读在队列头部的符号，从头部删除固定数目的符号，并可以向尾部增加符号。