Differences

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

Link to this comparison view

Both sides previous revision Previous revision
cs-486:homework-4 [2017/02/01 19:14]
egm
cs-486:homework-4 [2017/02/08 23:26] (current)
egm [Problems]
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!!
cs-486/homework-4.txt ยท Last modified: 2017/02/08 23:26 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0