s a sequence of input symbols that has been successfully accepted by $X$, an integer $level$ that records how many communications have been gone through without reaching $s_f$, and an integer $count$ that indicates how many times $s_f$ has been reached. 