• Co je bison
• Symboly
• Providla
• Sematic values

Co je bison?

praci si autori vyrazne ulehcili tim ze bison nepracuje ze slovy. Kazdy prikaz je vlastne jedno pismeno. V pripade ze jsou treba viceznake prikazy musi se napred prevedst na integer hodnotami funkci yylex. Ktomu slouzi flex. Takze kdyby jste chteli udelat prekladac cecka napred je treba napsat v lexu program, ktery ze slova int udela cislo o hodnote konstanty INT. Pak je prace mnohem mnohem jednodussi a v tom spatruju silu toho navrhu.

Symboly

Terminal symbol je token. Nezto non terminal symbol je nekolik terminal symbolu. Taky se nazyva grouping. takze priklad pro C:
(jeste musim dodat ze rozdil mezi terminal symbolem a tokenem je v tom, ze terminal symbol nejakeho jmena muze byt reprezentovan ruznyma tokena)

je tu nekolik tokenu:
identifikatory,konstanty(ciselny,retezcovy),klicovy slova,operatory a znaminka jako zavorky atd.

V compileru cecka se tedy definujou symboly:
identifier,number,string a vsechny klicova slova operatory a zavorky
takze takhle nejak se rozdeluje ceckarskej programecek:
int - klicove slovo int

main(x) - identifikator,zavorka,identifikator,)
{ - oteviraci_zavorka
 return x;/*keyword return,identifier,,strednik
} - zaviraci zavorka

abych pro jistotu vysvetlil vyznam priklad:
po function definition je declaration a potom statement(zacina {) v nem jsou expresion-treba to x ale x+x ja taky expresion pro kazdej takovejhle nonterminal symbol musime napsat pravidla, jak se dela takze pisem neco jako statement se zklada z klicoveho slova return,expresion a stredniku. Samozdrejme popis takovych pravidel zrovna pro cecko uz neni takova hracka ale videl jsem zdrojaky a neni to zas tak zly. Pravidla(rule) muzou byt rekurzivni atd...on si to bison nejak prebere. Muzeme nadofinovat start symbol-napriklad v cecku start symbol nebude expresion protoze program 1+1 je blbost

pravidla

priklad pro return:
return se pise return(hodnota nebo vyraz=expresion) ; tedy:

stmt:   RETURN expr ';'

kazde pravidlo muze mit akci..asi jako v Makefilu kde se neco provede (treba vygeneruje kod v compileru nebo vypocte v calculatoru) to jsou Sematic actions..vysledna sematic value se uklada do $$ parametry jsou $1...$n priklad pro normalni +

expr: expr `+` expr { $$=$1+$3 }
;

 bizoni program je rozdelenej na:
 %{
  Normalni ceckovsky deklarace
 %}
  Bisonsky deklarace-tady si nedefinujete tokeny-NUM atd..
 %%
  Pravidla(rules)
 %%
 sem se dava jako u flexe dalsi ceckarskej kod-treba main
 %%
 v dokumentaci jsem nasel kalkulacku na polsou notaci tak se budu drzet
 jejich 
 kodu:
 %{
 #define YYSTYPE double - do ceho se maji ukladat cisla-typ pro sematic
 values
 #include  - no coment
 %% - zde zacinaji definice bisona
 
 %token NUM - tak tady si defijeme token pro cisla-jinej nepotrebujeme
 
 %% - tady jsou vlastni jazykovy pravidla
 input:
    | inout line
 ;
 
 line:  '\n'
   | exp '\n' {printf("vysledek:%g",$1); -kdyz se narazi na novou radku vysat
 ;
 
 exp: NUM {$$=$1;} ?*co delat z cislama*/
   | exp exp '+' {$$=$1+$1;} /*takhle se daji udelat vsechna znaminka
   | exp 'n { $$ =-$1; } /*unarni minus je tedy znak n*/
 ;
 
 .....konec prikladu

line je jedna radka a sklada se z expresion a \n
input je bud nic(nic za :) nebo input a radka-takze vlastne libovolny pocet radek..pakne ne?

no a ted musime udelat parsera..sel by lehce ve flexu ale v manualu je rovnou a nechci tu tvorit neco novyho co kdyby tam byla buga samozrejme ze pravidla z | se daji napsat i oddelene(poznamka) takze lexikal-yylex

#include 
yylex()
{ int c;
  /*tato funkce se zavola vzdycky kdyz prekladac gramatiky je zvedavej na 
dalsi token*/
  /*preskocit mezery*/
  while(((c=getchar()) == ' ' || c == '\t')
   ;
  /*ted cisla*/
  if(c=='.' || isdigit(c)) {
   ungetc(c,stdin);
   scanf("%lf",&yyval);/*pozor tam se ulozila sematicka hodnota cisla*/
   return NUM;
  }
  /*konec fajlu*/
  if(c==EOF) return 0;
  /*no ted jednoznakej token-nic jinyho to uz bejt nemuze*/
  return c;
}
jednoduchy ne? a uz to pocita! jenom to sputit
main()
{
  yyparse();
}
a vybombit chybicky
yyerror(s)
  char *s;
{ printf("sorry vole error:%s"n);
}

bison .y

gcc .tab.c -lm

%left '+' '-' 
%left je jako %token ale asociativni doleva

%right `^` 

 | exp '+' exp {$$ = $1 + $3;}

 | '(' exp ')' {$$=$2;}

 | '-' exp %prec {$$ = -$1;}