コンパイルと模倣

決定性コンパイルのほうが分かりやすいな。

やっぱりダメみたい。Q_Xが無限キュー（FIFO）のとき、Q_X*Q_XはQ_Xと同値（双模倣）だが、|Q_X*Q_X|→|Q_X|は簡単だが、逆方向は決定性だと不自然になる。非決定性を許せば、|Q_X*Q_X|→|Q_X|の逆対応（転置）を取ればいいだけ。

色々なバッファで実際にやってみるのがいい。

• LQ_Xⁿ： サイズnで、満杯になると入力を捨てる（lostする）キュー。
• RLQ_Xⁿ： サイズnのリングバッファ、古い入力は捨てるので、やはりlostする。
• RQ_Xⁿ： サイズn、出力はランダムに選ばれて、満杯になるとランダムに選んだ要素を捨てる。