Fun timing! I've been researching the typeface used on the HAL 9000 logo for the last while. I'm afraid I don't think you're quite correct, since Grotesque Becker is a modern digital recreation of an older font, but you're really close.
The original faceplates used custom-printed decals, and the artwork to make them most likely used Letraset dry transfers. Specifically they appear to have used
Letraset Grotesque 9 Outline White. This is Letraset's version of the Grotesque No. 9 typeface that was developed by Sheffield, UK-based type foundry Stephenson Blake, in 1906. Stephenson Blake Grotesque was a series of somewhat strange sans-serif typefaces, which had something of a revival in popularity in Britain in the 50s and 60s.
For more obsessive details, read on:
HAL 9000’s faceplates - The Age of Plastic
- NK Guy