kevinsullivan / cs6501s23

Formal Mathematics for Software Design
6 stars 6 forks source link

2.1 Balanced Parentheses "We will do that by defining a small set of basic rules for building strings of this kind (we’ll call them constructors), sufficient for constructing all and only the strings in the language." It might be helpful to articulate whether the constructors are the actual strings themselves, or the rules. From my understanding it is the rules, but I feel like it would be best to clarify. #5

Open nehakrishnakumar opened 1 year ago