Laste ned presentasjonen
Presentasjon lastes. Vennligst vent
PublisertOle-Kristian Pettersen Endret for 9 år siden
1
Deterministisk endelig automat (DFA) (over språk A) Består av - en ikke-tom mengde Q av tilstander - hvor nøyaktig en er utpekt som start-tilstand - og null eller flere er utpekt som slutt-tilstander - samt en transisjons-funksjon fra Q A til Q
2
Eksempel A = {a,b} Q = {q0, q1, q2, q3}, q0 er start-tilstand, q3 er slutt-tilstand, transisjons-funksjonen er gitt ved tabellen ab q0q1q2 q1q3q1 q2 q3
3
Eksempel A = {a,b} Q = {q0, q1, q2, q3}, q0 er start-tilstand, q3 er slutt-tilstand, transisjons-funksjonen er gitt ved tabellen ab q0q1q0 q1 q2 q1q3 q1q0
4
Automat aksepterer streng: En (deterministisk) endelig automat aksepterer en streng hvis vi kan komme fra start-tilstanden til en slutt-tilstand ved å følge strengen. Automat aksepterer språk: En (deterministisk) endelig automat aksepterer et språk hvis den aksepterer alle strenger i språket, og ingen strenger utenfor språket.
5
Deterministiske endelige automater vs. Regulære uttrykk (RE) Gir oss det samme! Altså: Et språk er regulært hviss det fines en deterministisk endelig automat som aksepterer det. Bevises oftest ved hjelp av ikke-deterministiske endelige automater
6
Ikke-deterministisk endelig automat (NFA) DFA NFA Er spesialtilfelle av RE Kan gjøres om til
Liknende presentasjoner
© 2024 SlidePlayer.no Inc.
All rights reserved.