Приведение грамматик. Устранение недостижимых символов, устранение бесполезных символов, страница 8

V₁₀₁ = V₁₀₀ È { 'WIDTH' '=' 'PERCENT'| < table_attr > → < table_attr >'WIDTH' '=' 'PERCENT' Î P, < table_attr > Î V₁₀₀} = { < table_attr > , 'WIDTH' '=' 'PERCENT'}

V₁₀₁ = V₁₀₀ È { 'BORDER' '=' number | < table_attr > → < table_attr > 'BORDER' '=' number Î P, < table_attr > Î V₁₀₀} = { < table_attr > , 'BORDER' '=' number }

V₁₀₁ = V₁₀₀ È { < tr > | < table_cont > → < tr > Î P, < table_cont > Î V₁₀₀} = { < table_cont > , < tr > }

V₁₀₁ = V₁₀₀ È { < tr > | < table_cont > → < table_cont >< tr> Î P, < table_cont > Î V₁₀₀} = { < table_cont > , < tr > }

V₁₀₁ = V₁₀₀ È { tr_cont '<' '/' 'TR' '>'| < tr > → <' 'TR' '>' tr_cont '<' '/' 'TR' '>' Î P, <n tr Î V₁₀₀} = { < tr > , tr_cont '<' '/' 'TR' '>'}

V₁₀₁ = V₁₀₀ È { <' 'TR' '>' tr_cont | < tr > → <p> Î P, < tr > Î V₁₀₀} = { < tr > , <' 'TR' '>' tr_ }

V₁₀₁ = V₁₀₀ È { < td  > | < tr_cont > → <p tr_cont Î P, < tr_cont > Î V₁₀₀} = { < tr_cont > , < td  > }

V₁₀₁ = V₁₀₀ È { < th > | < tr_cont > → < tr_cont > Î P, < tr_cont > Î V₁₀₀} = { < tr_cont > , < th > }

V₁₀₁ = V₁₀₀ È { th_td_attr , body_cont '<' '/' 'TH' '>' | < th > → '<' 'TH' th_td_attr '>' body_cont '<' '/' 'TH' '>' Î P, < th >Î V₁₀₀} = { < th > , th_td_attr , body_cont '<' '/' 'TH' '>' }

V₁₀₁ = V₁₀₀ È { '<' 'TH' th_td_attr '>' body_cont | < th > → '<' 'TH' th_td_attr '>' body_cont Î P, < th > Î V₁₀₀} = { < th > , '<' 'TH' th_td_attr '>' body_cont }

V₁₀₁ = V₁₀₀ È { 'WIDTH' '=' number | < th_td_attr > → < th_td_attr >'WIDTH' '=' number Î P, < th_td_attr > Î V₁₀₀} = { < th_td_attr > , 'WIDTH' '=' number }

V₁₀₁ = V₁₀₀ È { 'HEIGHT' '=' number  | < th_td_attr > → < th_td_attr >'HEIGHT' '=' number  Î P, < th_td_attr > Î V₁₀₀} = { < th_td_attr > , 'HEIGHT' '=' number  }

V₁₀₁ = V₁₀₀ È { -> '<' 'TD' th_td_attr '>' body_cont '<' '/' 'TD' '>'| < td > → -> '<' 'TD' th_td_attr '>' body_cont '<' '/' 'TD' '>' Î P, < td >Î V₁₀₀} = { < td > , -> '<' 'TD' th_td_attr '>' body_cont '<' '/' 'TD' '>' }

V₁₀₁ = V₁₀₀ È { '<' 'TD' th_td_attr '>' body_cont | < td > → -> '<' 'TD' th_td_attr '>' body_cont Î P, < td > Î V₁₀₀} = { < td > , '<' 'TD' th_td_attr '>' <body_cont > }

 

 

 

 

Устранение бесполезных символов

N0 = Æ

N₁ = N₀ È { < string > | < string > → <litter> <number>  Î P, <litter> <number> Î (N₀ÈT)^*} = {…, < string >}

N₂ = N₀ È { < data > | < data > → 'DATA'   Î P, 'DATA'Î (N₀ÈT)^*} = {< data >}

N₃ = N₀ È { < title > | < title > → '<' 'TITLE' '>' data '<' '/' 'TITLE' '>'  Î P, <data> '<' '/' 'TITLE' '>' Î (N₀ÈT)^*} = {…, < data >,< title >}

N₄ = N₀ È { < script > | < script > → <' 'SCRIPT' '>' data '<' '/' 'SCRIPT' '>'  Î P, <data> '<' '/' 'SCRIPT' '>' Î (N₀ÈT)^*} = {…, <data>,< script >}

N₅ = N₀ È { < style > | < style > → '<' 'STYLE' '>' data '<' '/' 'STYLE' '>'  Î P, data '<' '/' 'STYLE' '>' Î (N₀ÈT)^*} = {…, <data>,< style >}

N₆ = N₀ È { < text > | < text > → < data >  Î P, < data > Î (N₀ÈT)^*} = {…, < data >,< text >}

N₇ = N₀ È { < h_cont > | < h_cont > → < h_cont> <text >  Î P, <text > Î (N₀ÈT)^*} = {…, < text >, < h_cont >}

N₈ = N₀ È { < h_attr > | < h_attr > → 'ALIGN' '=' <align_val>  Î P, 'ALIGN' '=' <align_val > Î (N₀ÈT)^*} = {…, < text >, < h_attr >}