##### Differences

This shows you the differences between two versions of the page.

 cs-486:homework-4 [2017/02/01 12:14]egm cs-486:homework-4 [2017/02/08 16:26] (current)egm [Problems] Both sides previous revision Previous revision 2017/02/08 16:26 egm [Problems] 2017/02/01 12:14 egm 2017/02/01 11:46 egm created2017/01/11 11:47 egm removed2016/04/06 12:50 egm [Paper Pencil Problems] 2016/02/09 09:52 egm 2014/10/16 12:15 egm [Paper Pencil Problems] 2014/10/15 14:17 egm [Paper Pencil Problems] 2014/10/07 16:38 egm [Paper Pencil Problems] 2014/10/07 15:01 egm [Paper Pencil Problems] 2014/10/03 11:37 egm [Paper Pencil Problems] 2014/09/02 10:28 egm created 2017/02/08 16:26 egm [Problems] 2017/02/01 12:14 egm 2017/02/01 11:46 egm created2017/01/11 11:47 egm removed2016/04/06 12:50 egm [Paper Pencil Problems] 2016/02/09 09:52 egm 2014/10/16 12:15 egm [Paper Pencil Problems] 2014/10/15 14:17 egm [Paper Pencil Problems] 2014/10/07 16:38 egm [Paper Pencil Problems] 2014/10/07 15:01 egm [Paper Pencil Problems] 2014/10/03 11:37 egm [Paper Pencil Problems] 2014/09/02 10:28 egm created Line 16: Line 16: '''​3. (10 points)'''​ This problem is Exercise 4.11 in [http://​is.ifmo.ru/​books/​_principles_of_model_checking.pdf Principles of Model Checking]. Give an NBA for the $\omega$-regular expression $(AB + C)^*((AA+B)C)^\omega + (A^*C)^\omega$ '''​3. (10 points)'''​ This problem is Exercise 4.11 in [http://​is.ifmo.ru/​books/​_principles_of_model_checking.pdf Principles of Model Checking]. Give an NBA for the $\omega$-regular expression $(AB + C)^*((AA+B)C)^\omega + (A^*C)^\omega$ + '''​4.'''​ Finish up any previous homework!!