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

V₅₂ = V₅₁ È { < text > | < a_cont > → < a_cont >< text > Î P, < a_cont > Î V₅₁} = { < a_cont > , < text > }

V₅₃ = V₅₂ È { '<', '/', '>,'IMG' <img_attr>  | < img > → '<' 'IMG' <img_attr> '>' Î P, < img > Î V₅₂} = { < img > , '<', '/', '>,'IMG' <img_attr>}

V₅₄ = V₅₃ È { 'SRC', '=', <string>| < img_attr > → <img_attr> 'SRC' '=' <string>  Î P, < img_attr > Î V₅₃} = { < img_attr > , 'SRC,' '=', <string>}

V₅₅ = V₅₄ È { 'ALT', '=', <string>| < img_attr > → < img_attr >'ALT' '=' <string>  Î P, < img_attr > Î V₅₄} = { < img_attr > , 'ALT', '=', <string>}

V₅₆ = V₅₅ È { 'ALIGN', '=', <align_special_val>| < img_attr > → < img_attr >'ALIGN' '=' <align_special_val> Î P, < img_attr > Î V₅₅} = { < img_attr > , 'ALIGN', '=', <align_special_val>}

V₅₇ = V₅₆ È { 'HEIGHT', '=', <number>| < img_attr > → < img_attr >'HEIGHT' '=' <number> Î P, < img_attr > Î V₅₆} = { < img_attr > , 'HEIGHT', '=', <number>}

V₅₈ = V₅₇ È { 'WIDTH', '=', <number>| < img_attr > → < img_attr >'WIDTH' '=' <number> Î P, < img_attr > Î V₅₇} = { < img_attr > , 'WIDTH', '=', <number>}

V₅₉ = V₅₈ È { '<', '/', '>,'FONT', <font_attr>,  <font_cont>| < fonttag > → <' 'FONT' <font_attr> '>' <font_cont> '<' '/' 'FONT' '>'Î P, < fonttag > Î V₅₈} = { < fonttag > , '<', '/', '>,'FONT', <font_attr>, <font_cont>}

V₆₀ = V₅₉ È { 'SIZE', '=', 'SIZE_VALUE'  | < font_attr > → 'SIZE' '=' 'SIZE_VALUE'  Î P, < font_attr > Î V₅₉} = { < font_attr > , 'SIZE', '=', 'SIZE_VALUE'  }

V₆₁ = V₆₀ È { 'COLOR', '=', color | < font_attr > → 'COLOR' '=' color Î P, < font_attr > Î V₆₀} = { < font_attr > , 'COLOR' '=' color }

V₆₂ = V₆₁ È { 'COLOR', '=', <color>, 'SIZE', 'SIZE_VALUE'| < font_attr > → 'COLOR' '=' <color> 'SIZE' '=' 'SIZE_VALUE'Î P, < font_attr > Î V₆₁} = { < font_attr > , 'COLOR', '=', <color>, 'SIZE', 'SIZE_VALUE'}

V₆₃ = V₆₂ È { 'SIZE', '=', 'SIZE_VALUE', 'COLOR', <color> | < font_attr > → 'SIZE' '=' 'SIZE_VALUE' 'COLOR' '=' <color> Î P, < font_attr > Î V₆₂} = { < font_attr > , 'SIZE', '=', 'SIZE_VALUE', 'COLOR', <color> }

V₆₄ = V₆₃ È { < text  > | < font_cont > → < font_cont >< text  > Î P, < font_cont > Î V₆₃} = { < font_cont > , < text  > }

V₆₅ = V₆₄ È { '<', 'BR', '>'  | < br > → '<' 'BR' '>'  Î P, < br > Î V₆₄} = { < br > , '<', 'BR', '>' }

V₆₆ = V₆₅ È { '<', 'INPUT', <input_attr>, '>'| < input > → '<' 'INPUT' <input_attr> '>' Î P, < input > Î V₆₅} = { < input > , '<', 'INPUT', <input_attr>, '>'}

V₆₇ = V₆₆ È { 'TYPE', '=', <type_input_val> | < input_attr > → < input_attr >'TYPE' '=' <type_input_val> Î P, < input_attr > Î V₆₆} = { < input_attr > , 'TYPE', '=', <type_input_val> }

V₆₈ = V₆₇ È { 'NAME', '=', <string> | < input_attr > → < input_attr >'NAME' '=' <string> Î P, < input_attr > Î V₆₇} = { < input_attr > , 'NAME', '=', <string> }

V₆₉ = V₆₈ È { 'VALUE', '=', <string> | < input_attr > → < input_attr >'VALUE' '=' string  Î P, < input_attr > Î V₆₈} = { < input_attr > , 'VALUE', '=', <string> }

V₇₀ = V₆₉ È { 'SIZE', '=', <number> | < input_attr > → < input_attr >'SIZE' '=' number Î P, < input_attr > Î V₆₉} = { < input_attr > , 'SIZE', '=', <number>  }