Skip to content

Skript zur Vorlesung Automaten und Sprachen an der HSR

License

Notifications You must be signed in to change notification settings

WoobieTheBear/AutoSpr

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Skript zur Vorlesung Automaten und Sprachen
an der Hochschule fuer Technik Rapperswil

Die Unterverzeichnisse enthalten die folgenden, von einander unabhaengigen
Teile:

aufgaben    Eine Sammlung von Aufgaben, entstanden aus Uebungsaufgaben und
            Pruefungen frueherer Jahre

skript      Source Code und Bilder fuer das Skript

code        Beispiele von Anwendungen der Theorie


Skript
------

Zum Bauen dieses Skripts ist eine vollstaendige LaTeX Installation
erforderlich, wie sie jeder typischen Linux Distribution beiliegt.

Mit folgender Liste von TeX-Packages konnte das Skript auf einer
Ubuntu 14.04 LTS Installation kompiliert werden:

    texlive-base
    texlive-bibtex-extra
    texlive-binaries
    texlive-extra-utils
    texlive-font-utils
    texlive-fonts-extra
    texlive-fonts-extra-doc
    texlive-fonts-recommended
    texlive-fonts-recommended-doc
    texlive-generic-recommended
    texlive-lang-english
    texlive-lang-european
    texlive-lang-german
    texlive-latex-base
    texlive-latex-base-doc
    texlive-latex-extra
    texlive-latex-extra-doc
    texlive-latex-recommended
    texlive-latex-recommended-doc
    texlive-luatex
    texlive-metapost
    texlive-metapost-doc
    texlive-pictures
    texlive-pictures-doc
    texlive-pstricks
    texlive-pstricks-doc
    texlive-science
    texlive-science-doc
    latexmk

Auf anderen Ubuntu-Distributionen können die Package-Namen leicht
abweichen.  Der Output von "apt-cache search texlive" kann helfen,
die richtigen Namen zu ermitteln.

Bei Ubuntu 12.04 scheint jemand auf die Idee gekommen zu sein, dass das
Programm mptopdf nicht mehr nötig sei, seit latex den Metapost-Output
direkt lesen kann. Das ist natürlich Unsinn, da es auch andere
Konsumenten von Metapost-Output gibt. Aber gegen inkompetente Package
Maintainer ist halt kein Kraut gewachsen.

Sofern alle Abhängigkeiten erfüllt sind, kann das Skript folgendermassen
gebaut werden:

    $ cd skript
    $ make

Schlägt der Build fehl weil Packages fehlen, kann es passieren, dass
die Dependencies im Makefile nicht korrekt behandelt werden. In solchen
Fällen hilft es, die Files skript.ind und skript.toc zu löschen. Bei
Problemen mit den Metapost-Bildern im Unterverzeichnis skript/images
hilft, das Timestamp-File skript/images/timestamp zu löschen.

Aufgabensammlung
----------------

Im Verzeichnis "aufgaben" wurde eine Aufgabensammlung aufgebaut. Die
Aufgaben sind nach Kapiteln geordnet und so organisiert, dass die Aufgaben
zusammen mit den Musterloesungen leicht aus anderen Projekten referenziert
werden koennen. Falls eine Aufgabe oder ihre Loesung zusaetzliche Files
benoetig, sind diese Files in einem Verzeichnis mit der gleichen Nummer
abgelegt.

Code
----

Im Unterverzeichnis "code" befindet sich ein Reihe kleiner
Beispielprojekte, welche die Anwendung der Theorie des Skriptes
illustrieren. Eine kurze Beschreibung der Projekte findet man in
code/README.

About

Skript zur Vorlesung Automaten und Sprachen an der HSR

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • TeX 88.3%
  • C 4.2%
  • Java 2.9%
  • Makefile 1.7%
  • Yacc 1.1%
  • Lex 0.6%
  • Other 1.2%