MLG - Automaty

up:: MLG

Resource

• 💾
  • P:: 11, 12
  • F:: 11, 12
• 📝

  • idk.pdf

🎥

• base
  • 🎥 Disjunkce OR
  • 🎥 Faktorizace
  • 🎥 Konjunkce
• 4
  • 🎥 4+
  • 🎥 :4
  • 🎥 <4+1
  • 🎥 .=4
• 10110
  • 🎥 x obsahuje
  • 🎥 ^x$ rovno
  • 🎥 x$ končí
  • 🎥 ^x začíná
• other
  • 🎥 1+
  • 🎥 [1]==[n]
  • 🎥 [1]==[2]
• Minimalizace
  • 🎥 Nedostupné stavy

• Σ = všechny znaky

• jazyk = ???

• Regex under the hood

• Je konečný?

  • má každý element přesně jednu čárku z bodu
    • Ano = validní
      • tabulka
    • Ne = není konečný
      • zvíraznit chybějící / přebývající čáry
  • př
    • Σ={A,B}
    • ⇒ 1-(A)->?, 1-(B)->?
  • ⇐(Automat z tabulky)

• Návrh

• Dosažitelnost

  • projít automat ⇒ označit dostupné ⇒ přepsat do nové tabulky bez nedosažitelných ⇒ nakreslit

• Minimalizace

  1. Dosažitelnost
  2. Skupiny
     • ???

---

$, ^, _

[x]==[n]

+, :, <