>>134
SMLでよければ、Programing in Standard ML に3ページほどの解説があるよ。
　http://www.cs.cmu.edu/~rwh/introsml/
高階関数と無限リスト(シーケンス)を応用した純粋な関数型プログラムで、
副作用は一切使われていない。コードはこんな感じ。

fun RS ff (S : wire, R : wire) =
　let
　　fun X n = nor gate (zip (S, Y))(n)
　　and Y n = nor gate (zip (X, R))(n)
　in
　　Y
end