| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/automata/gap/ (GAP Algebra Version 4.15.1©) Datei vom 30.7.2024 mit Größe 1 kB |
|
Quelle sgpslinks.gd Sprache: Shell |
|||||||||||||||||||||||||
|
############################################################################ ## #W sgpslinks.gd Manuel Delgado <mdelgado@fc.up.pt> #W Jose Morais <josejoao@fc.up.pt> ## ## #Y Copyright (C) 2004, CMUP, Universidade do Porto, Portugal ## ## ## ############################################################################# ## ## This file contains some links between automata and semigroups. ## ## ############################################################################ ## #F TransitionSemigroup(aut) ## ## Computes the transition semigroup of a deterministic automaton ## DeclareGlobalFunction( "TransitionSemigroup" ); ########################################################################### ## #F SyntacticSemigroupAut ## Computes the syntactic semigroup of a deterministic automaton ## (i.e. the transition semigroup of the equivalent minimal automaton) ## DeclareGlobalFunction( "SyntacticSemigroupAut" ); ########################################################################### ## #F SyntacticSemigroupLang(rat) ## ## Computes the syntactic semigroup of the rational language given by the ## rational expression rat. ## DeclareGlobalFunction( "SyntacticSemigroupLang" );
¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet am 2026-11-04) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||||||||||||
2026-11-04