Über dieses Handbuch

Dieses Handbuch beschreibt die Version 2.1 von INA . Es wurde von Stephan Roch in Zusammenarbeit mit Prof. Peter H. Starke mit dem Textsatzsystem L^ATEX2e und dem KOMA-Script-Package (von Frank Neukamm und Markus Kohm) bzw. dem Programm L^ATEX2HTML (von Nikos Drakos nikos@cbl.leeds.ac.uk) erstellt. Es basiert auf ausführlichen Tests, sorgfältiger Quelltextanalyse und persönlichen Gesprächen mit Prof. Starke.

Folgende Formate können hier abgerufen werden:

• PostScript [1 MB]

• PostScript (gzip gepackt) [293 kB]

• TeX-DVI [539 kB, ohne Abbildungen]

• TeX-DVI (gzip gepackt) [132 kB, ohne Abbildungen]

• HTML [nur online]

• HTML (zip/pkzip gepackt) [359 kB]

Beispielnetze des Handbuchs (zip/pkzip gepackt) [5 kB]

Handbuch der Version 1.7

Das Handbuch kann in der HTML-Version mit üblichen Browsern betrachtet werden (getestet mit Netscape und Mosaic).

Um eine optimale Ansicht zu haben, vergrößern Sie das Fenster Ihres Browsers so, daß folgende Zeile vollständig ohne Zeilenumbruch angezeigt wird:

 Diese Zeile hat 80 Zeichen Text und sollte vollständig ohne Zeilenumbruch sein

Außerdem muß Ihr Browser Inlined-Gifs anzeigen können:

Für Fragen und Anregungen zu diesem Handbuch wenden Sie sich bitte an Stephan Roch (roch@informatik.hu-berlin.de).

Kostenlos steht das Programm für folgende Plattformen in der Version 2.2 zur Verfügung:

• Unix-Vollversion für Sparc-Solaris [gzip]
• Unix-Vollversion für Sun-OS 4 [gzip]
• Linux-Vollversion [gzip]
• Windows-95/98/NT-Vollversion [exe]
• DOS-Demoversion (nur Version 2.1, enthält Bugs und weniger Features) [exe]

Für Informationen zu weiteren Programmversionen wenden Sie sich bitte an Prof. Starke (starke@informatik.hu-berlin.de).

Konditionen für Quelltexte werden auf Anfrage genannt.

Für Fehler in diesem Handbuch oder im Programm wird keine Haftung übernommen.

Kontaktadresse:

Humboldt-Universität zu Berlin
Institut für Informatik
Lehrstuhl für Automaten- und Systemtheorie
Prof. Peter. H. Starke
Unter den Linden 6
10099 Berlin
Telefon: 030 / 20 181 - 285
Fax: 030 / 20 181 - 287
Email: starke@informatik.hu-berlin.de