Method List
-
#_final_reg RX
-
#build RX
-
#build Falafel
-
#cfg Falafel
-
#chaining_free CFG
-
#chomsky_nf CFG
-
#compose Falafel
-
#cyk_matrix CFG
-
#cyk_run CFG
-
#decomposition Pump
-
#delta_star DFA
-
#dfa_to_min Falafel
-
#epsilon_free CFG
-
#final_reg RX
-
#finals DFA
-
#generate_words CFG
-
#initialize CFGHelper::CYK
-
#initialize Pump
-
#initialize CFG
-
#is_in_l CFG
-
#is_in_l CFGHelper::CYK
-
#is_regular Pump
-
#lang Pump
-
#matrix CFGHelper::CYK
-
new RX
-
new Falafel
-
#nfa_to_dfa Falafel
-
#nfa_to_reg Falafel
-
#potens_set Falafel
-
#power_set Falafel
-
#pump_lemma Falafel
-
#rebuild_rules CFGHelper::EpsilonFree
-
#rebuild_rules CFGHelper::ChainingFree
-
#relation Falafel
-
#rnd_words CFG
-
#rules CFG
-
#rules_cf CFG
-
#rules_cf_res CFG
-
#rules_ef CFG
-
#rules_ef_res CFG
-
#run Pump
-
#run CFGHelper::EpsilonFree
-
#run CFGHelper::ChomskyNFSimplifier
-
#run CFGHelper::ChainingFree
-
#run CFGHelper::CYK
-
#run CFGHelper::ChomskyNF
-
#simplify CFGHelper::ChomskyNF
-
#start DFA
-
#start_var CFG
-
#states DFA
-
#to_min DFA
-
#word Pump