有限状態マシン概念は、通常、オブジェクト指向プログラミング(OOP)言語、例えばGOFで定義された状態パターンに基づいてJava言語を使用して実装されている(本書「デザインパターン」を参照)。
Rはオブジェクト指向のパラダイムをシミュレートするいくつかのメカニズムを提供します。このパターンを実装するためにS4 Object Systemを適用しましょう。