ダウンロード

Turing機械と線型拘束オートマトン