Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

gap-automata-1.13-bp153.1.12 RPM for noarch

From OpenSuSE Leap 15.3 for noarch

Name: gap-automata Distribution: SUSE Linux Enterprise 15 SP3
Version: 1.13 Vendor: openSUSE
Release: bp153.1.12 Build date: Fri Feb 26 05:55:06 2021
Group: Productivity/Scientific/Math Build host: hci-cnode2-m1
Size: 1514211 Source RPM: gap-automata-1.13-bp153.1.12.src.rpm
Packager: https://bugs.opensuse.org
Url: http://cmup.fc.up.pt/cmup/mdelgado/automata/
Summary: GAP: A package on automata
 
The features of this package include

- computing a rational expression for the language recognized by a
  finite automaton;

- compute an automaton for the language given by a rational
  expression;

- minimalize a finite automaton;

- has some features (using the external program GraphViz) to
  visualize automata;

Provides

Requires

License

GPL-2.0+

Changelog

* Fri May 10 2013 jengelh@inai.de
  - Split automata (version 1.13) off the gap RPM package

Files

/usr/share/gap
/usr/share/gap/pkg
/usr/share/gap/pkg/automata
/usr/share/gap/pkg/automata/CHANGES
/usr/share/gap/pkg/automata/EXAMPLES
/usr/share/gap/pkg/automata/LICENSE
/usr/share/gap/pkg/automata/PackageInfo.g
/usr/share/gap/pkg/automata/README
/usr/share/gap/pkg/automata/doc
/usr/share/gap/pkg/automata/doc/AutMan.aux
/usr/share/gap/pkg/automata/doc/AutMan.bbl
/usr/share/gap/pkg/automata/doc/AutMan.bib
/usr/share/gap/pkg/automata/doc/AutMan.blg
/usr/share/gap/pkg/automata/doc/AutMan.brf
/usr/share/gap/pkg/automata/doc/AutMan.idx
/usr/share/gap/pkg/automata/doc/AutMan.ilg
/usr/share/gap/pkg/automata/doc/AutMan.ind
/usr/share/gap/pkg/automata/doc/AutMan.log
/usr/share/gap/pkg/automata/doc/AutMan.out
/usr/share/gap/pkg/automata/doc/AutMan.pnr
/usr/share/gap/pkg/automata/doc/AutMan.tex
/usr/share/gap/pkg/automata/doc/AutMan.toc
/usr/share/gap/pkg/automata/doc/AutMan.xml
/usr/share/gap/pkg/automata/doc/LER
/usr/share/gap/pkg/automata/doc/aut-func.xml
/usr/share/gap/pkg/automata/doc/aut-vs-rat.xml
/usr/share/gap/pkg/automata/doc/aut1.eps
/usr/share/gap/pkg/automata/doc/aut1.gif
/usr/share/gap/pkg/automata/doc/aut1.jpg
/usr/share/gap/pkg/automata/doc/aut1.pdf
/usr/share/gap/pkg/automata/doc/aut1.ps
/usr/share/gap/pkg/automata/doc/aut1.ps2
/usr/share/gap/pkg/automata/doc/aut2.eps
/usr/share/gap/pkg/automata/doc/aut2.gif
/usr/share/gap/pkg/automata/doc/aut2.jpg
/usr/share/gap/pkg/automata/doc/aut2.pdf
/usr/share/gap/pkg/automata/doc/aut2_1.jpg
/usr/share/gap/pkg/automata/doc/aut2_2.jpg
/usr/share/gap/pkg/automata/doc/automata.xml
/usr/share/gap/pkg/automata/doc/chap0.html
/usr/share/gap/pkg/automata/doc/chap0.txt
/usr/share/gap/pkg/automata/doc/chap1.html
/usr/share/gap/pkg/automata/doc/chap1.txt
/usr/share/gap/pkg/automata/doc/chap2.html
/usr/share/gap/pkg/automata/doc/chap2.txt
/usr/share/gap/pkg/automata/doc/chap3.html
/usr/share/gap/pkg/automata/doc/chap3.txt
/usr/share/gap/pkg/automata/doc/chap4.html
/usr/share/gap/pkg/automata/doc/chap4.txt
/usr/share/gap/pkg/automata/doc/chap5.html
/usr/share/gap/pkg/automata/doc/chap5.txt
/usr/share/gap/pkg/automata/doc/chap6.html
/usr/share/gap/pkg/automata/doc/chap6.txt
/usr/share/gap/pkg/automata/doc/chap7.html
/usr/share/gap/pkg/automata/doc/chap7.txt
/usr/share/gap/pkg/automata/doc/chap8.html
/usr/share/gap/pkg/automata/doc/chap8.txt
/usr/share/gap/pkg/automata/doc/chap9.html
/usr/share/gap/pkg/automata/doc/chap9.txt
/usr/share/gap/pkg/automata/doc/chapA.html
/usr/share/gap/pkg/automata/doc/chapA.txt
/usr/share/gap/pkg/automata/doc/chapB.html
/usr/share/gap/pkg/automata/doc/chapB.txt
/usr/share/gap/pkg/automata/doc/chapBib.html
/usr/share/gap/pkg/automata/doc/chapBib.txt
/usr/share/gap/pkg/automata/doc/chapC.html
/usr/share/gap/pkg/automata/doc/chapC.txt
/usr/share/gap/pkg/automata/doc/chapD.html
/usr/share/gap/pkg/automata/doc/chapD.txt
/usr/share/gap/pkg/automata/doc/chapE.html
/usr/share/gap/pkg/automata/doc/chapE.txt
/usr/share/gap/pkg/automata/doc/chapInd.html
/usr/share/gap/pkg/automata/doc/chapInd.txt
/usr/share/gap/pkg/automata/doc/drawing.xml
/usr/share/gap/pkg/automata/doc/finitelang.xml
/usr/share/gap/pkg/automata/doc/foldings.xml
/usr/share/gap/pkg/automata/doc/gapdoc.css
/usr/share/gap/pkg/automata/doc/gapdoc.dtd
/usr/share/gap/pkg/automata/doc/graph.eps
/usr/share/gap/pkg/automata/doc/graph.gif
/usr/share/gap/pkg/automata/doc/graph.pdf
/usr/share/gap/pkg/automata/doc/graphs.xml
/usr/share/gap/pkg/automata/doc/introduction.xml
/usr/share/gap/pkg/automata/doc/lefttoc.css
/usr/share/gap/pkg/automata/doc/main.g.txt
/usr/share/gap/pkg/automata/doc/manual.css
/usr/share/gap/pkg/automata/doc/manual.js
/usr/share/gap/pkg/automata/doc/manual.pdf
/usr/share/gap/pkg/automata/doc/manual.six
/usr/share/gap/pkg/automata/doc/nocolorprompt.css
/usr/share/gap/pkg/automata/doc/ragged.css
/usr/share/gap/pkg/automata/doc/rainbow.js
/usr/share/gap/pkg/automata/doc/rational.xml
/usr/share/gap/pkg/automata/doc/times.css
/usr/share/gap/pkg/automata/doc/toggless.css
/usr/share/gap/pkg/automata/doc/toggless.js
/usr/share/gap/pkg/automata/gap
/usr/share/gap/pkg/automata/gap/aut-basics.gd
/usr/share/gap/pkg/automata/gap/aut-basics.gi
/usr/share/gap/pkg/automata/gap/aut-def.gd
/usr/share/gap/pkg/automata/gap/aut-def.gi
/usr/share/gap/pkg/automata/gap/aut-func.gd
/usr/share/gap/pkg/automata/gap/aut-func.gi
/usr/share/gap/pkg/automata/gap/aut-rat.gd
/usr/share/gap/pkg/automata/gap/aut-rat.gi
/usr/share/gap/pkg/automata/gap/digraphs.gd
/usr/share/gap/pkg/automata/gap/digraphs.gi
/usr/share/gap/pkg/automata/gap/drawgraph.gd
/usr/share/gap/pkg/automata/gap/drawgraph.gi
/usr/share/gap/pkg/automata/gap/finitelang.gd
/usr/share/gap/pkg/automata/gap/finitelang.gi
/usr/share/gap/pkg/automata/gap/foldings.gd
/usr/share/gap/pkg/automata/gap/foldings.gi
/usr/share/gap/pkg/automata/gap/hello
/usr/share/gap/pkg/automata/gap/miscelaneous.gd
/usr/share/gap/pkg/automata/gap/miscelaneous.gi
/usr/share/gap/pkg/automata/gap/rat-def.gd
/usr/share/gap/pkg/automata/gap/rat-def.gi
/usr/share/gap/pkg/automata/gap/rat-func.gd
/usr/share/gap/pkg/automata/gap/rat-func.gi
/usr/share/gap/pkg/automata/gap/sgpslinks.gd
/usr/share/gap/pkg/automata/gap/sgpslinks.gi
/usr/share/gap/pkg/automata/init.g
/usr/share/gap/pkg/automata/read.g
/usr/share/gap/pkg/automata/version

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 14:50:04 2024