Just because it&#x27;s irrelevant for real implementations doesn&#x27;t mean it&#x27;s not theoretically irrelevant. All of our computers can be modeled with sequential logic. That doesn&#x27;t mean it&#x27;s worthless to study more abstract properties.