非決定性有限オートマトンを決定性オートマトンに……とか、3番地コードとか、いま思い返すと普通に理解が及ぶけど、当時は無理だった……。