com.yetanalytics.persephone.pattern.fsm-spec — com.yetanalytics/project-persephone 0.9.0-SNAPSHOT

count-states clj/s

(count-states fsm-coll)

dfa-common-spec clj/s

dfa-gen-fmap clj/s

dfa-spec clj/s

has-accept-states? clj/s

(has-accept-states? {:keys [accepts] :as _fsm})

Does the FSM have at least one accept state?

nfa-common-spec clj/s

nfa-spec clj/s

one-accept-state? clj/s

(one-accept-state? {:keys [accepts] :as _nfa})

set-dfa-spec clj/s

state-info-spec clj/s

thompsons-nfa-spec clj/s

valid-accept-states? clj/s

(valid-accept-states? {:keys [states accepts] :as _fsm})

Are all the accept states in the state set?

valid-start-state? clj/s

(valid-start-state? {:keys [states start] :as _fsm})

Is the start state in the state set?

valid-transition-dest-states-dfa? clj/s

(valid-transition-dest-states-dfa? dfa)

Are all dest states in the transition table in the DFA's state set?

valid-transition-dest-states-nfa? clj/s

(valid-transition-dest-states-nfa? nfa)

Are all dest states in the transition table in the NFA's state set?

valid-transition-src-states? clj/s

(valid-transition-src-states? {:keys [states transitions] :as _fsm})

Are all source states in the transition table in the state set?

valid-transition-symbols-dfa? clj/s

(valid-transition-symbols-dfa? dfa)

valid-transition-symbols-nfa? clj/s

(valid-transition-symbols-nfa? nfa)