A Real-Time Speech Input System for a Digital Computer