knowsys FormaleSysteme issues

knowsys / FormaleSysteme

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

https://iccl.inf.tu-dresden.de/web/Formale_Systeme

44 stars 14 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

VL2 Formulierung falsch?

#52 kusnezoff-alexander closed 9 months ago
1
Fixed Typo

#51 PhilippRiegelmann closed 10 months ago
0
FIX typo lecture 17

#50 DragonCat4012 closed 11 months ago
0
TM als LBA interpretieren

#49 hstrass opened 2 years ago
0
Herleitung/Illustration des Lemmas von Arden

#48 hstrass opened 2 years ago
0
Skript zur VL von Christel Baier

#47 hstrass opened 2 years ago
0
fixed typos

#46 anbereza closed 3 years ago
3
replaced pdfnup with the pdfjam script

#45 bratorange closed 3 years ago
0
Fehler in Beispiel zu Nerode Rechtskongruenz

#44 FlorianPix closed 3 years ago
4
Kontextsensitive Grammatik?

#43 vivienne-amm opened 3 years ago
1
`pdfnup` existiert nicht

#42 lukasjuhrich opened 3 years ago
1
Anmerkung zur Operatorrangfolge auf Sprachen ggf. missverständlich

#41 monsterkrampe closed 4 years ago
1
[Fix] Typo in lecture 19

#40 CniKKoR closed 6 years ago
1
Frage zu Äquivalenzklassen

#39 tidenhub closed 6 years ago
6
Vorlesung 6: Unnötiger Zustand im NFA?

#38 JuKu closed 6 years ago
3
Fixed typos.

#37 marcusrossel closed 6 years ago
0
Error 404 bei Link zu Skript FS WS 11/12

#36 tidenhub opened 6 years ago
0
Fixed typo.

#35 marcusrossel closed 6 years ago
0
Grammatiken "erzeugen", statt "akzeptieren".

#34 marcusrossel closed 6 years ago
0
[Fix] Typo in lecture 25

#33 CniKKoR closed 6 years ago
0
fix: improve build.sh portability

#32 bennofs closed 6 years ago
0
Bessere Anpassung an Vorwissen aus A&D

#31 mkroetzsch opened 6 years ago
2
Vorlesung 22 ist ziemlich langweilig

#30 mkroetzsch opened 6 years ago
0
Frage zu regulären Ausdrücken

#29 PhilippMatthes closed 6 years ago
2
Typo lecture 19

#28 tidenhub closed 6 years ago
0
Fixes typo in lecture 17

#27 CniKKoR closed 6 years ago
0
Typo lecture 13

#26 tidenhub closed 6 years ago
0
Fix typo in 'Leerheitstest'

#25 jhaye closed 7 years ago
0
Fix pun

#24 jhaye closed 7 years ago
0
Fix having 'aber' in the same sentence twice

#23 jhaye closed 7 years ago
0
Typo lecture 10 ","

#22 tidenhub closed 7 years ago
0
Fix missing word 'hat'

#21 jhaye closed 7 years ago
0
Fixes formatting for Language

#20 jhaye closed 7 years ago
0
Corrects year in lecture 9

#19 jhaye closed 7 years ago
0
Typo lecture 9 "jedem"

#18 tidenhub closed 7 years ago
0
Typo lecture 9

#17 tidenhub closed 7 years ago
0
Typo lecture 8 "ba"

#16 tidenhub closed 7 years ago
0
Typo lecture 8 double "dann"

#15 tidenhub closed 7 years ago
0
Typo lecture 8

#14 tidenhub closed 7 years ago
0
Fix typo in lecture 7

#13 MaxHaertwig closed 7 years ago
0
Typo lecture 5

#12 tidenhub closed 7 years ago
0
Issue #10 Flasche Sprache in Vorlesung 4 Folie 20

#11 tidenhub closed 7 years ago
0
Flasche Sprache in Vorlesung 4 Folie 20

#10 bennet0496 closed 7 years ago
2
Sigma is defined to start at index 1

#9 jhaye closed 7 years ago
0
Fixes two typos on slide 30

#8 jhaye closed 7 years ago
0
Frage zur Vorlesung vom 9. Oktober 2017

#7 PhilippMatthes closed 7 years ago
1
Corrects umlaut typo on slide 9

#6 jhaye closed 7 years ago
0
Vorlesung 1: Falsche Indices bei *fix Definitionen

#5 mkroetzsch closed 7 years ago
1
Schreibfehler

#4 eknoes closed 7 years ago
3
Fix typos in README.md

#3 mmarx closed 7 years ago
1