1
Finite Model Theory
Lecture 12
Regular Expressions, FO
k