あれ

全ての情報が決定的で静的なので、かなり圧縮した表現ができそう？

極論〝無〟じゃん（すべての情報が決定的で計算可能なので）（有限時間で計算できるとは言ってない）