>>232
計算論や形式言語、オートマトンは数学とプログラミングの中間辺りの学問だぞ