LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
sav07_homework_1 [2007/03/18 17:16]
vkuncak
sav07_homework_1 [2007/04/12 21:34]
vkuncak
Line 11: Line 11:
 See also [[Notes on Context-Free Grammars]]. See also [[Notes on Context-Free Grammars]].
  
-[[SAV07 Homework 1 Solution]] ​will be available only after the due date.+Here is [[SAV07 Homework 1 Solution]] ​for the theoretical part. 
 + 
 +NOTE: A formula of the form 
 + 
 +  forall x < 0. F 
 + 
 +should always evaluate to true when x ranges over non-negative integers, regardless of F.  Namely, there are no such non-negative x, so this is the case of a bounded quantifier over an empty set.  This formula is trivially true because it is equivalent to 
 + 
 +  forall x. false -> F