Unformatted text preview: Explain your answer. Take home review questions 1) What does it mean if I say that a set S is closed under binary operation O? 2) Is the set of finite languages closed under the concatenation operation? 3) What do I mean when I say that a closure property often represents an infinite set of facts, and why does this make firstorder logic helpful in formally writing closure property statement?...
View
Full Document
 Fall '07
 TORNG
 Set Theory, Formal language, firstorder logic statements, closure property statement, set complement operation

Click to edit the document details