Title: The state diagram of linear sequential machines