1 / 12

Review

Review. June 25 th 2pm-4pm 逸夫馆 B205. Review. Finite Automata & Regular Expression DFA, NFA, ε - NFA, RE Definition, Language, Transformation Decision & Closure Properties Pumping Lemma. Context Free Grammar Definition, Derivation, Leftmost, Rightmost… Parse Tree

dean-hart
Download Presentation

Review

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Review

  2. June 25th 2pm-4pm • 逸夫馆 B205

  3. Review • Finite Automata & Regular Expression • DFA, NFA, ε-NFA, RE • Definition, Language, Transformation • Decision & Closure Properties • Pumping Lemma

  4. Context Free Grammar • Definition, Derivation, Leftmost, Rightmost… • Parse Tree • Clean Up， Chomsky Normal Form • Decision & Closure Properties • Pumping Lemma

  5. Pushdown Automata • Definition • Final state，Empty stack，Transformation • RE， DPDA， NPDA • PDA & CFG

  6. Turing Machine • Definition • Behavior • TM Programming • Extensions • Recursive Language、Recursively Enumerable Language • P、NP、NPC

  7. Transition System • Semantic Basis • Definition • Equivalence • CTL＊ • Model a real system!

  8. Petri Net • Concurrency • TokenGame • Model a concurrency System • Relation Between PN and TS

  9. Timed Automata & Hybrid Automata • Definition • Continuous time domain • Difference between TA & HA • When should we use such model?

  10. Message Sequence Chart • Definition • Graphical and Textual Presentation • Semantic • Casual Order & Race • HMSC

  11. Assignment 3

More Related