CMSC 452, SPRING 2010 HOMEPAGE

syll.pdf

HOMEWORKS

hw01.PDF,

hw02.PDF,

hw03.PDF,

hw04.PDF,

This is a PhD thesis that has in the beginning a full proof of the Decidability of WS1S (the theory I talked about in class). You DO NOT want to kill trees by printing out the whole thing, but you may want to print out the pages 8-28, or read it on screen. ws1S.PDF,

hw05.PDF,

This is a short writeup of the algorithm to get rid of useless nonterminals: useless.PDF,

This is a short writeup of the algorithm to get rid of unit productions: unit.PDF,

This is a short writeup of the algorithm to put a grammar in Chomsky Normal Form: chomsky.PDF,

hw06.PDF,

hw07.PDF,

mid452.PDF,

hw08.PDF,

hw09.PDF,

hw10.PDF,

hw11.PDF,

final.pdf,