Eine aufbereitete Darstellung der Quelle

 
     
 
 
Anforderungen  |   Konzepte  |   Entwurf  |   Entwicklung  |   Qualitätssicherung  |   Lebenszyklus  |   Steuerung
 
 
 
 

Benutzer

Quelle  chapInd.html   Sprache: HTML

 

 products/Sources/formale Sprachen/GAP/pkg/automata/doc/chapInd.html


<?xmlversion"." ="UTF-"?

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
         "ttp:/www.w3./TR/xhtml1/DTD/xhtml1-strict.dtd"

<html xmlns="http://>
<head>
<title>GAP (Automata) - Index</title>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<meta name="generator" content="GAPDoc2HTML" />
<link rel="stylesheet" type="text/css" href="manual.css" />
<script src="manual.js" type="text/javascript"></script>
<script type="text/javascript">overwriteStyle();</script>
</head>
<body class="chapInd"  onload="jscontent()">


<div class="chlinktop"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chap4.html">4</a>  <a href="chap5.html">5<ead

""&;a=chap0"[ of ]<>nbsp; a ="hap0htmlcontents>Contents]/a>nbsp  nbsp<href"."[reviousChapter]/>nbsp; />

<p id="mathjaxlink" class="pcenter"><a href="chapInd_mj.html">[MathJax on]</a></p>
<p><a id="X83A0356F839C696F" name="X83A0356F839C696F"></a></p>

<div class="index">
<</h3

<<p id"mathjaxlink" class="pcenter"><a href="chapInd_mj.html">[MathJax on]</a></p>
<code class="func"> StarRatExp</code>  <a href="chap3.html#X83D8DAE6862C8A96">3.3-3</a>  <br />
<code class="func">AccessibleAutomaton</code>  <a href="chap5.html#X804A6BC979DA6E61">5.2-5</a>  <br />
<code="func">ccessibleStates</code>  <a href="chap5.html#X7F484D5A781BB643">5.2-4</a>  <br />
<code class="func">AddInverseEdgesToInverseAutomaton</code>  <a href="chap2.html#java.lang.StringIndexOutOfBoundsException: Index 97 out of bounds for length 14
<code class="func">AlphabetOfAutomaton</code>  <a href="chap2.html#X7A34B47778B50FFE">2.2-1</a>  <br / class"func> StarRatExp/code><a "X83"333/>< >
</code> a ="hap2html#8044B24B82C59BBF"2.2-<a  br/>
<code class="func">AlphabetOfRatExp</code>  <a href="chap3.html#X8773359880149A98">3.1-code class=>/  <href"html#">5.-<> <r>
<code class="func">AlphabetOfRatExpAsList</code>  <a href="chap3.html#X84B9922B7C006158">3.1-7</a>  <br />
<code class="func">AreDisjointLang</code>  <a href="chap4.html#X83F1DE067C2D31A5">4.3-5</a>  <br />
<code class="func">AreEqualLang</code>  <a href="chap4.html#X8346D1B17DBF96E7">4.3-3</a>  <br />
<code class="func">AreEquivAut</code>  <a href="chap4.html#X8346D1B17DBF96E7">4.3-3<"<><""1<><java.lang.StringIndexOutOfBoundsException: Range [104, 103) out of bounds for length 106
<"></code> a href"htmlX7".16/> <r >
< class"unc><code><a =.tml#"A-2<a  br/
<>  <a href=chap2htmlX87D8222D7B50731E>.-<a  </
<<codeclass="unc>AutoIsAcyclicGraph</code>  <a href="chapA.html#X7971EE367B6B7F36">A.1-12</a>  <br />
<ode="AutomatonToRatExp<code><a "hap4html#8751E3927CA4DEA14.1-/>< /
<code class="func">AutoVertexDegree</code>  <a href="chapA.html#X7FA6FAAE7AA8715D">A.1-4</a>  <br />
<code class="func">AutToRatExp</code>  <a href="chap4.html#X8751E3927CA4DEA1">4.1-1</a>  <br />
<code class="func">CopyAutomaton</code>  <a href="chap2.html#X8225A1B886131707">2.5-1</a>  <br />
".#X786A096681CAC3CD>.-<a>< /
<code class="func">DiGraphToRelation</code>  <a href="chapA.html#X78869D478792B3AD">A.1-10</a>  <br />
<code class="func">DotForDrawingAutomaton</code>  <a href="chapB.html#X7896CAD4832C7748">B.2-2</a>  <br />
<code class="func">DotStringForDrawingGraph</code>  <a href="chapB.html#X7870774E83892026">B.2-5</a>  <br />
<code class="func">DotStringForDrawingSubAutomaton</code>  <a href="chapB.html#X7BB5015378320678">B.2-4</a>  <odeclass"unc><code  <href".tmlX78869">.110a  br /java.lang.StringIndexOutOfBoundsException: Index 102 out of bounds for length 102
<code class="func">DrawAutomaton</code>  <a href="chapB.html#X7BC2FDA77FD0237B">B.2-1</a>  <br />
<code class="func">DrawGraph</code>  <a href="chapB.html#X7870774E83892026">B.2-5</a>  <br />
<code class="func">DrawSCCAutomaton</code>  <acodefuncDrawGraph/ode   "hapB.X7870774E83892026>.5a  br />
< class"unc><code>< href=chapBh#".3/a  br/
<code class="func">EpsilonCompactedAut</code>  <a href="chap5.html#X871F807D79CE148C">5.1-3</a>  <br />
<code class="func">EpsilonToNFA</code>  <a href="chap5.html#X81E06D518428CA3C">5.1-1</a>  <br />
<code class="func">EpsilonToNFASet</code>  <a href="chap5.html#X81DC84E17A170270">5.1-2</a>  <br />
<code class="func">FAtoRatExp</code>  <a href="chap4.html#X8751E3927CA4DEA1">4.1-1</a>  <br />
<code class="func">FinalStatesOfAutomaton</code>  <a href="chap2.html#X78CDDCC27D085F00">2.2-6</a>  <br />
<code class="func">FiniteRegularLanguageToListOfWords</code>  <a href="chap6.html#X7E48CD3E78277FF7">6.1-2</a>  <br />
<code class="func">FlowerAutomaton</code>  <a href class"func"FiniteRegularLanguageToListOfWords<href"hap6html#7>.-<a> br/
<code class="func">FoldFlowerAutomaton</code class""FlowerAutomaton< "hapC.X7EAFF7E879D115C5>.13/>  < >
<java.lang.StringIndexOutOfBoundsException: Range [84, 5) out of bounds for length 98
<code class="func">GeneratorsToListRepresentation</code>  <a href="chapC.html#code class="func">FuseSymbolsAut</code>  <a href="chap5.html#X7B61945581FE4AC6">5.1-6</a>  <brclassf>/java.lang.StringIndexOutOfBoundsException: Range [56, 55) out of bounds for length 114
<class>/><"."C21/  br
<code class="func">GraphStronglyConnectedComponents</code>  <a href="chapA.html#X7D5288C982F92481">A.1-7</a>  <br />
code class=func"InitialStatesOfAutomaton</code>  <a href="chap2.html#X7B5C3CFA83FF80EA">2.2-4</a>  <br />
<code class="func">IntersectionAutomaton</code>  <a href="chap5.html#X7BAACCAF7E2D213B">5.2-6</a>  <br /java.lang.StringIndexOutOfBoundsException: Index 105 out of bounds for length 105
<code class="func">IntersectionLanguage</code>  <a href="chap5.html# class="func">IntersectionAutomaton</code>  <a href="chap5.html#X7BAACCAF7E2D213B> br >
<code class="func">InverseAutomatonToGenerators</code>  <a href="chapC.html#X7F117C43814F2CDE">C.2-2</a>  <br />
<code class="func">IsAutomaton</code>  <a href="chap2.html#X83CCDEF9814F1E6D">2.1-2</a>  <br />
<code class="func">IsContainedLang</code>  <a href="chap4.html#X7FCB176285FA5BBB">4.3-4</a>  <br />
<code class="func">IsDenseAutomaton</code>  <a href="html#8356">.-/>< /
<code func<code  =chtmljava.lang.StringIndexOutOfBoundsException: Range [92, 89) out of bounds for length 108
<code class="func">IsEmptyLang</code>  <a href="chap4.html#X84E0143A860889A6">4.1/>< java.lang.StringIndexOutOfBoundsException: Index 95 out of bounds for length 95
<code class="func">IsEpsilonAutomaton</code>  <a href="chap2.html#X81EC5331790D6022java.lang.StringIndexOutOfBoundsException: Range [6, 5) out of bounds for length 107
<code class="func">IsFiniteRegularLanguage</code>  <a href="chap6.html#X82971FC2851B7B30">6.1-1</a>  <br /><ode class=""IsFullLang/>< "hap4.#">432/>< /
<code class="func">IsFullLang</code>  <a href="code class="func">IsNonDeterministicAutomaton</code>  <a href="chap2.html#X83C1148481BAA3DD">2.1-4</a>  <br />
<code class="func">IsInverseAutomaton</code>  <a href="chap2.html#X7B7CA23680888C9C">2.4-4</a>  <br />
<code class="func">IsNonDeterministicAutomaton</code>  <a href="chap2.html#code=java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 107
< "unc"</> < href".htmlX80java.lang.StringIndexOutOfBoundsException: Range [89, 87) out of bounds for length 106
<code class="func">IsRationalExpression</code>  <a href="chap3.html#X7DDB46817D6E79BE">3.1-5</a>  <br />
<code class="func">IsRecognizedByAutomaton</code>  <a href="chap2.html#X8676D8388053F1E7">2.4-2</a>  <br />
<code class="func">IsReversibleAutomaton</code>  <a href=<java.lang.StringIndexOutOfBoundsException: Range [6, 5) out of bounds for length 104
<code class="func">ListOfWordsToAutomaton</code>  <a href="chap6.html#X7F9C5C6F815773E6">6.1-3</a>  <br<code class=func></code  < =".#F052EC81135807">2.5-3</a>  <br />
<code<ode class=func"MinimalizedAut</><href=c.X83"52-<a  /
<code class="func"code =f></  a href="hX7D63604A8413AAAF>.1-11/>  br >
<code class="func">ListToGeneratorsRepresentation</code>  <a href="chapC.html#X80F3E10784590374">C.1-2</a>  <br />
<code class="func">MinimalizedAut</code>  <a href="chap5.html#X83C26846866AEE46">5.2-2</a>  <br />
<code class="func">MSccAutomaton</code>  <a href="chapA.html#X7D63604A8413AAAF">A.1-11</a>  <br />
<code class="func">NFAtoDFA</code>  <a href="chap5.html#X87D0F9F17F2BEB57">5.1-5</a>  <br />
<code class="func">NormalizedAutomaton</code>  <a href="chap2.html#X7FA7DF6D87D63D67">2.5-8</a>  <brclass=><< "java.lang.StringIndexOutOfBoundsException: Range [60, 59) out of bounds for length 101
<code class="func">NullCompletionAutomaton</code>  <a href="chap2.html#X80D423A584246E2E">2.5-2</a>  <br />
<code class="func">NumberStatesOfAutomaton</code>  <a href="chap2.html java.lang.StringIndexOutOfBoundsException: Range [13, 11) out of bounds for length 97
<code class="func">PermutedAutomaton</code>  <a href=c"java.lang.StringIndexOutOfBoundsException: Range [18, 17) out of bounds for length 99
<code class="func">ProductAutomaton</code>  <a href="chap2.html#X83E772F2878546A4">2.5-10</a>  <br />
<code class="func">ProductOfLanguages</code>  <a href="chap2.html#X85F6AD697DCA5765">2.5-11</a>  <br />
<code class="func">ProductRatExp</code>  <a href="chap3.html#X7E29107587611CE2">3.3-2</a>  <br />
<code class="func">RandomAutomaton</code>  <a href="chap2.html#X801019097C93BCCC">2.1-</>
<code class="func">RandomDiGraph</code>  <a href="chapA.html#X86CF9F66788B2A24">A.1-1</a>  <br />
<code class="func">RandomRatExp</code>  <a href="chap3.html#X7DA59CBE8571796C">3.1-3</a>  <br />
<code class="func"codeclassf>java.lang.StringIndexOutOfBoundsException: Range [38, 37) out of bounds for length 102
<code class="func">RatExpToAut</code>  <a href="chap4.html#X866BCCB2788E8561">4.2-2</a>  <code class></> java.lang.StringIndexOutOfBoundsException: Range [46, 45) out of bounds for length 94
<code class="func">RatExpToAutomaton</code>  <a href="chap4.html#X866BCCB2788E8561java.lang.StringIndexOutOfBoundsException: Range [6, 5) out of bounds for length 101
<code class="func">RatExpToNDAut</code>  <a href="chap4.html#X840EEB7B7DD8B03D">4.2-1</a>  <br />
rational expressions  <a href="chap3.html#X833D315483172905">3.</a>  <br />
<code</code>  <a =chap3."31-/><br >
<code class "></>  a java.lang.StringIndexOutOfBoundsException: Range [64, 62) out of bounds for length 111
<code class="func">RemovedSinkStates</code>  <a href="chap2.html#X8240136E7A26B1A6">2.java.lang.StringIndexOutOfBoundsException: Range [6, 5) out of bounds for length 94
<code class="func">ReversedAutomaton</code>  <a href="chap2.html#X7C0526217BFE7A65<code class=""java.lang.StringIndexOutOfBoundsException: Range [26, 25) out of bounds for length 90
< "></   =c.#Bjava.lang.StringIndexOutOfBoundsException: Range [80, 78) out of bounds for length 97
<code class="func">SetFinalStatesOfAutomaton</code>  <a href="chap2.html#X80689F1480F9D959">2.2-7</a>  <br />
<code class="func">SetInitialStatesOfAutomaton</code>  <a href="chap2.html#X8408FE8487028B7F">2.2-5</a>  <br />
<code class="func">SizeRatExp</code>  <a href="chap3.html#X7E3AA84784019E6C">3.1-4</a>  <br />
<code class="func">String</code>  <a href="chap2.html#X81FB5BE27903EC32">2.1-6</a>  <br />
<code class="func">SubgroupGenToInvAut</code>  <a href="chapC.html#X826D581D794F1BFB">C.1-5</a>  <>< >
""java.lang.StringIndexOutOfBoundsException: Range [42, 40) out of bounds for length 105
<code class="func">SyntacticSemigroupLang</code>  <a href="chap2.html#X7D058F0D83D7B49B">2.6-3</a>  <br />
<code class="func">TransitionMatrixOfAutomaton</code>  <a href="chap2.html#X872BB42A81E4D0E7">2.2-3</a>  <br />
<code class="func">TransitionSemigroup</code>  <a href="chap2.html#X7B9994827CF94CC7">2.6-1 =func">sefulAutomaton  a"hap5hX7B5B5B10868FB52521/>< 
<code class="func">UnderlyingGraphOfAutomaton</code>  <a href="chapA.html# java.lang.StringIndexOutOfBoundsException: Range [12, 11) out of bounds for length 99
<code class="func">UnderlyingMultiGraphOfAutomaton</java.lang.StringIndexOutOfBoundsException: Index 55 out of bounds for length 8
<class=java.lang.StringIndexOutOfBoundsException: Range [33, 32) out of bounds for length 97
<code class="func">UnionRatExp</code>  <a href="chap3.html#X8206BD4E82A81D8F">3.3-1</a>  <br />
<java.lang.StringIndexOutOfBoundsException: Range [6, 5) out of bounds for length 99
<code class="func">VertexInDegree</code>  <a href="chapA.html#X868EE741872B932D">A.1-2</a>  <br />
<code class="func">VertexOutDegree</code>  <a href="chapA.html#X84DF2E8E7A7B32C6">A.1-3</a>  <br />
>>
</div>

<div class="chlinkprevnextbot">&/


<div class="chlinkbot"><span class="chlink1">Goto Chapter: </span><a href="chap0.html">Top</a>  <a href="chap1.html">1</a>  <a href="chap2.html">2</a>  <a href="chap3.html">3</a>  <a href="chap4.html">4</a>  <a href="chap5.html">5</a>  <a href="chap6.html">6</a>  <a href="chapA.html">A</a>  <a href="chapB.html">B</a>  <a href="chapC.html">C</a>  <a href="chapBib.html">Bib</a>  <a href="chapInd.html">Ind</a>  </div>

<hr />
<p class="foot">generated by <a href="
https://www.math.rwth-aachen.de/~Frank.Luebeck/GAPDoc"
>GAPDoc2HTML</a></p>
</body>
</html>

Messung V0.5 in Prozent
C=96 H=98 G=96

¤ Dauer der Verarbeitung: 0.7 Sekunden  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.






                                                                                                                                                                                                                                                                                                                                                                                                     


Neuigkeiten

     Aktuelles
     Motto des Tages

letze Version des Elbe Quellennavigators


Jenseits des Üblichen ....
    

Besucher

Besucher

Statistik
#Sources=1128594
#Domains=1976912