Here we look at strings over a finite alphabet, such as abbacab or bbaacccb. Our sentences can use words like before, after, next, first, last and would include such possibilities as “Every a is immediately followed by a b,” or “Between every two bs lies a c.”
KeywordsRandom String Finite Model Empty String Finite Alphabet Unary Predicate
Unable to display preview. Download preview PDF.