Presentasjon lastes. Vennligst vent

Presentasjon lastes. Vennligst vent

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.

Liknende presentasjoner


Presentasjon om: "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."— Utskrift av presentasjonen:

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


Laste ned ppt "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."

Liknende presentasjoner


Annonser fra Google