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

V₈ = V₇ È { '<', '/', '>', <data>  | < script > → '<' 'SCRIPT' '>' <data> '<' '/' 'SCRIPT' '>'  Î P, < script > Î V₇} = { < script > , '<', '/', '>', <data>  }

V₉ = V₈ È { '<', '/', '>', <data> | < style > → '<' 'STYLE' '>' <data> '<' '/' 'STYLE' '>' Î P, < style > Î V₈} = { < style > , '<', '/', '>', <data>}

V₁₀ = V₉ È { '<', '/', '>', <body_attr>, <body_cont> | < body > → '<' 'BODY' <body_attr> '>' <body_cont> '<' '/' 'BODY' '>' Î P, < body > Î V₉} = { < body > , '<', '/', '>', <body_attr>, <body_cont>  }

V₁₁ = V₁₀ È { 'BACKGROUND', '=', <string>| < body_attr > → <body_attr> 'BACKGROUND' '=' <string> Î P, < body_attr > Î V₁₀} = { < body_attr >, 'BACKGROUND', '=', <string> }

V₁₂ = V₁₁ È { 'BGCOLOR', '=', <color>| < body_attr > → <body_attr> 'BGCOLOR' '=' <color> Î P, < body_attr > Î V₁₁} = { < body_attr > , 'BGCOLOR', '=', <color> }

V₁₃ = V₁₂ È { ‘TEXT ', '=' ,<color> | < body_attr > → <body_attr>  ‘TEXT ' '=' <color> Î P, < body_attr > Î V₁₂} = { < body_attr > , ‘TEXT ', '=', <color> }

V₁₄ = V₁₃ È { <heading > | < body_cont > → < body_cont> <heading > Î P, < body_cont > Î V₁₃} = { < body_cont > , <p>}

V₁₅ = V₁₄ È { < text > | < body_cont > → < body_cont> < text >Î P, < body_cont > Î V₁₄} = { < body_cont > , < text > }

V₁₆ = V₁₅ È { < block > | < body_cont > → < body_cont> < block > Î P, < body_cont > Î V₁₅} = { < body_cont > , < block > }

V₁₇ = V₁₆ È { < h1> | < heading > → < h1> Î P, < heading > Î V₁₆} = { < heading > , < h1> }

V₁₈ = V₁₇ È { < h2> | < heading > → < h2> Î P, < heading > Î V₁₇} = { < heading > , < h2> }

V₁₉ = V₁₈ È { < h3> | < heading > → < h3> Î P, < heading > Î V₁₈} = { < heading > , < h3> }

V₂₀ = V₁₉ È { < h4> | < heading > → < h4> Î P, < heading > Î V₁₉} = { < heading > , < h4> }

V₂₁ = V₂₀ È { < h5> | < heading > → < h5> Î P, < heading > Î V₂₀} = { < heading > , < h5> }

V₂₂ = V₂₁ È { < h6> | < heading > → < h6> Î P, < heading > Î V₂₁} = { < heading > , < h6> }

V₂₃ = V₂₂ È { '<', '/', '>', 'H1' , <h_attr>, <h_cont>  | < h1> → '<' 'H1' <h_attr> '>' <h_cont> '<' '/' 'H1' '>'  Î P, < h1> Î V₂₂} = { < h1> , '<', '/', '>', 'H1' ,<h_attr>, <h_cont>  }

V₂₄ = V₂₃ È { '<', '/', '>', 'H2' ,<h_attr>, <h_cont>  | < h2> → '<' 'H2' <h_attr> '>' <h_cont> '<' '/' 'H2' '>' Î P, < h2> Î V₂₃} = { < h2> , '<', '/', '>', 'H2' ,<h_attr>, <h_cont> }

V₂₅ = V₂₄ È { '<', '/', '>', 'H3',  <h_attr>, <h_cont> | < h3> → '<' 'H3' <h_attr> '>' <h_cont> '<' '/' 'H3' '>' Î P, < h3> Î V₂₄} = { < h3> , '<', '/', '>', 'H3' ,<h_attr>, <h_cont> }

V₂₆ = V₂₅ È { '<', '/', '>', 'H4' ,<h_attr>, <h_cont> | < h4> → '<' 'H4' <h_attr> '>' <h_cont> '<' '/' 'H4' '>' Î P, < h4> Î V₂₅} = { < h4> , '<', '/', '>', 'H4' ,<h_attr>, <h_cont> }

V₂₇ = V₂₆ È { '<', '/', '>', 'H5' ,<h_attr>, <h_cont> | < h5> → '<' 'H5' <h_attr> '>' <h_cont> '<' '/' 'H5' '>' Î P, < h5> Î V₂₆} = { < h5> , '<', '/', '>', 'H5' ,<h_attr>, <h_cont> }