Algebraic caractérisations of NTIME ( F ) and NTIME ( F , A ) Hans-Jürgen Stenger — 1984 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications