Taach! – Der Morgenblog

LaTeX – Grafiken einbinden, Tabellen basteln, Referenzen innerhalb und außerhalb des Dokumentes, Präsentationen mit Beamer und Sonstige Kleinigkeiten

Inzwischen ist der Workshop abgeschlossen. Die beiden letzten Termine (4.6. und 18.6.) lagen so nah bei einander, dass ich unter den Vorbereitungen keine Zeit hatte die Dateien zu veröffentlichen. Daher fasse ich die Veröffentlichungen gleich in einem Artikel zusammen.

Der erste Workshop befasste sich mit Grafiken, Tabellen und Referenzen. Im Zweiten ging es dann um Präsentation. Im Anschluss wurden noch ein paar zusätzliche Formatierungsmöglichkeiten und technische Details gezeigt.

Dateien

Grafiken.tex   <– TeX-File für Grafiken
Grafiken.pdf   <– Kompiliertes PDF
Tabellen.tex   <– TeX-File für Tabellen
Tabellen.pdf   <– Kompiliertes PDF
Referenzen.tex   <– TeX-File für Referenzen
Referenzen.pdf   <– Kompiliertes PDF

Presentation.tex   <– TeX-File für Präsentation
Presentation.pdf   <– Kompiliertes PDF
Sonstiges.tex   <– TeX-File zu sonstigen Themen
Sonstiges.pdf   <– Kompiliertes PDF

Einheit01.bib   <– Das zugehörige Bib-File (Zitiermaterial) (update)
include.tex   <– Header-File mit allen notwendigen Layout-Informationen und eingebundenen Paketen (update)
cc-by-sa.png   <– CC-Grafik

Für Presentation.tex

Taach.png  <– Ja, ich habe das Logo des Blogs als Beispiel verwendet
Taach.jpeg  <– Selbes Bild, anderes Dateiformat

Für Sonstiges.tex

Farbennamen.png  <– Ein Haufen vordefinierter Farben
geraetetreiber1.png  <– Verschiedene Gerätetreiber
geraetetreiber2.png  <– Verschiedene Gerätetreiber
geraetetreiber3.png  <– Verschiedene Gerätetreiber

Anmerkung:  Das Original aus dem Workshop hat auf der Titelfolie noch eine zusätzliche Grafik: das Logo des Mentoring-Programms der Uni Wien. Da ich dieses nicht unter eine CC-Lizenz  stellen kann habe ich es kurzerhand herausgenommen. Außerdem habe ich den Header noch nicht aufgeräumt. Hier ist ein Haufen an neuen Kommandos, welche keine logische Struktur haben. All das in Version 2.0 🙂

Wie auch im PDF geschrieben: alle diese Dateien stehen unter einer CC-BY-SA 3.0, mit einer Ausnahme: die cc-by-sa.png-Grafik, an welcher alleine Creative Commons die Rechte hält.

=-=-=-=-=
Powered by Blogilo

ein kleines LaTeX-HowTo – Alles für „Theoretische Informatik“ – und ein Exkurs

Nach langer Zeit wollte ich mal wieder ein LaTeX-HowTo schreiben in welchem ich meine eigenen Erfahrungen mit LaTeX niederschreibe. Ursprünglich sollte das Thema, passend zu meinem Artikel Zitate und Literaturverzeichnis mit BibTex zu tun haben. Da das Thema aber recht umfangreich ist wollte ich hierfür auch eine Menge an Anschauungsmaterial liefern um die Unterschiede unter verschiedenen Styles hervorzuheben. Dieser Artikel muss leider noch warten. Stattdessen möchte ich hier kleine Hilfestellungen die mir meine Hausaufgaben in der Lehrveranstaltung „Theoretische Informatik“ verschönt haben zeigen.

Kleiner Exkurs: Bei der Theoretischen Informatik handelt es sich um das Wissen wie grundlegende Mechanismen funktionieren. Dazu gehört z.B. die Automatentheorie. Kurz gesagt: nach dieser LV hat man den Großteil des theoretischen Hintergrundes intus mit welchem man einen Compiler bauen könnte. Das heißt aber natürlich nicht, dass man sich danach gleich daran setzt eine neue Programmiersprache zu schreiben.

Wie du siehst verknüpfe ich die von mir verwendeten Befehle und Hilfsmittel mit einem einfachen konkreten Beispiel welches direkt aus der Lehrveranstaltung kommt. Wenn dich die Theorie nicht interessiert kannst du auch einfach nur den Code und den gerenderten Text analysieren. Da dieser Artikel zum Teil auch für mich als Übung und als Erinnerung herhalten soll gehe ich auch auf die theoretische Vorgangsweise näher ein.

Der LaTeX-Code ist als Bilder eingefügt weil Blogilo permanent die Backslash frisst. Mit diesen Backslash beginnt in LaTeX jedoch jeder Befehl und eine Reihe von Maskierungen.

Praktische Befehle

Die Kapitel sind nach dem Anwendungsgebiet benannt.

Formale Beschreibung

Ein Beispiel beginnt mit der formalen Beschreibung einer gegeben Sprache. Die Sprache ist dann z.B. als regulärer Ausdruck gegeben:

Beschreiben Sie die durch den regulären Ausdruck (y^∗ | x^∗)⁺ definierte formale Sprache mittels Mengenschreibweise.

Erklärung der Angabe: Diese Angabe besagt, dass entweder y oder x beliebig oft (0 bis unendlich) vorkommen dürfen (dafür steht der jeweilige Stern). Durch das Plus am Ende wird angegeben, dass der ganze Ausdruck in der Klammer mindestens einmal aber ansonsten beliebig oft (eben 1 bis unendlich) vorkommen soll. Dadurch kann jede beliebige Zeichenkette erzeugt werden welche aus den Zeichen x und y besteht, in beliebiger Reihenfolge und beliebig lange. Obwohl das Plus darauf besteht, dass der Ausdruck mindestens einmal vorkommen muss kann das Ergebnis auch leer sein, da x und y ja auch 0-mal vorkommen können.

Für die Mengenschreibweise empfiehlt sich dann der Mathe-Modus von LaTeX, welcher mit dem $-Zeichen beginnt und endet. Die Lösung als LaTeX-Code und als gerenderter Text:

Hierbei stehen folgende Zeichen für das jeweilige Ergebnis:

•  steht für eine geöffnete geschwungene Klammer die auch angezeigt werden soll. Der Backslash ist in diesem Fall wichtig, weil er die Klammer maskiert. Ohne ihm sind wir beim nächsten Punkt:
•  das ^ (caret) ist das Signal an LaTeX das nachfolgende Zeichen hochzustellen. Mit den Klammern wird eine ganze Zeichenkette eingeschlossen auf die dieser Befehl angewandt werden soll. Diese wird dann, wie im Beispiel oben, als Hochzahl dargestellt. Es können natürlich auch mehr als ein Zeichen sein. Weder das caret noch die Klammern werden im Ergebnis sichtbar sein. Sie dienen nur als Formatierungs-Befehle.
•  wird zur sogenannten Pipe. Das ist der senkrechte Strich in der Mitte der Definition. Hinter diesem Befehl muss ein Leerzeichen folgen, da der Befehl sonst nicht erkannt wird. Dieses Leerzeichen wird nicht ausgegeben.
•  steht für „greater or equal“ und produziert das größergleich-Zeichen. Das Gegenstück heißt „lesser or equal“: leq.

Grammatik

Nachdem wir diese Definition geschafft haben ist der nächste Schritt eine reguläre Grammatik zu erzeugen mit der wir alle Wörter aus dem regulären Ausdruck erzeugen können:

Konstruieren Sie die entsprechende reguläre Grammatik, die die Sprache aus Beispiel 1 erzeugt, und spezifizieren Sie einen Automaten, der sie akzeptiert.

Unsere Grammatik sieht so aus:

Da in diesem Code nichts Neues vorkommt nehmen wir ihn einfach als gegeben hin. Das erste S ist die Liste aller Symbole die wir für die Ersetzungsvorgänge benötigen (in diesem Fall eben nur das S). x und y sind die Symbole welche wir zum eigentlichen Schreiben eines Wortes zur Verfügung haben. P ist die Menge aller Regeln. Hierfür werden wir eine eigene Zeile benötigen. Das letzte S ist im Grunde genommen dasselbe S wie das S am Anfang, nur wird es hier als Startsymbol verwendet. Dabei handelt es sich um eine Konvention. Irgendwo müssen wir ja anfangen.

Regelwerk

Kommen wir zur Menge der Regeln. Hier gibt es wieder eine interessante Neuerung:

Der Befehl overset ist hier der wichtigste von allen. Lange habe ich nach einer Möglichkeit gesucht ein beliebiges Zeichen über ein anderes stellen zu können. Dieser Befehl bewirkt genau das. Er übernimmt zwei Parameter und stellt das Ergebnis des Ersten über den Zweiten. In diesem Beispiel besteht P aus 3 Regeln. Die Syntax einer Regel besteht aus:

Ausgangssymbol -> Ergebnis

wobei jeder Pfeil eine fortlaufende Nummer hat. Ich hätte natürlich auch schreiben können: ->1 . Aber ehrlich: Das wäre das Ergebnis mit MS Word. LaTeX kann es besser. Der Befehl rightarrow zeichnet dann den einfachen Pfeil nach rechts. Das kleine e-ähnliche Zeichen ist das kleine griechische Epsilon und wird als „Leerwort“ verwendet. Sprich: damit verschwindet die Variable und ich bin fertig. Der Befehl für das kleine Epsilon: epsilon und für das große Epsilon: Epsilon. Das funktioniert auf diese Art und Weise mit allen griechischen Zeichen.

Der Automat

Nun ist in der Angabe noch ein Automat gefordert, welcher alle Wörter annehmen kann, welche von der Grammatik, die wir gerade erstellt haben, erzeugt werden können. Die Definition des Automaten:

beinhält nur zwei Punkte die noch nicht angesprochen wurden. Analog zum caret (^) stellt der Unterstrich im Mathe-Modus das nachfolgende Zeichen herab. Ist danach eine Zeichenkette in geschwungenen Klammern angegeben wird die ganze Zeichenkette herabgestellt. Der Befehl delta wiederum ist analog zum Befehl epsilon und erzeugt ein kleines griechisches delta-Zeichen.

Der erste Punkt in der Definition ist die Menge der möglichen Zustände des Automaten. In diesem Fall ist das nur q0. Danach kommen die möglichen Zeichen die der Automat akzeptieren muss (hier: x und y). Danach kommt der Name der Tabelle in welcher die Verbindungen des Automaten definiert werden. Diese wird mit dem delta beschriftet. Danach kommt der Startzustand (wie das S bei den Grammatik-Regeln). Dabei handelt es sich wieder um q0. Zum Schluss geben wir die Menge an möglichen Endzuständen des Automaten an. Diese Ehre kommt wieder q0 als einzigem Zustand des Automaten zu.

Die Tabelle

Nun wollen wir die Tabelle des Automaten erzeugen:

Da es sich um eine tabellarische Auflistung handelt liegt es nahe eine einfache Tabelle zu erzeugen. Dazu müssen wir mit begin eine neue Umgebung eröffnen. Diese Umgebung soll vom Typ tabular sein. Nicht vergessen die Umgebung mit end wieder zu schließen. Als Argument geben wir der Tabelle noch Folgendes mit: l|cc. Die lesbaren Zeichen stehen für die Ausrichtung des Textes in der jeweiligen Spalte. Die erste Spalte soll also linksbündig sein, die beiden anderen centriert. Mit der Pipe zwischen der ersten und zweiten Spalte gebe ich an, das LaTeX einen senkrechten Strich zwischen diesen beiden Spalten ziehen soll.

Die Tabelle beginnt dann mit einfachem Text. In diesem Fall ist es das Zeichen delta, welches nur im Mathe-Modus dargestellt werden kann. Die einzelnen Spalten werden durch das Kaufmännische Und (&) getrennt. Nach der letzten Spalte muss ein Zeilenumbruch erfolgen. Diesen erzwingt man mit den beiden Backslash am Ende der Zeile. Die Zeichen x und y müssen nicht unbedingt im Mathe-Modus geschrieben werden. Ich habe es dennoch gemacht um das Schriftbild zu vereinheitlichen. Der Befehl hline erzeugt mir den waagrechten Strich den ich benutze um die Kopfzeile vom Körper der Tabelle zu trennen. Dieser Befehl sollte für sich in einer Zeile stehen und braucht nicht mit einem Zeilenumbruch bedacht zu werden. Das macht er selbst. Auch die letzte Zeile in der Tabelle muss nicht mit einem Zeilenumbruch beendet werden. Das passiert beim beenden der Tabelle mit end.

Zur Erklärung der Tabelle: Das delta ist der Bezeichner (Name) der Tabelle. Daneben stehen die Zeichen die der Automat verarbeitet in relativ beliebiger Reihenfolge. In der linken Spalte sind alle Zustände aufgelistet. Dem Automaten werden nun die einzelnen Zeichen des Eingabewortes gefüttert. Je nachdem in welchem Zustand man sich gerade befindet muss man nur in die Spalte mit dem jeweiligen Zeichen sehen um zu erkennen in welchen Zustand der Automat nun wechselt. Ist das Wort zu Ende und der Automat ist in einem akzeptierten Endzustand stehengeblieben (die Menge welche wir bei der Definition angegeben haben) gilt das Wort als akzeptiert. Wenn nicht, dann nicht.

Dieser Automat funktioniert wie folgt: Wir starten im Zustand q₀ und bekommen einer der beiden Zeichen x oder y. In beiden Fällen wechseln wir vom Zustand q₀ in den Zustand q₀. Das bedeutet, wir akzeptieren in jedem Durchgang jedes Zeichen. Da q₀ auch gleichzeitig ein Endzustand ist können wir ohne Probleme jedes beliebig lange Wort akzeptieren, da wir immer in q₀ zu stehen kommen werden.

Soweit zu den Techniken die ich bisher in der LV Theoretische Informatik verwendet habe. Ein großes Kapitel habe ich noch nicht angeschnitten: LaTeXDraw. Dieses werde ich in Kürze in einem eigenen Artikel behandeln. Auch dieser Artikel wird ein konkretes Beispiel aus der LV behandeln und Schritt für Schritt vorgehen.

Ich hoffe du konntest etwas nützliches über LaTeX lernen.

=-=-=-=-=
Powered by Blogilo

ein kleines HowTo für LaTeX-Anfänger – Zitate und Literaturverzeichnis

Nicht jeder verwendet LaTeX so wie ich auch für niedere Dienste wie Einkaufszettel. Der natürliche Lebensraum eines gesunden LaTeX-Dokumentes welches in der Blüte seiner Jahre nach kurzer Verpuppung aus dem TeX-Container als wunderschöne PDF-Datei hervorbricht ist die wissenschaftliche Arbeit. Und sofern die Arbeit nicht ausschließlich von Erkenntnissen handelt die der/die Schreiber in Experimenten erhalten haben muss korrekt zitiert und verwiesen werden. Manche Style-Dokumente beinhalten bereits eine Gruppe von vorgefertigten Befehlen mit denen solche Angaben ziemlich automatisch in einem bestimmten Stil erstellt werden können. Da es davon jedoch sehr viele gibt und diese im allgemeinen recht gut dokumentiert sind werde ich mich hier nur um die manuelle Erstellung von Literaturverzeichnissen kümmern.

Grundsätzlich sollte man so vorgehen:

1. Das Werk aus dem man zitieren möchte in das Literaturverzeichnis schreiben.
2. Mit dem Schlüssel aus dem Literaturverzeichnisses die Zitierung im Text einfügen.

Erstellung des Literaturverzeichnisses

Die Quellenangabe kommt im LaTeX-Dokument ganz zum Schluss. Direkt vor das

\end{document}

und sieht so aus:

\begin{thebibliography}{999}
\bibitem {Zitat01} Zitate leicht gemacht
\bibitem [Wiki10] {UndNochEinZitat} \url{www.wikipedia.org}, Zugriff 22.03.2010
\end{thebibliography}

Wieder erkennt man die typische LaTeX-Umgebung welche mit dem Befehl \begin beginnt und mit dem Befehl \end endet. Um eine Quellenangaben-Umgebung zu schaffen wird thebibliography verwendet. Der zweite Wert „999“ bezieht sich auf die maximale Breite der Label. Seit jeher verwende ich 999 um keine Probleme zu erhalten, man kann den Wert aber natürlich anpassen wie man ihn braucht.

Der erste gezeigte Eintrag stellt das Minimum dar mit dem man ein Literaturverzeichnis erstellen kann. Der Befehl \bibitem erzeugt einen neuen Eintrag im Literaturverzeichnis. In den geschwungenen Klammern steht der Schlüssel mit dem man später das Zitat im Text identifiziert. Dieser Schlüssel kann irgendetwas sein da er im fertigen Dokument nicht angezeigt wird. Diese Variante wird automatisch durchnummeriert.

Um einen bestimmten Text statt einer Nummer zu erhalten muss man in eckigen Klammern wie im zweiten Eintrag gezeigt ein Label eintragen. Damit wird dieses Label bei der Zitierung angegeben.

Für den Befehl \url{} benötigt man noch das Paket „url“ oder das Paket „hyperref„. (Letzters macht die URL klickbar.)

So sieht der obige Code als PDF aus:

Der Titel des Literaturverzeichnisses wird je nach der angegebenen Sprache beim Einbinden des Paketes babel übersetzt.

Zitieren

Nun haben wir unser Literaturverzeichnis erstellt und können munter beginnen zu zitieren. Zum Zitieren braucht man keine bestimmte Umgebung sondern kann das Zitat direkt in den Text schreiben. Das funktioniert so:

So zitiert man in \LaTeX{} \cite{Zitat01}\\
Und nochmal \cite{UndNochEinZitat}

Der Befehl \cite fügt die Zitierung ein. Abhängig davon ob im Literaturverzeichnis ein Label angegeben wurde wird dieses oder die fortlaufende Nummer eingefügt. Im ersten Satz habe ich die erste Quelle aus dem Literaturverzeichnis verwendet, im zweiten Satz die Zweite. Das Ganze sieht als PDF so aus:

Ich merke noch einmal an: Der Schlüssel (z.B. Zitat01 oder UndNochEinZitat) wird nur innerhalb des Dokumentes verwendet. Bei einer Zitierung eines des Eintrages im Literaturverzeichnisses wird entweder die dem Eintrag automatisch zugewiesene Laufnummer angezeigt oder der Text eines Labels (z.B. Wiki10) falls man dieses angegeben hat. Um Verwirrungen zu vermeiden sollten diese beiden Systeme jedoch nicht gemischt werden. Professionelle Literaturangaben sehen natürlich anders aus und beinhalten wesentlich mehr Informationen zum zitierten Werk. Je nach euren Vorgaben müsst ihr dies anpassen.

This work by Stefan Ohri is licensed under a Creative Commons Attribution-ShareAlike 3.0 Austria License

=-=-=-=-=
Powered by Blogilo