Formal languages and computation : models and their applications /: models and their applications. (2014)