FA19:Lecture 27 Non-determinism

From CS2800 wiki
Revision as of 16:06, 4 November 2019 by {{GENDER:Mdg39|[math]'"2}} [/math]'"7
(<math>1) </math>2 | <math>3 (</math>4) | <math>5 (</math>6)


We covered this material slightly differently this semester than we did last semester: we introduced NFA with [math]\epsilon [/math] transitions directly; in the past I have started with NFA without [math]\epsilon [/math] transitions.

It will take some time for me to update the lecture notes. In the meantime, see the FA17 notes for the definition of NFA without [math]\epsilon [/math] transitions.

An [math]\epsilon [/math] transition from one state to another allows the NFA to transition from one state to another "for free". See the lecture slides for the formal definitions and examples.

Retrieved from "https://courses.cs.cornell.edu/cs2800/wiki/index.php?title=FA19:Lecture_27_Non-determinism&oldid=3092"
  • Powered by MediaWiki