Գրեք սա: The theory of computation /