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

N51 = N0 È { < ol_li > | < ol_li > → '<' 'LI' '>' <flow >  Î P, '<' 'LI' '>' <flow > Î (N0ÈT)*} = {…, < flow >, < ol_li >}

N52 = N0 È { < ol_cont > | < ol_cont > → < ol_cont > < ol_li > Î P, < ol_li > Î (N0ÈT)*} = {…, < ol_li >, < ol_cont >}

N53 = N0 È { < ol > | < ol > → '<' 'OL' '>' <ol_cont> '<' '/' 'OL' '>'  Î P, <ol_cont> '<' '/' 'OL' '>' Î (N0ÈT)*} = {…, < ol_cont >, < ol >}

N54 = N0 È { < ul_li > | < ul_li > → '<' 'LI' '>' <flow >  Î P, '<' 'LI' '>' <flow > Î (N0ÈT)*} = {…, < flow >, < ul_li >}

N55 = N0 È { < ul_cont > | < ul_cont > → < ul_cont >< ul_li >  Î P, < ul_li > Î (N0ÈT)*} = {…, < ul_li >, < ul_cont >}

N56 = N0 È { < ul > | < ul > → <' 'UL' '>' <ul_cont> '<' '/' 'UL' '>'Î P, <ul_cont> '<' '/' 'UL' '>' Î (N0ÈT)*} = {…, < ul_cont >, < ul >}

N57 = N0 È { < list > | < list > → < ol >  Î P, < ol > Î (N0ÈT)*} = {…, < ol >, < list >}

N58 = N0 È { < dd > | < dd > → '<' 'DD' '>' <flow >  Î P, '<' 'DD' '>' <flow > Î (N0ÈT)*} = {…, < flow >, < dd >}

N59 = N0 È { < dt_cont > | < dt_cont > → < dt_cont >< text >  Î P, < text > Î (N0ÈT)*} = {…, < text >, < dt_cont >}

N60 = N0 È { < dt > | < dt > → '<' 'DT' '>' <dt_cont >  Î P, '<' 'DT' '>' <dt_cont > Î (N0ÈT)*} = {…, < dt_cont >, < dt >}

N61 = N0 È { < dl_cont > | < dl_cont > → < dl_cont >< dd>  Î P, < dd > Î (N0ÈT)*} = {…, < dd >, < dl_cont >}

N62 = N0 È { < dl > | < dl > → '<' 'DL' '>' <dl_cont> '<' '/' 'DL' '>'  Î P, <dl_cont> '<' '/' 'DL' '>' Î (N0ÈT)*} = {…, < dl_cont >, < dl >}

N63 = N0 È { < input_attr > | < input_attr > → < input_attr > 'NAME' '=' string Î P, 'NAME' '=' string Î (N0ÈT)*} = {…, < input_attr >}

N64 = N0 È { < input > | < input > → '<' 'INPUT' <input_attr> '>'  Î P, '<' 'INPUT' <input_attr> '>' Î (N0ÈT)*} = {…, < input_attr >, < input >}

N65 = N0 È { < forms  > | < forms > → < input >  Î P, < input > Î (N0ÈT)*} = {…, < input >, < forms >}

N66 = N0 È { < head_cont > | < head_cont > → < head_cont > < title> Î P, < title > Î (N0ÈT)*} = {…, < title >, < head_cont >}

N67 = N0 È { < head > | < head > → '<' 'HEAD' '>' <head_cont> '<' '/' 'HEAD' '>'  Î P, <head_cont> '<' '/' 'HEAD' '>' Î (N0ÈT)*} = {…, < head_cont >, < head >}

N68 = N0 È { < body_attr > | < body_attr > → < body_attr > 'BACKGROUND' '=' string Î P, 'BACKGROUND' '=' string Î (N0ÈT)*} = {…, < body_attr >}

N69 = N0 È { < body > | < body > → '<' 'BODY' <body_attr> '>' <body_cont> '<' '/' 'BODY' '>'Î P, <body_attr> <body_cont> '<' '/' 'BODY' '>' Î (N0ÈT)*} = {…, < body_attr >,<body_cont>, < body >}

N70 = N0 È { < html > | < html > → '<' 'HTML' '>' <head> <body> '<' '/' 'HTML' '>'  Î P, <head> <body> '<' '/' 'HTML' '>'   Î (N0ÈT)*} = {…, < body >, <head>,< html >}

N71 = N0 È { < document > | < document > → 'DOCTYPE' <html >  Î P, 'DOCTYPE' <html > Î (N0ÈT)*} = {…, < html >, < document >}


string -> litter number

data -> 'DATA'

title -> '<' 'TITLE' '>' data '<' '/' 'TITLE' '>'

script -> '<' 'SCRIPT' '>' data '<' '/' 'SCRIPT' '>'