2to1FAIntuition - Simulating 2 FSA's with 1 FSA Why the...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
Why the algorithm works! Simulating 2 FSA’s with 1 FSA
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Purpose This presentation attempts to give the reader some intuition as to why the algorithm which takes as input two FSA’s and produces as output an FSA which “simulates” both input FSA’s on any input string works correctly . We use the example from the previous presentation to illustrate this intuition.
Background image of page 2
Why the Transformation Works a b I,A I,C II,B I,C I,B II,D II,B II,B III,B I,B I,B II,B II,D II,D III,D III,B III,B I,B III,D III,D I,D I,D I,D II,D a b a a I III II a,b a a b b a,b A B C D M 1 M 2 Constructed FSA
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Key Idea a b I,A I,C II,B I,C I,B II,D II,B II,B III,B I,B I,B II,B II,D II,D III,D III,B III,B I,B III,D III,D I,D I,D I,D II,D a b a a I III II a,b a a b b a,b A B C D M 1 M 2 Constructed FSA In all configurations, the pair of states that M 1 and M 2 are in is exactly the state that the constructed FSA is in.
Background image of page 4
Initial Configurations a b I,A I,C II,B I,C I,B II,D II,B II,B III,B I,B I,B II,B II,D II,D III,D
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 10

2to1FAIntuition - Simulating 2 FSA's with 1 FSA Why the...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online