Τρόπος λειτουργίας

Η λειτουργία του yacc βασίζεται σε ένα ΝΠΑ στοίβας.
Κατά τη λειτοyργία του o yacc διαβάζει σύμβολα και τα προσθέτει τη στοίβα. Η λειτουργία αυτή καλείται πράξη ολίσθησης (shift action).
Κατά την ανάγνωση των λεκτικών συμβόλων o yacc κρατάει ένα σύμβολο προεξέτασης (lookahead token) εκτός της στοίβας για να μπορεί να διαλέξει ανάμεσα σε ισοδύναμους κανόνες της γραμματικής. (Οι γραμματικές που αναγνωρίζει ο yacc μπορούν να αναγνωριστούν με τη χρήση ενός μόνο συμβόλου προεξέτασης).
Όταν κάποια σύμβολα στη στοίβα ταιριάζουν με το δεξί τμήμα ενός κανόνα ο yacc αντικαθιστά τα σύμβολα αυτά από το αριστερό σύμβολο στον κανόνα. Η λειτουργία αυτή καλείται πράξη ελάττωσης (reduce action). Για την επιλογή ανάμεσα σε πολλούς υποψήφιους κανόνες o yacc χρησιμοποιεί το σύμβολο προεξέτασης.
Υπάρχει περίπτωση για έναν κανόνα να ταιριάζει ολίσθηση και ελάττωση:
if_stmt : IF expr THEN stmt
| IF expr THEN stmt ELSE stmt
;

Σε τέτοιες περιπτώσεις ο yacc προτιμά την ελάττωση και εμφανίζει ένα διαγνωστικό μήνυμα.

Το παρακάτω απόσπασμα από το αρχείο y.output απεικονίζει μια κατάσταση, τους κανόνες που είναι υποψήφιοι για αναγνώριση (τι βρίσκεται στη στοίβα), και τις ενέργειες ανάλογα με το σύμβολο που θα διαβαστεί:

state 17
        exp : exp . '+' exp  (6)
        exp : exp . '-' exp  (7)
        exp : exp '-' exp .  (7)
        exp : exp . '*' exp  (8)
        exp : exp . '/' exp  (9)
        exp : exp . '^' exp  (11)

        '*'  shift 12
        '/'  shift 13
        '^'  shift 14
        '-'  reduce 7
        '+'  reduce 7
        '\n'  reduce 7
        ')'  reduce 7