Index
-
-d[eterminize] [In [Out]] | -dgraph [In [Out]] -drgraph [In [Out]]
-dsubset [In [Out]] | -dstate [In [Out]]
-
Expr# m[inimize](Expr) mh(Expr) mb(Expr)
- ! Command
- $E containment(E)
- % Words
- <any FSA startup option>
- -a[ccepts] [In] String
- -aa In | -accept_all In | -raa Regex
- -approx [In] String
- -aux Aux
- -c++ [In] Out
- -c[ompile] [In [Out]]
- -c[ompile_to_]c [In [Out]]
- -cleanup [In [Out]]
- -cmd Goal
- -cmdint
- -complement [In [Out]]
- -compose A B [Out]
- -concat A B [Out]]
- -copy [In [Out]]
- -count [In [Out]]
- -cpp [In] Out
- -davinci [In [Out]]
- -density [In [Out]]
- -dict [In [Out]]
- -diff[erence] A B [Out]
- -domain [In [Out]]
- -dot [In [Out]]
- -efree [In [Out]]
- -fsa2fsm In Syms Aut | -fsa2fsm [In [Out]]
- -fsm2fsa [In [Out]]
- -generate States Syms Dens [JDens]
- -identical In1 In2
- -identity [In [Out]]
- -ignore A B [Out]
- -intersect A B [Out]
- -inverse [In [Out]]
- -java [In] Out
- -kleene_plus [In [Out]]
- -kleene_star [In [Out]]
- -l File
- -m[inimize] [In [Out]] | -mb [In [Out]] | -mh [In [Out]]
- -minimum_path [In]
- -option [In [Out]]
- -pm File
- -postscript [In [Out]]
- -prefix_tree [In [Out]]
- -produce [In [Out]]
- -prolog Goal
- -pstricks_tex [In [Out]] | -pstricks_picture [In [Out]]
- -r[egex] [Regex] [Out]
- -range [In [Out]]
- -reverse [In [Out]]
- -sample [In [Out]]
- -t_d[eterminize] [In [Out]]
- -t_m[inimize] [In [Out]]
- -tk [File] | -tk [-r Regex]
- -union A B [Out]]
- -vcg [In [Out]]
- -w_d[eterminize] [In [Out]]
- -w_m[inimize] [In [Out]]
- ?
- ? [Cmd]
- A x B cross_product(A,B) A x B x W
- A xx B sl_cross_product(A,B)
- A! determinize(A) determinize(A,Algorithm)
- A-B difference(A,B)
- A::W
- A:B pair(A,B) A:B:Weight
- Acknowledgements
- Alias and History
- Applying Finite Automata
- Author
- Combining several auxiliary regular expression operator files
- Constructing Finite Automata with Regular Expressions
- Copyright
- E* kleene_star(E)
- E+ [kleene_]plus(E)
- E0 o E1 compose(E0,E1)
- Examples
- Extending the regular expression notation
- Functionality
- How to use the toolbox
- Internal Format of Finite Automata
- Links
- List of Predicates
- Manipulating Finite Automata
- Papers using FSA
- Prolog goals
- References
- Regular expression syntax
- S..T
- Spy Points on Regular expressions
- Starting and Stopping the command interpreter
- Syntax
- Type Coercion
- Visualizing Finite Automata
- [E1,E2,...En] concat(E1,E2)
- []
- accessible(A)
- alias [Name [Val]]
- b
- c Files
- c_with_main
- cache(Expr)
- cd [Dir]
- cleanup(+List0,-List)
- cleanup(E)
- cleanup_list_cache
- coaccessible(A)
- complement_of_set(+SetOfPreds,+Term,-Complements)
- complete(A)
- compose_list([E0,E1,...,En])
- conjunction(+P0,+P1,?P)
- convert_pred_module(NewModule,Expr)
convert_pred_module(NewDomainMod,NewRangeMod,Expr)
- copy_fa(+File0,+File1).
- count
- cpp_with_main
- d
- debug
- del(E)
- det_random(NrStates,NrSymbols,Den,FDens)
- determinize_preds(+KeyList0,-KeyList)
- determinize_preds_cache
- dict2m [In [Out]]
- dict2ph [In [Out]]
- display_predicate(+Pred,-Term)
- display_unused_states
- domain(E)
- efree(E) reachable_efree(E) co_reachable_efree(E)
- el Files
- escape(Sym)
- evaluate_predicate(+Pred,?Symbol)
- expand_non_overlapping_predicates(E)
- fa
- fa(Fa)
- fc Files
- file(X)
- fl_arbitrary_symbol
- fl_multiple_symbol_separator
- fl_multiple_symbol_start
- fsa_accepts(+String,+Fa)
- fsa_approx_accepts(+String,+Fa,-Recipe)
- fsa_approx_transduces(+String0,+Fa,-String)
- fsa_approx_transduces_w(+String0,+Fa,-Weight)
- fsa_approx_transduces_wt(+String0,+Fa,-String,-Weight)
- fsa_array_access(+Index,?Val[,?Default],+FsaArray)
- fsa_array_get(+Index,?Val,+FsaArray)
- fsa_array_new(-FsaArray[,?Size])
- fsa_compile_to_c(+Fa) fsa_compile_to_c(+FileIn,+FileOut)
- fsa_compile_to_c_fa(+Fa,+FileOut)
- fsa_compile_to_prolog(+Fa) fsa_compile_to_prolog(+FileIn,+FileOut)
- fsa_components(?Symbols,?Length,?Starts,?Finals,?Trans,?Jumps,?Fa)
- fsa_construct([[+Symbols,]+NumberStates,]+Starts,+Finals,+Trans,+Jumps,-Fa)
- fsa_construct_rename_states([+Symbols,]+Starts,+Finals,+Trans,+Jumps,-Fa)
- fsa_copy_except(+Key,?Fa0,?Fa1,?Part0,?Part1)
- fsa_cpp(+FileIn,+FileOut)
- fsa_davinci(+File0,+File) fsa_davinci(+Fa)
- fsa_dict_to_fsa(+ListOfStrings,-Fa)
- fsa_dict_to_fsa_file(+FileIn,+FileOut)
- fsa_dict_to_perfect_hash(+ListOfStrings,-Fa)
- fsa_dict_to_perfect_hash_file(+FileIn,+FileOut)
- fsa_dict_to_trie(+ListOfStrings,-Fa)
- fsa_dict_to_trie_file(+FileIn,+FileOut)
- fsa_dot(+File0,+File) fsa_dot(+Fa)
- fsa_final_state(+Fa,?FinalState)
- fsa_final_states(?Fa,?FinalStates)
- fsa_global_decl(?Key,?Help,?Default,?Typical,Val^Goal)
- fsa_global_get(+Key,?Val)
- fsa_global_list[-List]
- fsa_global_set(+Key,?Val)
- fsa_hash_access(+Key,?Val[,?Default],+FsaHash)
- fsa_hash_new(-FsaHash[,Size])
- fsa_hash_to_keylist(+HashedFsaArray,-Keylist)
- fsa_host_prolog(?Atom)
- fsa_java(+FileIn,+FileOut)
- fsa_jump(+Fa,?P,?Q)
- fsa_jumps(?Fa,?Jumps)
- fsa_load_aux_file(+File)
- fsa_m_array_get(+Index,?Val[,?Default],+MutableFsaArray)
- fsa_m_array_new(-MutableFsaArray,[+Size])
- fsa_m_array_put(+Index,?Val,+MutableFsaArray)
fsa_m_array_put(+Index,?ValOld,?ValDefault,?Val,+MutableFsaArray)
- fsa_m_hash_get(+Key,?Val,+MutableFsaHash)
fsa_m_hash_get(+Key,?Val,?Default,+MutableFsaHash)
- fsa_m_hash_new(-MutableFsaHash[,Size])
- fsa_m_hash_put(+Key,?Val,+MutableFsaHash)
fsa_m_hash_put(+Key,?OldVal,?Default,?Val,+MutableFsaHash)
- fsa_minimum_path(+Fa[,-Path])
- fsa_minimum_path_array(+Fa,-Array,+Flag)
- fsa_minimum_path_file(+InFile)
- fsa_postscript(+File0,+File)
- fsa_pstricks_picture(+File0,+File)
- fsa_pstricks_tex(+File0,+File)
- fsa_read_file([+Format,]+File,?Fa)
- fsa_reconsult_aux_file(+File)
- fsa_regex_accepts(+Atom,+String)
- fsa_regex_approx_accepts(+String,+Regex,-Recipe)
- fsa_regex_approx_transduces(+String0,+Regex,-String)
- fsa_regex_approx_transduces_w(+String0,+Regex,-Weight)
- fsa_regex_approx_transduces_wt(+String0,+Regex,-String,-Weight)
- fsa_regex_atom_compile(+RegexAtom,+Fa)
- fsa_regex_atom_compile_file(+RegexAtom,+File)
- fsa_regex_compile(+Term,-Fa) rx(+Term,-Fa)
- fsa_regex_compile_file(+Expr,+File)
- fsa_regex_read_compile(-Fa)
- fsa_regex_read_compile_file(File)
- fsa_regex_transduces(+Atom,+String0,?String)
- fsa_regex_transduces_w(+Atom,+String0,?Weight)
- fsa_start_state(+Fa,?StartState)
- fsa_start_states(?Fa,?StartStates)
- fsa_state(+Fa,?State)
- fsa_states_number(?Fa,?Integer)
- fsa_states_set(+Fa,?States)
- fsa_tcl_directory
- fsa_transduces(+StringIn,?StringOut,+Fa)
- fsa_transduces_w(+String,?Weight,+Fa)
- fsa_transition(+Fa,?P,?Sym,?Q)
- fsa_transitions(?Fa,?Trans)
- fsa_type(+Fa,?Type)
- fsa_u_array_get(+Index,?Val[,?Default,]+UpdatableFsaArray)
- fsa_u_array_new(-UpdatableFsaArray[,?Size])
- fsa_u_array_put(+Index[,?OldVal],?Val,+UpdatableFsaArray0,?UpdatableFsaArray)
- fsa_u_hash_get(+Key,?Val,+UpdatableFsaHash)
- fsa_u_hash_new(-UpdatableFsaHash[,Size])
- fsa_u_hash_put(+Key,?Val,+UpdatableFsaHash0,?UpdatableFsaHash)
fsa_u_hash_put(+Key,?OldVal,?Default,?Val,+UpdatableFsaHash0,?UpdatableFsaHash)
- fsa_vcg(+File0,+File) fsa_vcg(+Fa)
- fsa_version
- fsa_visualization(+Format,+Fa)
- fsa_write_file([+Format,]+File,+Fa)
- hash_size
- help [Module [Class [Key]]]
- id(E) identity(E)
- identity(+Pred0,-Pred)
- ignore(A,B)
- incomplete(A)
- ins(E)
- interactive
- interpreter
- intersect[ion](A,B) A & B
- intersect_list([E0,E1,...,En])
- inversion(E) inverse(E) invert(E)
- java_with_main
- ld Files
- length_max
- libc Files
- libel Files
- libld Files
- librc Files
- libum Files
- ls
- map_bbbtree__delete(+Bbbtree0,+Key,-Bbbtree)
- map_bbbtree__delete_list(+Keys,+Bbbtree0,-Bbbtree)
- map_bbbtree__empty(?Bbbtree)
- map_bbbtree__get(+Key,?Val,+Bbbtree)
- map_bbbtree__init(?Bbbtree)
- map_bbbtree__largest(+Bbbtree,?Largest,?Val)
- map_bbbtree__least(+Bbbtree,?Least,?Val)
- map_bbbtree__list_to_map(+KeyValList,-Bbbtree)
- map_bbbtree__put(+Key,?Val,+Bbbtree0,-Bbbtree)
- map_bbbtree__put_list(+Bbbtree0,+KeyValList,-Bbbtree
- map_bbbtree__remove(+Bbbtree0,+Key,-Bbbtree)
- map_bbbtree__remove_largest(+Bbbtree0,?Key,?Val,-Bbbtree)
- map_bbbtree__remove_least(+Bbbtree0,?Key,?Val,-Bbbtree)
- map_bbbtree__remove_list(+Keys,+Bbbtree0,-Bbbtree)
- map_bbbtree__size(+Bbbtree,?Size)
- map_bbbtree__sorted_list_to_map(+SortedKeyValueList,-Bbbtree)
- map_bbbtree__sorted_list_to_map_len(+SortedKeyValueList,-Bbbtree,+Len)
- map_bbbtree__to_sorted_list(+Bbbtree,?SortedKeyValList)
- minimum(+Val0,+Val1,?Min).
- minimum_only(+YesNo).
- minus(+Val0,+Val1,?Diff).
- nd
- no_display_beyond
- no_weights(E)
- nr_sol_max
- option(E) E^
- p [Goal]
- p[rolog]
- perfect_hash(ListOfAtoms)
- plus(+Val0,+Val1,?Sum).
- postscript_res
- pragma(ListOfExpressions,E)
- pred_module
- prepare_complement_of_set(+Fa,-Term)
- pstricks_style
- pwd
- quit
- random(NrStates,NrSymbols,Den,JDens[,FDens])
- range(E)
- rc Files
- reachable(A)
- read
- regex
- regex_atom_to_pred(+Atomic,-Pred)
- regex_cache
- reverse(E)
- set_bbbtree__delete(+BbbtreeA,+El,-BbbtreeB
- set_bbbtree__delete_list(+List,+BbbtreeA,-BbbtreeB)
- set_bbbtree__difference(+BbbtreeA,+BbbtreeB,-BbbtreeC)
- set_bbbtree__empty(?Bbbtree)
- set_bbbtree__equal(+BbbtreeA,+BbbtreeB)
- set_bbbtree__init(?Bbbtree)
- set_bbbtree__insert(+BbbtreeA,+El,-BbbtreeB[,?New])
- set_bbbtree__insert_list(+BbbtreeA,+List,-BbbtreeB)
- set_bbbtree__intersect(+BbbtreeA,+BbbtreeB,-BbbtreeC)
- set_bbbtree__is_member(+El,+Bbbtree,?Bool)
- set_bbbtree__largest(+Bbbtree,?El)
- set_bbbtree__least(+Bbbtree,?El)
- set_bbbtree__list_to_set(+List,-Bbbtree)
- set_bbbtree__member(?El,+Bbbtree)
- set_bbbtree__non_empty(?Bbbtree)
- set_bbbtree__power_intersect(+Bbbtrees,-BbbtreeC)
- set_bbbtree__power_union(+Bbbtrees,-BbbtreeC)
- set_bbbtree__remove(+BbbtreeA,+El,-BbbtreeB
- set_bbbtree__remove_largest(+BbbtreeA,?Largest,-BbbtreeB)
- set_bbbtree__remove_least(+BbbtreeA,?Least,-BbbtreeB)
- set_bbbtree__remove_list(+List,+BbbtreeA,-BbbtreeB)
- set_bbbtree__singleton_set(?BbbTree,?El)
- set_bbbtree__size(+Bbbtree,?Integer)
- set_bbbtree__sorted_list_to_set(+SortedList,?Bbbtree)
- set_bbbtree__sorted_list_to_set_len(+SortedList,?Bbbtree,+Len)
- set_bbbtree__subset(+BbbtreeA,+BbbtreeB)
- set_bbbtree__superset(+BbbtreeA,+BbbtreeB)
- set_bbbtree__to_sorted_list(+Bbbtree,?SortedList)
- set_bbbtree__union(+BbbtreeA,+BbbtreeB,-BbbtreeC)
- set_random
- spy [Module] Pred
- spy(Expr)
- subs(E)
- symbol_separator
- symbol_separator_in
- symbol_separator_out
- t_determinize(E)
- t_determinize_preds(+KeyList0,-KeyList)
- t_minimize(E)
- talks_about(+Pred,?Sym)
- term_complement(E) `E
- tk_fsa(+Fa)
- tk_fsa_add_help_menu
- tk_fsa_file(+File)
- tk_regex(+Atom)
- tk_rx(+Expr)
- tkconsol
- to_c_conversion
- to_cpp_conversion
- to_java_conversion
- true(?Pred)
- um Files
- v_algorithm
- v_angle
- v_tree_depth
- v_xdist
- v_ycoord
- version
- w_determinize(E)
- w_determinizer_minimum
- w_minimize(E)
- weighted_domain(E)
- weighted_range(E)
- weights(E)
- word(Atom)
- words(ListOfAtoms)
- write
- wt_determinize(E)
- wt_minimize(E)
- zero(?Val).
- {E1,E2,..,En} union(E1,E2) set([E1,E2,..,En])
- {}
- ~E complement(E)