Der Quotientenautomat

Поділитися
Вставка
  • Опубліковано 19 лис 2020
  • Um Automaten zu minimieren verschmelzen wir Zustände und erhalten so den Quotientenauotmat. Hier wird gezeigt, wie genau das funktioniert und welchen einfachen Algorithmus wir verwenden können, um das für beliebige Automaten zu erreichen.
    ► Vorlesungsfolien zum Download: iccl.inf.tu-dresden.de/web/FS... (8. Vorlesung)
    ► Aktuelle und frühere Versionen der Vorlesung: iccl.inf.tu-dresden.de/web/Fo...
    ► Fehler gefunden? Issues melden auf github: github.com/knowsys/FormaleSys...

КОМЕНТАРІ • 1

  • @Ubilyat
    @Ubilyat 5 місяців тому +5

    bitte machen sie eine einfache pruefung

Наступне
Автоматичне відтворення
Die Nerode-Rechtskongruenz (ist gar nicht so kompliziert)29:50Die Nerode-Rechtskongruenz (ist gar nicht so kompliziert)
Die Nerode-Rechtskongruenz (ist gar nicht so kompliziert)Prof. Markus
Переглядів 3 тис.
Automatentheorie: Minimierung eines DEA11:21Automatentheorie: Minimierung eines DEA
Automatentheorie: Minimierung eines DEAfrankjuchim
Переглядів 12 тис.
Prädikatenlogisches Schließen ist unentscheidbar39:51Prädikatenlogisches Schließen ist unentscheidbar
Prädikatenlogisches Schließen ist unentscheidbarProf. Markus
Переглядів 468
🦾 Український ветеран із протезом допомагає розбирати завали у Києві. Нас не зламати ❤️‍🩹🔗00:15🦾 Український ветеран із протезом допомагає розбирати завали у Києві. Нас не зламати ❤️‍🩹🔗
🦾 Український ветеран із протезом допомагає розбирати завали у Києві. Нас не зламати ❤️‍🩹🔗Телеканал Конкурент TV - новини Луцька та Волині
Переглядів 126 тис.
⚡Щойно! Негайна реакція СБУ через атаку на Охматдит у Києві. Викрили НОВІ ДЕТАЛІ - Головне за 08.0734:57⚡Щойно! Негайна реакція СБУ через атаку на Охматдит у Києві. Викрили НОВІ ДЕТАЛІ – Головне за 08.07
⚡Щойно! Негайна реакція СБУ через атаку на Охматдит у Києві. Викрили НОВІ ДЕТАЛІ - Головне за 08.0724 Канал
Переглядів 791 тис.
Арестович & Быков: Украине уже ничего не поможет?52:07Арестович & Быков: Украине уже ничего не поможет?
Арестович & Быков: Украине уже ничего не поможет?Alexey Arestovych
Переглядів 3,1 млн
Я нашел кто меня пранкует!00:51Я нашел кто меня пранкует!
Я нашел кто меня пранкует!Аришнев
Переглядів 4 млн
100+ Linux Things you Need to Know12:23100+ Linux Things you Need to Know
100+ Linux Things you Need to KnowFireship
Переглядів 663 тис.
DEA Minimierung11:17DEA Minimierung
DEA MinimierungDaniel Janssen
Переглядів 8 тис.
Warum Sportwetten kein harmloses Hobby sind - mit Nico Heymer I X Gründe I frontal13:33Warum Sportwetten kein harmloses Hobby sind – mit Nico Heymer I X Gründe I frontal
Warum Sportwetten kein harmloses Hobby sind - mit Nico Heymer I X Gründe I frontalfrontal
Переглядів 148 тис.
Was macht den Wiener Schmäh so besonders? | Nice to meet you : Österreich | ARTE31:30Was macht den Wiener Schmäh so besonders? | Nice to meet you : Österreich | ARTE
Was macht den Wiener Schmäh so besonders? | Nice to meet you : Österreich | ARTEARTEde
Переглядів 13 тис.
Minimierung deterministischer endlicher Automaten14:33Minimierung deterministischer endlicher Automaten
Minimierung deterministischer endlicher AutomatenAndreas Schaefer
Переглядів 16 тис.
Existenzquantoren entfernen mit Skolemfunktionen47:25Existenzquantoren entfernen mit Skolemfunktionen
Existenzquantoren entfernen mit SkolemfunktionenProf. Markus
Переглядів 935
Der Resolutionsalgorithmus44:50Der Resolutionsalgorithmus
Der ResolutionsalgorithmusProf. Markus
Переглядів 1,4 тис.
Größte Fehler der Softwareentwicklung den viele machen!19:29Größte Fehler der Softwareentwicklung den viele machen!
Größte Fehler der Softwareentwicklung den viele machen!David Tielke
Переглядів 125 тис.
Дурнєв + ФОРТУНА (РДК) дивляться сторіс ZОМБІ #50 (napisy PL, eng subtitles)1:08:39Дурнєв + ФОРТУНА (РДК) дивляться сторіс ZОМБІ #50 (napisy PL, eng subtitles)
Дурнєв + ФОРТУНА (РДК) дивляться сторіс ZОМБІ #50 (napisy PL, eng subtitles)Aleksey Durnev
Переглядів 1,1 млн
ПОВАР ДАНІЛ в ДЗК на ВИЖИВАННЯ1:10:29ПОВАР ДАНІЛ в ДЗК на ВИЖИВАННЯ
ПОВАР ДАНІЛ в ДЗК на ВИЖИВАННЯЛЕВИ НА ДЖИПІ
Переглядів 748 тис.
Мы…почти доехали на Волге 500км до Краснодара🔥00:40Мы…почти доехали на Волге 500км до Краснодара🔥
Мы…почти доехали на Волге 500км до Краснодара🔥IGORIAN TODAY
Переглядів 1,9 млн
🤯 МНЕ НУЖЕН ЕЩЕ 1 ПОДПИСЧИК - и НАСТЯ перестанет ломать пасту @nastyawhere00:28🤯 МНЕ НУЖЕН ЕЩЕ 1 ПОДПИСЧИК — и НАСТЯ перестанет ломать пасту @nastyawhere
🤯 МНЕ НУЖЕН ЕЩЕ 1 ПОДПИСЧИК - и НАСТЯ перестанет ломать пасту @nastyawhereSuper Italiano
Переглядів 4,1 млн
"Майже 2 роки він був у полоні". Сестра військового з Херсонщини чекала повернення брата #shorts00:59"Майже 2 роки він був у полоні". Сестра військового з Херсонщини чекала повернення брата #shorts
"Майже 2 роки він був у полоні". Сестра військового з Херсонщини чекала повернення брата #shortsСуспільне Херсон
Переглядів 165 тис.
Worlds smallest 4K headset 😎 Visor.com #tech #vr #technology #virtualreality #insideout200:15Worlds smallest 4K headset 😎 Visor.com #tech #vr #technology #virtualreality #insideout2
Worlds smallest 4K headset 😎 Visor.com #tech #vr #technology #virtualreality #insideout2Immersed
Переглядів 88 млн
🤔Какой Орган самый длинный ? #shorts00:42🤔Какой Орган самый длинный ? #shorts
🤔Какой Орган самый длинный ? #shortsKing jr
Переглядів 2,2 млн
это самое вкусное блюдо00:12это самое вкусное блюдо
это самое вкусное блюдоKatya Klon
Переглядів 3,1 млн