"... that allows us to read the state and a run operation ..." の部分が訳しきれていないようです。
「次に、状態を読み取り、(読み取り専用…実装された計算をする操作を実行できるようにする、プリミティブな操作が…」