Successfully reported this slideshow.

RegExp20110305

737 views

Published on

Talk on For

Published in: Technology
  • Be the first to comment

  • Be the first to like this

RegExp20110305

  1. 1. •  –  –  Brzozowski’s –  Kleene = –  1.5k . 60 • 
  2. 2. •  “Yacc is Dead” : (LtU 2010/11/29 ) –  http://arxiv.org/abs/1010.5023 –  •  •  what you see is what you get if you understand LR(k) –  an extension of Brzozowskis derivative from regular expressions to context-free grammars. –  small (less than 250 lines of code), easy-to-implement parsing library•  “Regular expression matching in <100 lines of code” –  http://michid.wordpress.com/2010/12/06/regular-expression- matching-in-100-lines-of-code/ –  Scala –  Coq
  3. 3. •  – • •  –  – 
  4. 4. •  –  • •  –  –  – 
  5. 5. • • • 
  6. 6. – –

×