CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutSign UpSign In

Real-time collaboration for Jupyter Notebooks, Linux Terminals, LaTeX, VS Code, R IDE, and more,
all in one place.

| Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

Views: 418346
Tweet
Share
Share
1
<?xml version="1.0" encoding="UTF-8"?>

2


3
<!DOCTYPE Book SYSTEM "gapdoc.dtd">

4


5
  <?LaTeX ExtraPreamble="\usepackage{graphicx}"?>

6


7
<Book Name="Automata"> 

8


9
<TitlePage>

10
  <Title>Automata</Title>

11
  <Version>( Version 

12
<#Include SYSTEM "../version">

13
 )

14
  </Version>

15
  <Author> Manuel Delgado 

16
    <Email>[email protected]</Email>

17
    <Homepage>http://www.fc.up.pt/cmup/mdelgado</Homepage>

18
  </Author>

19
    <Author> Steve Linton

20
    <Email>[email protected]</Email>

21
    <Homepage>http://www-circa.mcs.st-and.ac.uk/~sal/</Homepage>

22
  </Author>

23
  <Author> José João Morais 

24
   <!-- <Email>[email protected]</Email>-->

25
  </Author>

26
  <Copyright> &copyright; 2004 by Manuel Delgado, Steve Linton and José Morais <P/>

27
              We adopt the copyright regulations of &GAP; as detailed in the 

28
              copyright notice in the &GAP; manual. </Copyright>

29


30
<Colophon>

31


32
This work started in 1998, when the first author was in the

33
LIAFA at the University of Paris 7, in a post-doc. 

34
Encouraged by J. E. Pin, he began the implementation in &GAP;3 of

35
an algorithm obtained some time before to answer a question from the realm 

36
of Finite Semigroups proposed by J. Almeida. It is now part of a separate 

37
package: <C>finsemi</C>. <P/>

38


39
The first version of this package on automata was prepared by the first author 

40
who gave it the form of a &GAP; share package.

41
In a second version, prepared by the first and third authors, 

42
many functions have been added and the performance of many of the existing 

43
ones has been improved. Further important improvements, specially concerning performance,

44
have been achieved when the second author joined the group.

45
<P/>

46


47
Since Version 1.12, the package is maintained by the first two authors.

48


49
Bug reports, suggestions and comments are, of course, welcome. Please use our

50
email addresses to this effect.

51


52
</Colophon>

53


54
<Acknowledgements>

55


56
The first author wishes to acknowledge Cyril Nicaud and Paulo Varandas for 

57
their help in programming some functions of the very first version of this 

58
package. He wishes also to acknowledge useful discussions and comments by 

59
Cyril Nicaud, Vítor H. Fernandes, Jean-Eric Pin and Jorge Almeida.

60
<P/>

61
The first author also acknowledges support of FCT through CMUP 

62
and the FCT and POCTI Project POCTI/32817/MAT/2000 which is funded in

63
cooperation with the European Community Fund FEDER.

64
<P/>

65
The third author acknowledges financial support of FCT and the POCTI program 

66
through a scholarship given by Centro de Matemática da Universidade do Porto.

67
<P/>

68


69
The authors would like to thank Mark Kambites for his contribution in finding bugs and making suggestions for the improvement of this package.

70
<P/>

71
<P/>

72
<P/>

73
Concerning the mantainment:

74
<P/>

75
<P/>

76
The first author was/is (partially) supported by the FCT project PTDC/MAT/65481/2006 and also by the

77
<E>Centro de Matemática da Universidade do

78
Porto</E> (CMUP), funded by the European Regional Development Fund through the program COMPETE and by the Portuguese Government through the FCT - Fundação para a Ciência e a Tecnologia under the project PEst-C/MAT/UI0144/2011.

79
</Acknowledgements>

80


81
</TitlePage>

82


83
<TableOfContents/>

84


85
<Body>

86


87
<#Include SYSTEM "introduction.xml">

88
<#Include SYSTEM "automata.xml">

89
<#Include SYSTEM "rational.xml">

90
<#Include SYSTEM "aut-vs-rat.xml">

91
<#Include SYSTEM "aut-func.xml">

92
<#Include SYSTEM "finitelang.xml">

93


94
</Body>

95


96
<#Include SYSTEM "graphs.xml">

97
<#Include SYSTEM "drawing.xml">

98
<#Include SYSTEM "foldings.xml">

99


100


101


102
<Bibliography Databases="AutMan" />

103


104
<TheIndex/>

105


106
</Book>

107


108
<!-- ==================================================================== -->

109


110