KIT-Bibliothek

04: Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20, 29.10.2019

Author

Dorothea Wagner, Jonas Sauer, Guido Brückner, Torsten Ueckerdt

Editor

Zentrum für Mediales Lernen (ZML)

Participating institute

Institut für Theoretische Informatik (ITI)

Genre

Vorlesung

Description

  • 0:00:00 Start
  • 0:00:41 Satz (Pumping-Lemma für reguläre Sprachen)
  • 0:03:23 Satz (Verallgemeinertes Pumping-Lemma)
  • 0:13:22 Beispiel (3) - Anwendung Verallgemeinertes PL
  • 0:21:54 Finden nicht überflüssiger Zustände
  • 0:29:44 Der Äquivalenzklassenautomat
  • 0:49:04 Beispiel zur Vorgehensweise
  • 0:57:27 Zusammenfassung
  • 1:01:50 Testen Sie sich

Duration (hh:mm:ss)

01:05:23

Series

Theoretische Grundlagen der Informatik, Vorlesung, WS 2019/20

Published on

29.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 933884 bps
Color Space yuv420p
Container mov,mp4,m4a,3gp,3g2,mj2
Media Type video/mp4
Duration 3923 s
Filename DIVA-2019-803_hd.mp4
File Size 457.913.746 byte
Frame Rate 25
Video Bitrate 799790 bps
Video Codec h264

Media URL

Embed Code

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