FormaleSysteme
FormaleSysteme copied to clipboard
knowsys
Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
In VL 20 wird eine zuvor betrachtete TM als LBA interpretiert (lecture-20.tex, ab Zeile 376). Insbesondere gibt es einen Schritt „Akzeptiere, falls der Inhalt des Bandes die Form `\hat{a}^*\hat{b}^*\hat{c}^*` hat“....
Das Lemma fällt quasi „vom Himmel“ – ich schlage folgende Herleitung bzw. Illustration einer möglichen gedanklichen Herkunft vor: `\begin{frame}\frametitle{Gleichungssysteme Lösen (2)} \emph{Problem:} Rekursive Gleichungen lassen sich durch Einsetzen nicht vereinfachen...
lecture-01.tex, Zeile 200: Folgender [Link](https://www.researchgate.net/profile/Christel-Baier/publication/267409804_Formale_Systeme_WS_20112012_Skript_zur_Vorlesung/links/54e24b020cf2966637965e77/Formale-Systeme-WS-2011-2012-Skript-zur-Vorlesung.pdf) kann verwendet werden: `{\tiny Siehe \url{https://www.researchgate.net/profile/Christel-Baier/publication/267409804_Formale_Systeme_WS_20112012_Skript_zur_Vorlesung/links/54e24b020cf2966637965e77/Formale-Systeme-WS-2011-2012-Skript-zur-Vorlesung.pdf}}`
Im Video „Abschlusseigenschaften kontextfreier Sprachen“ sagen Sie auf Folie 9 (13:40), dass aS2->c Regel einer kontextsensitive Grammatik ist, aber |aS2| > |c| .
Das `build.sh` referenziert `pdfnup`, was als Standalone-Paket zumindestens auf einem aktuellen Arch-Linux nicht mehr existiert. Vermutlich ist es einfach dur `pdfjam` zu ersetzen, da dies in `texlive-core` mitgeliefert wird, und...
Der Link in Vorlesung 1 auf Folie 12 zum Skript FS WS 11/12 gibt nur Error 404 zurück.
Insbesondere im Teil zu regulären Sprachen sind einige Dinge bereits aus dem Kurs Algorithmen und Datenstrukturen bekannt. Dazu zählt insbesondere die Umwandlung von endlichen Automaten in reguläre Ausdrücke durch dynamische...
Der Teil zu Äquivalenzen und Normalformen ist nicht sehr unterhaltsam und wiederholt gleichzeitig viele Dinge, die den Studierenden bereits aus anderen Kursen bekannt sind. Eventuell sollte man einiges in der...
On page 18 and 19 there is the term $\sigma_1...\sigma_n$. n is supposed to be any natural number including 0. My problem with this is that if n would be...
