在Bison中，非终结符中的$变量（$1, $2等）用于引用产生式右侧的终结符或非终结符的值。这些变量的值在规约动作中自动设置，并且可以用于执行语义动作或生成语法分析树。

下面是一个简单的示例，演示了如何在Bison中使用$变量：

%{
#include 
%}

%token NUMBER
%left '+' '-'
%left '*' '/'

%%
expression: 
    expression '+' expression { printf("%d\n", $1 + $3); }
    | expression '-' expression { printf("%d\n", $1 - $3); }
    | expression '*' expression { printf("%d\n", $1 * $3); }
    | expression '/' expression { printf("%d\n", $1 / $3); }
    | '(' expression ')' { printf("%d\n", $2); }
    | NUMBER { printf("%d\n", $1); }
    ;

%%

int main() {
    yyparse();
    return 0;
}

int yyerror(const char* msg) {
    fprintf(stderr, "Error: %s\n", msg);
    return 1;
}

上述示例中，我们定义了一个简单的表达式语法，可以进行加减乘除运算，并且支持括号。在每个产生式的规约动作中，我们使用$变量引用相应的值，并进行相应的操作。例如，expression '+' expression { printf("%d\n", $1 + $3); }表示将两个表达式相加并打印结果。

在规约动作中，$1表示第一个expression的值，$3表示第二个expression的值。$变量的编号按照产生式右侧的顺序进行排序。

需要注意的是，Bison的$变量是从1开始编号的，而不是从0开始。

当我们使用Bison编译并运行上述示例时，它将接受输入的表达式，并根据规约动作进行相应的计算和输出。

希望这个例子可以帮助你理解Bison中的$变量是如何工作的。