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

N₉ = N₀ È { < h1 > | < h1 > → '<' 'H1' <h_attr> '>' <h_cont> '<' '/' 'H1' '>'  Î P, <h_attr><h_cont> '<' '/' 'H1' '>' Î (N₀ÈT)^*} = {…, < h_attr >, < h1>}

N₁₀ = N₀ È { < h2 > | < h2 > → '<' 'H2' <h_attr> '>' <h_cont> '<' '/' 'H2' '>'  Î P, <h_attr><h_cont> '<' '/' 'H2' '>' Î (N₀ÈT)^*} = {…, < h_attr >, < h2>}

N₁₁ = N₀ È { < h3 > | < h3 > → '<' 'H3' <h_attr> '>' <h_cont> '<' '/' 'H3' '>'  Î P, <h_attr><h_cont> '<' '/' 'H3' '>' Î (N₀ÈT)^*} = {…, < h_attr >, < h3>}

N₁₂ = N₀ È { < h4 > | < h4 > → '<' 'H4' <h_attr> '>' <h_cont> '<' '/' 'H4' '>'  Î P, <h_attr><h_cont> '<' '/' 'H4' '>' Î (N₀ÈT)^*} = {…, < h_attr >, < h4>}

N₁₃ = N₀ È { < h5 > | < h5 > → '<' 'H5' <h_attr> '>' <h_cont> '<' '/' 'H5' '>'  Î P, <h_attr><h_cont> '<' '/' 'H5' '>' Î (N₀ÈT)^*} = {…, < h_attr >, < h5>}

N₁₄ = N₀ È { < h6 > | < h6 > → '<' 'H6' <h_attr> '>' <h_cont> '<' '/' 'H6' '>'  Î P, <h_attr><h_cont> '<' '/' 'H6' '>' Î (N₀ÈT)^*} = {…, < h_attr >, < h6>}

N₁₅ = N₀ È { < heading > | < heading > → < h1>  Î P, < h1> Î (N₀ÈT)^*} = {…, < h1>, < heading >}

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

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

N₁₈ = N₀ È { < a_attr > | < a_attr > → < a_attr >'HREF' '=' string  Î P, 'HREF' '=' string Î (N₀ÈT)^*} = {…, < a_attr >}

N₁₉ = N₀ È { < a  > | < a  > → '<' 'A' <a_attr> '>' <a_cont> '<' '/' 'A' '>'Î P, <a_attr>  <a_cont> '<' '/' 'A' '>' Î (N₀ÈT)^*} = {…, <a_attr> , <a_cont>, < a  >}

N₂₀ = N₀ È { < special > | < special > → < a >  Î P, < a > Î (N₀ÈT)^*} = {…, < a >, < special >}

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

N₂₂ = N₀ È { < i > | < i > → '<' 'I' '>' <font_phrase_cont> '<' '/' 'I' '>'   Î P, <font_phrase_cont> '<' '/' 'I' '>' Î (N₀ÈT)^*} = {…, < font_phrase_cont >, < i >}

N₂₃ = N₀ È { < b > | < b > → '<' 'B' '>' <font_phrase_cont> '<' '/' 'B' '>'   Î P, <font_phrase_cont> '<' '/' 'B' '>' Î (N₀ÈT)^*} = {…, < font_phrase_cont >, < b >}

N₂₄ = N₀ È { < u > | < u > → '<' 'U' '>' <font_phrase_cont> '<' '/' 'U' '>'   Î P, <font_phrase_cont> '<' '/' 'U' '>' Î (N₀ÈT)^*} = {…, < font_phrase_cont >, < u >}

N₂₅ = N₀ È { < font > | < font > → < i >  Î P, < i > Î (N₀ÈT)^*} = {…, < i >, < font >}

N₂₆ = N₀ È { < img_attr > | < img_attr > → < img_attr >'SRC' '=' string  Î P, 'SRC' '=' string Î (N₀ÈT)^*} = {…, < img_attr >}

N₂₇ = N₀ È { < img > | < img > → '<' 'IMG' <img_attr> '>'  Î P, '<' 'IMG'< img_attr> '>' Î (N₀ÈT)^*} = {…, < img_attr >, < img >}

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

N₂₉ = N₀ È { < font_attr > | < font_attr > → 'SIZE' '=' 'SIZE_VALUE'  Î P, 'SIZE' '=' 'SIZE_VALUE' Î (N₀ÈT)^*} = {…, < font_attr >}