要解决Bison不返回正确标记的问题，可以按照以下步骤进行：

1. 检查Bison规约规则是否正确。确保规约规则与输入的标记序列匹配。可以使用Bison的-v选项生成带有状态和规约动作的报告文件，以便更好地理解规约的过程。

2. 检查Bison的标记定义。确保Bison中定义的标记与输入中的标记匹配。标记通常是通过Flex生成的，因此还应检查Flex词法分析器的规则，并确保输出的标记与Bison期望的标记匹配。

以下是一个包含代码示例的解决方法：

1. 假设我们有一个简单的计算器语言，它可以进行加法和乘法运算。我们的目标是解析输入的表达式并计算结果。

2. 首先，我们使用Flex定义词法分析器，生成标记。假设我们有以下的lexer.l文件：

%{
#include "parser.tab.h"
%}

%%
[0-9]+      { yylval = atoi(yytext); return NUMBER; }
[ \t\n]     ;
.           { return yytext[0]; }
%%

int yywrap() {
    return 1;
}

3. 然后，我们使用Bison定义语法分析器，解析输入的表达式并计算结果。假设我们有以下的parser.y文件：

%{
#include 

int yylex();
void yyerror(const char* s);

%}

%token NUMBER

%%
expression : expression '+' term { $$ = $1 + $3; }
           | term
           ;

term       : term '*' factor { $$ = $1 * $3; }
           | factor
           ;

factor     : NUMBER
           | '(' expression ')' { $$ = $2; }
           ;

%%

void yyerror(const char* s) {
    printf("Error: %s\n", s);
}

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

4. 编译生成词法分析器和语法分析器的代码。使用以下命令：

flex lexer.l
bison -d parser.y
gcc -o calculator lex.yy.c parser.tab.c -lfl

5. 然后，我们可以运行生成的可执行文件并输入表达式进行测试。例如：

./calculator
1+2*3

输出应该是：7，即表达式1 + 2 * 3的结果。

如果Bison没有返回正确的标记，可以检查以上步骤是否有任何错误或不匹配。