単行本(実用) コンピュータ 形式言語とオートマトン / 守屋悦朗 ネットワーク・サーバ