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