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 first-order logic helpful in formally writing closure property statement?...
View Full Document
- Fall '07
- Set Theory, Formal language, first-order logic statements, closure property statement, set complement operation