시티드 푸쉬다운 머신으로 대체되나요?