Motsvarande RE = ( a+b )* abb

Slides:



Advertisements
Liknande presentationer
Restricted © Siemens AG 2013 All rights reserved.siemens.com/answers Blir Energiewende likt Apollo- projektet en katalysator för ny teknik? Hans Carlsson,
Advertisements

1.Numerical differentiation and quadrature Discrete differentiation and integration Ordinary.
Ing-form På engelska använder man -ing-form:
1 CD5560 FABER Formal Languages, Automata and Models of Computation Exercise 2 Mälardalen University 2007.
Mathematics 1 /Matematik 1 Lesson 2 – Functions and their solutions Lektion2 – Funktioner och deras lösningar.
Mobila tjänster för kroppslig och känslomässig reflektion 1 Tove Jaensson.
Programspråk Två olika typer av program omvandlar högnivå till lågnivå program: Interpreterande program och kompilerande program. Python är ett interpreterande.
Up Up and Away! Advances automatically or by clicking Music will recycle to the end of slide show Skicka länkar till.
® BrucElvis Gå vidare genom att klicka på musen !
Algoritmer. Ordet kommer från en persisk författare som kom från al’Khowârizmi (engelskans algorithm). Han skrev boken ’Kitab al jabr w’al-muqabala’.
I’m lost I’m lost now asks for help excuse me Don’t worry!
Styrteknik: Grundläggande logiska funktioner D2:1
Exempelbaserade specifikationer med SpecFlow
Pilotstyrt eller förarlöst flygplan – Vad väljer du?
Sidnummer Vad händer och vart är vi på väg? Biblioteksstämman 2010 Gunnar Sahlin Foto: Jimmie Mac.
Moria: Tidig feminism.
A+ba+b q0q0 q1q1 q4q4 q2q2 q3q3  abb Motsvarande RE = ( a+b )* abb.
1 CD5560 FABER Formal Languages, Automata and Models of Computation Lecture 0 - Intro Mälardalen University 2005.
1 CD5560 FABER Formal Languages, Automata and Models of Computation Lecture 6 Mälardalen University 2006.
System arbetssystem informationssystem
Hur lär man sig att arbeta? Donald Schön The Reflective Practitioner – how professionals think in action.
Svenska Judoförbundet Stockholms Judoförbund - Klubbmöte 13/11-12 Utbildning.
Föreläsning 14 Logik med tillämpningar Innehåll u Cuts och negation u Input/output u Extralogiska predikat u Interaktiva program, failure-drivna.
 Who frågar efter en persons (eller personers) identitet (vem dem är).  Who is he?  Who are they?  Who is coming?
To practise speaking English for 3-4 minutes Genom undervisningen i ämnet engelska ska eleverna ges förutsättningar att utveckla sin förmåga att: formulera.
Informationssystem och databasteknik, 2I-1100
Shannon dekomposition
CHI-TSONG CHEN KAPITEL 2- Systems Kortfattade läsanvisningar Läs hela kapitlet utom 2.9 och 2.10.
Sång, Do re mi Love is all around, Ackord D Em G A Gitarr öva i grupper Instrument, instrumentgrupper lyssna Instrumentbingo Välkomna till musiken.
Origin and primitive purpose. Use nowadays. Qualities.
Genitiv och “ Of” konstruktion Genitiv talar om vem som äger eller har något. I svenska används en särskild genitivform som slutar på - s för att markera.
Advice from Bronx Best Real Estate Attorney. Jagiani Law office of New York has been successfully working as divorce attorney & Real estate attorney for.
Why you should consider hiring a real estate attorney!
Law abiding grounds of filing a divorce Jagianilaw.com.
Människosyn Etisk plattform
Annika Winsth April 2017.
Lektion 4.
Mathematics 1 /Matematik 1
Left hand side is the P (Plan) Right hand side is DSA (Do Study Act)
Bringapillow.com. Online Dating- A great way to find your love! The words ‘Love’ and ‘Relationship’ are close to every heart. Indeed, they are beautiful!
Work of a Family law attorney Jagianilaw.com. A Family Law Attorney basically covers a wide range spectrum of issues that a family may face with difficulty.
The Online Way to Engagement and Wedding Jewelry! Pearlleady.com.
Malmö Innovationsarena
Meeting singles had never been so easy before. The growing dating sites for singles have given a totally new approach to getting into relationships. ‘Singles.
Left hand side is the P (Plan) Right hand side is DSA (Do Study Act)
Strategic Sustainable Development
A new project + A new friend
Formal Languages, Automata and Models of Computation
My role model.
How to Buy Engagement Rings for Women Online?. Buying engagement rings for women or tiffany celebration rings from the online market could be a bit challenging.
Florida The Sunshine State. The history of Florida.
Rörelse utomhus i naturmiljö
You Must Take Marriage Advice to Stop Divorce! Dontgetdivorced.com.
Feeder bus line – batteryoperated with induction charging
DM-Q-48 Template eQuality - Defect found at parts from supplier
Y 4.4 Multiplikation av parenteser
4, 8, 12… är ett exempel på en talföljd.
Det pågår om- och utbyggnad för en ny skrivsal
Ny styrelse HGF Årsmöte 2018
Left hand side is the P (Plan) Right hand side is DSA (Do Study Act)
Changes version bakisakuten.se.
Publish your presentations online we present SLIDEPLAYER.SI.
Publish your presentations online we present SLIDEPLAYER.RS.
Publish your presentations online we present SLIDEPLAYER.IN.
Publish your presentations online we present SLIDEPLAYER.VN.
Publish your presentations online we present SLIDEPLAYER.RO.
Rubrik med bildlayout underrubrik
Team Captain´s meeting for INTEGRA Sprint Race & Sting Hill Race
Presentationens avskrift:

Motsvarande RE = ( a+b )* abb q0 q1 q4 q2 q3  a b Motsvarande RE = ( a+b )* abb

DFA för ( a + b )* abb s0 a s1 b s3 s4 s2

Minimering av DFA sluttillstånd s0 a s1 b s3 s4 s2 s0 , s2

DFA Minimization a ( b + c )*  q0 q1 a q4 q5 b q6 q7 c q3 q8 q2 q9 The subset construction b s2 b a s0 s1 b c c Final states s3 c

Then, apply the minimization algorithm to produce the minimal DFA s3 s2 s0 s1 c b a final states s0 s1 a b + c

A B C D E

q

b b a b a q0 q1 q2 a

b b a b a q0 q1 q2 a

1 2 3 4 5 6

Ratio(x,2)

Greater?

Sipser 2.10 p. 105

1 2 4 3 5

A B C D E

A B C D E

q

b b a b a q0 q1 q2 a

b b a b a q0 q1 q2 a

1 2 3 4 5 6

Ratio(x,2)

Greater?

A B C D E

q

b b a b a q0 q1 q2 a

b b a b a q0 q1 q2 a

1 2 3 4 5 6

Ratio(x,2)

Greater?

Sipser 2.10 p. 105

Q = {q0, q1, q2, q3, q4}  = {a, b, x, #} B = #  = {a, b} Input: baabab###….. a,R b,R a,R Q = {q0, q1, q2, q3, q4}  = {a, b, x, #} B = #  = {a, b} q0 is the start state F = {q4} b/x,R q0 q1 #,R q4 #,R x/#,R q3 q2 #/b,R a,L b,L #,L a,R b,R Accepted?

Turingmaskin 1 – vad gör den? Input: Turingmaskin 1 – vad gör den? baabab###….. a,R b,R a,R Q = {q0, q1, q2, q3, q4}  = {a, b, x, #} B = #  = {a, b} q0 is the start state F = {q4} b/x,R q0 q1 #,R q4 #,R x/#,R q3 q2 #/b,R a,L b,L #,L Accepteras? a,R b,R

Turingmaskin 1 Initialt har den tapepekaren på första tecknet i inputsträngen. Strängen baabab är input och den strängen accepteras. Vid acceptans har tapen utseendet #aa#a##bbb och tapepekaren pekar på första b:et efter ##. Det maskinen gör är ersätta alla b:n med #:n i orginalsträngen och ge alla b:n som output sist. (Jag tror att q2->q2 genom a,R skulle kunna tas bort samt att q2->q2 #,b/R skulle kunna ersättas med q2->q2 #,b/L. Men jag är inte 100% säker och maskinen fungerar ju fint som den är. )

Turingmaskin 2 – vad gör den? Input: Turingmaskin 2 – vad gör den? aabbcc###….. x,R #,R q0 q1 q2 q3 a/x,R b/y,R c/z,L y,R a,R y,R b,R z,R Q = {q0,...,q6}  = {a,b,c,x,y,z,#} B = #  = {a,b,c} start state = q0 F = {q6} a,L b,L c,L x,L y,L z,L y,R z,R q4 #,R #,R c,R z,R q6 #,R b,R c,R b,R c,R q5 #,R a,R Accepteras?

Turingmaskin – vad gör den? q0 q1 q2 q3 q4 q5 q6 #,R a,R c,R z,R y,R a/x,R b/y,R b,R c/z,L a,L b,L c,L x,L y,L z,L x,R Q = {q0,...,q6}  = {a,b,c,x,y,z,#} B = #  = {a,b,c} start state = q0 F = {q6} aabbcc###….. Accepteras? Turingmaskin – vad gör den? Input:

Turingmaskin 2 Initialt har maskinen tapepekaren på första tecknet i inputsträngen. Strängen aabbcc är input. Den accepteras och då har tapen utseendet xxyyzz## och tapepekaren pekar på andra #:et på högersidan. Den har matchat uttrycket anbncn där n1.

Turingmaskin 3 – vad gör den? Q = {q0,...,q9}  = {a,1,#} B = #  = {1} start state = q0 F = {q9} Turingmaskin 3 – vad gör den? q0 q1 q2 q3 1/a,R #,R 1,R q4 #/1,L 1,L #,L q5 a/1,R q6 q7 1x#1y## q8 q9 Input: Output?

Turingmaskin 3 Initialt har maskinen tapepekaren på första tecknet i inputsträngen. Turingmaskinen tar in två tal på unär form x och y. Den beräknar funktionen F(x,y) = xy och skriver sin output sist så att tapen efter körd funktion har utseendet 1x#1y#o där 1x#1y är orginalinput och o output. Vid färdig körning pekar tapepekaren på första 1:an i outputen.

Aug tenta-2003-030820

Re-ordering TM Given a string consisting of a's and b's, this machine will rearrange the string so that all the a's come before all the b's.

Sorting TM Turing Machine Pseudocode for Sort Find the left end of the input Repeat: Find leftmost b, Look for an a to the right of b, replace it with b Until all a preceed all b