Which of the following correctly recognize the symbol ‘|-‘ in context to PDA?

• A. Moves
• B. transition function
• C. or/not symbol
• D. none of the mentioned