1. IBM 704 code-nundrums （By Murray Grumette）CACM 10.1145/368711.368718
嗯很澄，這個(gè)基本看不懂而钞，講一些指令啥的
2.?Algorithm for Analyzing Logical Statements to Produce a Truth Function Table（By HAI~OLD WOLPE, I.B.M. Corporation）
嗯虽另，這個(gè)提了我們現(xiàn)在非常熟悉的if-else這樣的logical statement航徙，也就是條件判斷語句的設(shè)計(jì)了牍蜂。里面提到了and钳降、or厚宰、negation三個(gè)operator，以及他們組合在一起時(shí)（包括使用括號）其運(yùn)算的優(yōu)先級遂填。類似the range of influence of each operator铲觉。比如A*B+C*D中，*的作用就分別是A和B吓坚、C和D撵幽，*比+優(yōu)先級高啥的。
文章說道對一個(gè)logical statement設(shè)計(jì)的從left-to-right scan的方式進(jìn)行分析礁击，解釋了原因盐杂。然后對于logical statement，提到Frequency的問題哆窿，即一個(gè)condition為True或者False的Frequency链烈，這樣能決定將更有determine power的小判斷語句放到左邊（比如A*B，如果B 90%為假挚躯，而A90%為真强衡，那其實(shí)程序員在寫的時(shí)候可以寫成B*A。）感覺這個(gè)其實(shí)Frequency如果能通過先驗(yàn)知識說著數(shù)據(jù)分析得到的話码荔，對優(yōu)化還是挺有作用的漩勤。
文章給了一個(gè)系統(tǒng)的對一個(gè)logical statement如何系統(tǒng)的加括號，構(gòu)造level以及從左至右分析的transfer point（即接下來是執(zhí)行哪一個(gè)）缩搅。對于復(fù)雜的判斷語句越败，用程序構(gòu)造出統(tǒng)一的表示，在同一個(gè)level上操作判斷誉己，才更能執(zhí)行自動化吧眉尸。人如果面對復(fù)雜的判斷語句其實(shí)也需要借助一些括號來把優(yōu)先級等給弄出來域蜗。
