そういえば今更受けている計算論では正規表現なぞやっている。後期には計算量の話に行くと思うのだが。計算量というかは、マシンと言語クラスの対応。BPPとか出てくるのかしら。はてさて。