1############################################################################# 2## This program is free software: you can redistribute it and/or modify 3## it under the terms of the GNU General Public License as published by 4## the Free Software Foundation, either version 2 of the License, or 5## (at your option) any later version. 6## 7## This program is distributed in the hope that it will be useful, 8## but WITHOUT ANY WARRANTY; without even the implied warranty of 9## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 10## GNU General Public License for more details. 11## 12#W automata.gd Ruth Hoffmann 13## 14## 15#Y Copyright (C) 2004-2015 School of Computer Science, 16#Y University of St. Andrews, North Haugh, 17#Y St. Andrews, Fife KY16 9SS, Scotland 18## 19 20################################################################################ 21## 22#F NDIntersectionAutomaton(aut1,aut2) 23## 24## A faster automata intersection algorithm, which does not turn the automata 25## deterministic. 26## 27DeclareGlobalFunction( "NDIntersectionAutomaton" ); 28 29################################################################################ 30## 31#F NDUnionAutomata(aut1,aut2) 32## 33## A faster automata union algorithm, which does not turn the automata 34## deterministic. 35## 36DeclareGlobalFunction( "NDUnionAutomata" ); 37 38################################################################################ 39## 40#F NDProductOfLanguages(aut1,aut2) 41## 42## A faster automata concatenation algorithm, which does not turn the automata 43## deterministic. 44## 45DeclareGlobalFunction( "NDProductOfLanguages" ); 46 47############################################################################# 48## 49#F PCMinimalizedAut(A) 50## 51## Minimalisation algorithm, with no assertions. 52## 53## 54DeclareGlobalFunction( "PCMinimalizedAut" ); 55 56DeclareAttribute("PCMinimalAutomaton", IsAutomatonObj); 57 58############################################################################# 59## 60#F PCReducedNFA(aut) 61## 62## Again we got rid of the Assertion 63## 64DeclareGlobalFunction( "PCReducedNFA" ); 65