KIT-Bibliothek

03: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 22.10.2019

Author

Dorothea Wagner, Jonas Sauer, Guido Brückner

Editor

Zentrum für Mediales Lernen (ZML)

Participating institute

Institut für Theoretische Informatik (ITI)

Genre

Vorlesung

Description

  • 0:00:00 Start
  • 0:00:00 Start
  • 0:00:20 Nichtdeterministische endliche Automaten
  • 0:05:09 Zwischenstand
  • 0:10:45 Entfernen von ɛ​-Übergängen
  • 0:21:09 EA -> Regularität
  • 0:41:31 Beispiel
  • 0:47:34 Satz von Kleene
  • 0:48:58 Was können endliche Automaten nicht?
  • 0:53:44 Pumping-Lemma für reguläre Sprachen
  • 1:19:05 Zusammenfassung
  • 1:20:03 Bemerkungen zu 'Testen Sie sich'-Aufgabe

Duration (hh:mm:ss)

01:23:18

Series

Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20

Published on

24.10.2019

Subject area

Computer science

License

KITopen Licence

Resolution 1280 x 720 Pixel
Aspect ratio 16:9
Audio bitrate 128000 bps
Audio channels 2
Audio Codec aac
Audio Sample Rate 48000 Hz
Total Bitrate 934110 bps
Color Space yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Media Type video/mp4
Duration 4998 s
Filename DIVA-2019-783_hd.mp4
File Size 583.628.972 byte
Frame Rate 25
Video Bitrate 800020 bps
Video Codec h264

Media URL

Embed Code

Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20 Episodes 1-18 of 18