首先贴原始代码: private Guid HashToGuid(object input) { switch (input) …

昨晚睡觉的时候(其实是今天凌晨)做了一个奇怪的梦 和自己最亲密的朋友以及两个不认识的人去了海边，一直玩到了傍晚，天空的颜色从蓝色变 …

  最近写Pixeval的时候部分功能需要抓包，发现现在的Android不好抓了，首要的问题就是Pixiv本身不信任Fiddler …

本文中用P_n表示P[1..n]，用P[n]表示P中的第n个字符，用P_i\sqsupset P_q代表P_i是P_q的后缀，用P …

Minsky’s Theorem A two-pushdown stack machine, abbr. 2PDA, is a P ̷

Three-address code The compilers do not treat the part of the pro …

Post Machines   A particular “universal computing machine” is int

Language Processors A compiler is a program that read a program i …

Turing Machine   We’re about to introduce a new kind of machine t ̷

Decidability   Some of the problems are decidable and some others …