AutMan.idx

\indexentry{Automaton@\texttt  {Automaton}|hyperpage}{7}
\indexentry{IsAutomaton@\texttt  {IsAutomaton}|hyperpage}{9}
\indexentry{IsDeterministicAutomaton@\texttt  {IsDeterministicAutomaton}|hyperpage}{9}
\indexentry{IsNonDeterministicAutomaton@\texttt  {IsNonDeterministicAutomaton}|hyperpage}{9}
\indexentry{IsEpsilonAutomaton@\texttt  {IsEpsilonAutomaton}|hyperpage}{9}
\indexentry{String@\texttt  {String}|hyperpage}{10}
\indexentry{RandomAutomaton@\texttt  {RandomAutomaton}|hyperpage}{10}
\indexentry{AlphabetOfAutomaton@\texttt  {AlphabetOfAutomaton}|hyperpage}{11}
\indexentry{AlphabetOfAutomatonAsList@\texttt  {AlphabetOfAutomatonAsList}|hyperpage}{11}
\indexentry{TransitionMatrixOfAutomaton@\texttt  {TransitionMatrixOfAutomaton}|hyperpage}{12}
\indexentry{InitialStatesOfAutomaton@\texttt  {InitialStatesOfAutomaton}|hyperpage}{12}
\indexentry{SetInitialStatesOfAutomaton@\texttt  {SetInitialStatesOfAutomaton}|hyperpage}{12}
\indexentry{FinalStatesOfAutomaton@\texttt  {FinalStatesOfAutomaton}|hyperpage}{12}
\indexentry{SetFinalStatesOfAutomaton@\texttt  {SetFinalStatesOfAutomaton}|hyperpage}{13}
\indexentry{NumberStatesOfAutomaton@\texttt  {NumberStatesOfAutomaton}|hyperpage}{13}
\indexentry{IsDenseAutomaton@\texttt  {IsDenseAutomaton}|hyperpage}{13}
\indexentry{IsRecognizedByAutomaton@\texttt  {IsRecognizedByAutomaton}|hyperpage}{14}
\indexentry{IsPermutationAutomaton@\texttt  {IsPermutationAutomaton}|hyperpage}{14}
\indexentry{IsInverseAutomaton@\texttt  {IsInverseAutomaton}|hyperpage}{14}
\indexentry{AddInverseEdgesToInverseAutomaton@\texttt  {AddInverseEdgesToInverseAutomaton}|hyperpage}{14}
\indexentry{IsReversibleAutomaton@\texttt  {IsReversibleAutomaton}|hyperpage}{15}
\indexentry{CopyAutomaton@\texttt  {CopyAutomaton}|hyperpage}{15}
\indexentry{NullCompletionAutomaton@\texttt  {NullCompletionAutomaton}|hyperpage}{15}
\indexentry{ListSinkStatesAut@\texttt  {ListSinkStatesAut}|hyperpage}{16}
\indexentry{RemovedSinkStates@\texttt  {RemovedSinkStates}|hyperpage}{16}
\indexentry{ReversedAutomaton@\texttt  {ReversedAutomaton}|hyperpage}{16}
\indexentry{PermutedAutomaton@\texttt  {PermutedAutomaton}|hyperpage}{17}
\indexentry{ListPermutedAutomata@\texttt  {ListPermutedAutomata}|hyperpage}{17}
\indexentry{NormalizedAutomaton@\texttt  {NormalizedAutomaton}|hyperpage}{17}
\indexentry{UnionAutomata@\texttt  {UnionAutomata}|hyperpage}{18}
\indexentry{ProductAutomaton@\texttt  {ProductAutomaton}|hyperpage}{18}
\indexentry{ProductOfLanguages@\texttt  {ProductOfLanguages}|hyperpage}{19}
\indexentry{TransitionSemigroup@\texttt  {TransitionSemigroup}|hyperpage}{19}
\indexentry{SyntacticSemigroupAut@\texttt  {SyntacticSemigroupAut}|hyperpage}{20}
\indexentry{SyntacticSemigroupLang@\texttt  {SyntacticSemigroupLang}|hyperpage}{20}
\indexentry{rational expressions|hyperpage}{21}
\indexentry{RationalExpression@\texttt  {RationalExpression}|hyperpage}{21}
\indexentry{RatExpOnnLetters@\texttt  {RatExpOnnLetters}|hyperpage}{21}
\indexentry{RandomRatExp@\texttt  {RandomRatExp}|hyperpage}{22}
\indexentry{SizeRatExp@\texttt  {SizeRatExp}|hyperpage}{22}
\indexentry{IsRationalExpression@\texttt  {IsRationalExpression}|hyperpage}{22}
\indexentry{AlphabetOfRatExp@\texttt  {AlphabetOfRatExp}|hyperpage}{23}
\indexentry{AlphabetOfRatExpAsList@\texttt  {AlphabetOfRatExpAsList}|hyperpage}{23}
\indexentry{CopyRatExp@\texttt  {CopyRatExp}|hyperpage}{24}
\indexentry{UnionRatExp@\texttt  {UnionRatExp}|hyperpage}{24}
\indexentry{ProductRatExp@\texttt  {ProductRatExp}|hyperpage}{24}
\indexentry{ StarRatExp@\texttt  { StarRatExp}|hyperpage}{24}
\indexentry{AutomatonToRatExp @\texttt  {AutomatonToRatExp }|hyperpage}{26}
\indexentry{AutToRatExp@\texttt  {AutToRatExp}|hyperpage}{26}
\indexentry{FAtoRatExp@\texttt  {FAtoRatExp}|hyperpage}{26}
\indexentry{RatExpToNDAut@\texttt  {RatExpToNDAut}|hyperpage}{26}
\indexentry{RatExpToAutomaton@\texttt  {RatExpToAutomaton}|hyperpage}{27}
\indexentry{RatExpToAut@\texttt  {RatExpToAut}|hyperpage}{27}
\indexentry{IsEmptyLang@\texttt  {IsEmptyLang}|hyperpage}{28}
\indexentry{IsFullLang@\texttt  {IsFullLang}|hyperpage}{28}
\indexentry{AreEqualLang@\texttt  {AreEqualLang}|hyperpage}{28}
\indexentry{AreEquivAut@\texttt  {AreEquivAut}|hyperpage}{28}
\indexentry{IsContainedLang@\texttt  {IsContainedLang}|hyperpage}{29}
\indexentry{AreDisjointLang@\texttt  {AreDisjointLang}|hyperpage}{29}
\indexentry{EpsilonToNFA@\texttt  {EpsilonToNFA}|hyperpage}{30}
\indexentry{EpsilonToNFASet@\texttt  {EpsilonToNFASet}|hyperpage}{30}
\indexentry{EpsilonCompactedAut@\texttt  {EpsilonCompactedAut}|hyperpage}{31}
\indexentry{ReducedNFA@\texttt  {ReducedNFA}|hyperpage}{31}
\indexentry{NFAtoDFA@\texttt  {NFAtoDFA}|hyperpage}{32}
\indexentry{FuseSymbolsAut@\texttt  {FuseSymbolsAut}|hyperpage}{32}
\indexentry{UsefulAutomaton@\texttt  {UsefulAutomaton}|hyperpage}{33}
\indexentry{MinimalizedAut@\texttt  {MinimalizedAut}|hyperpage}{33}
\indexentry{ MinimalAutomaton@\texttt  { MinimalAutomaton}|hyperpage}{33}
\indexentry{AccessibleStates@\texttt  {AccessibleStates}|hyperpage}{34}
\indexentry{AccessibleAutomaton@\texttt  {AccessibleAutomaton}|hyperpage}{34}
\indexentry{IntersectionLanguage@\texttt  {IntersectionLanguage}|hyperpage}{35}
\indexentry{IntersectionAutomaton@\texttt  {IntersectionAutomaton}|hyperpage}{35}
\indexentry{AutomatonAllPairsPaths@\texttt  {AutomatonAllPairsPaths}|hyperpage}{35}
\indexentry{IsFiniteRegularLanguage@\texttt  {IsFiniteRegularLanguage}|hyperpage}{37}
\indexentry{FiniteRegularLanguageToListOfWords@\texttt  {FiniteRegularLanguageToListOfWords}|hyperpage}{37}
\indexentry{ListOfWordsToAutomaton@\texttt  {ListOfWordsToAutomaton}|hyperpage}{37}
\indexentry{RandomDiGraph@\texttt  {RandomDiGraph}|hyperpage}{40}
\indexentry{VertexInDegree@\texttt  {VertexInDegree}|hyperpage}{40}
\indexentry{VertexOutDegree@\texttt  {VertexOutDegree}|hyperpage}{40}
\indexentry{AutoVertexDegree@\texttt  {AutoVertexDegree}|hyperpage}{40}
\indexentry{ReversedGraph@\texttt  {ReversedGraph}|hyperpage}{40}
\indexentry{AutoConnectedComponents@\texttt  {AutoConnectedComponents}|hyperpage}{41}
\indexentry{GraphStronglyConnectedComponents@\texttt  {GraphStronglyConnectedComponents}|hyperpage}{41}
\indexentry{UnderlyingMultiGraphOfAutomaton@\texttt  {UnderlyingMultiGraphOfAutomaton}|hyperpage}{41}
\indexentry{UnderlyingGraphOfAutomaton@\texttt  {UnderlyingGraphOfAutomaton}|hyperpage}{42}
\indexentry{DiGraphToRelation@\texttt  {DiGraphToRelation}|hyperpage}{42}
\indexentry{MSccAutomaton@\texttt  {MSccAutomaton}|hyperpage}{42}
\indexentry{AutoIsAcyclicGraph@\texttt  {AutoIsAcyclicGraph}|hyperpage}{43}
\indexentry{DrawAutomaton@\texttt  {DrawAutomaton}|hyperpage}{44}
\indexentry{DrawAutomata@\texttt  {DrawAutomata}|hyperpage}{46}
\indexentry{DrawGraph@\texttt  {DrawGraph}|hyperpage}{46}
\indexentry{DrawSCCAutomaton@\texttt  {DrawSCCAutomaton}|hyperpage}{46}
\indexentry{GeneratorsToListRepresentation@\texttt  {GeneratorsToListRepresentation}|hyperpage}{48}
\indexentry{ListToGeneratorsRepresentation@\texttt  {ListToGeneratorsRepresentation}|hyperpage}{48}
\indexentry{FlowerAutomaton@\texttt  {FlowerAutomaton}|hyperpage}{49}
\indexentry{FoldFlowerAutomaton@\texttt  {FoldFlowerAutomaton}|hyperpage}{49}
\indexentry{SubgroupGenToInvAut@\texttt  {SubgroupGenToInvAut}|hyperpage}{49}
\indexentry{GeodesicTreeOfInverseAutomaton@\texttt  {GeodesicTreeOfInverseAutomaton}|hyperpage}{50}
\indexentry{InverseAutomatonToGenerators@\texttt  {InverseAutomatonToGenerators}|hyperpage}{50}