Title: Grammars with time functions
Subjects: Formal languages, Mathematical linguistics, Turing machines