Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/automata/   (GAP Algebra Version 4.15.1©)  Datei vom 30.7.2024 mit Größe 837 B image not shown  

Quellcode-Bibliothek EXAMPLES   Sprache: Unknown

 

********************************
*********** Automata ***********
To give an automaton to GAP use the function Automaton

gap> Automaton("det",3,2,[ [ 0, 3, 0 ], [ 2, 3, 0 ] ],[ 3 ],[ 1, 3 ]);;

A random function is also available

gap> x := RandomAutomaton("det",3,2);;Display(x);
   |  1  2  3
--------------
 a |     3
 b |  2  3
Initial state:    [ 3 ]
Accepting states: [ 1, 3 ]

Now using Print and String you obtain

gap> Print(String(x));
Automaton("det",3,"ab",[ [ 0, 3, 0 ], [ 2, 3, 0 ] ],[ 3 ],[ 1, 3 ]);;

and through the use of copy/paste and some small changes it is easy to give your favourite automaton to GAP.

********************************************
*********** Rational Expressions ***********
To give a rational expression to GAP use the function RationalExpression

gap> RationalExpression("aUba*","ab");
aUba*

¤ 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.0.11Bemerkung:  (vorverarbeitet am  2026-10-11) ¤

*Bot Zugriff






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.