| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/fplsa/lib/ (GAP Algebra Version 4.15.1©) Datei vom 29.7.2025 mit Größe 357 B |
|
Quellcode-Bibliothek aut-rat.gd Sprache: Shell |
|||||||||
|
############################################################################
## #W aut-rat.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 declares functions involving automata and rational expressions ## ############################################################################# ## #F FAtoRatExp(A) ## ## From a finite automaton, computes the equivalent rational expression, ## using the state elimination algorithm. ## DeclareGlobalFunction( "FAtoRatExp" ); DeclareSynonym("AutomatonToRatExp", FAtoRatExp); DeclareSynonym("AutToRatExp", FAtoRatExp); DeclareAttribute("MinimalKnownRatExp", IsAutomatonObj, "mutable"); ############################################################################# ## #F RatExpToNDAut(R) ## ## Given a rational expression R, computes an equivalent NFA using ## the Glushkov algorithm. ## DeclareGlobalFunction( "RatExpToNDAut" ); ############################################################################# ## #F RatExpToAut(R) ## ## Given a rational expression R, uses RatExpToNDAut to compute the ## equivalent NFA and then returns the equivalent minimal DFA ## DeclareGlobalFunction( "RatExpToAut" ); DeclareSynonym( "RatExpToAutomaton", RatExpToAut ); ¤ 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.17Bemerkung: (vorverarbeitet am 2026-10-13) ¤*© Formatika GbR, Deutschland |
|
2026-10-11