HTML — HTML 文書／素片の構文解析法

13.2.6.4.1. `初期^md

各 `文書$には `構文解析器は~modeを変更できないか@ が結付けられる — それは、 真偽値をとり，初期~時は ~F 【 “変更できる” 】とする。 ◎ A Document object has an associated parser cannot change the mode flag (a boolean). It is initially false.

［ `挿入~mode$ ~EQ `初期$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "initial" insertion mode, the user agent must handle the token as follows:

文字~token { `~ASCII空白$ } ◎ A character token that is one of U+0009 CHARACTER TABULATION, U+000A LINE FEED (LF), U+000C FORM FEED (FF), U+000D CARRIAGE RETURN (CR), or U+0020 SPACE

1. 現tokenは無視する

◎ Ignore the token.

~comment~token ◎ A comment token

1. `~commentを挿入する$( 現token, `文書$内の末尾 )

◎ Insert a comment as the last child of the Document object.

~DOCTYPE~token ◎ A DOCTYPE token

1. %名前 ~LET 現~token（すなわち，現在の~DOCTYPE~token）の名前 ◎ ↓
2. %~publicID ~LET 現~tokenの~publicID ◎ ↓
3. %~systemID ~LET 現~tokenの~systemID ◎ ↓
4. ~IF［ %名前 ~NEQ `html^l ］~OR［ %~publicID ~NEQ ε ］~OR［ %~systemID ~NIN { ε, `about:legacy-compat＠~HTMLurl#about:legacy-compat$l } ］ ⇒ `~perror$ ◎ If the DOCTYPE token's name is not "html", or the token's public identifier is not missing, or the token's system identifier is neither missing nor "about:legacy-compat", then there is a parse error.

5. %doctype ~LET 新たな `DocumentType$I ~node — その： ◎ Append a DocumentType node to the Document node, with＼

   • `名前$dT ~SET ［ %名前 ~NEQ ε ならば %名前 ／ ~ELSE_ 空~文字列 ］ ◎ its name set to the name given in the DOCTYPE token, or the empty string if the name was missing;＼
   • `公な~ID$dT ~SET ［ %~publicID ~NEQ ε ならば %~publicID ／ ~ELSE_ 空~文字列 ］ ◎ its public ID set to the public identifier given in the DOCTYPE token, or the empty string if the public identifier was missing;＼
   • `~system~ID$dT ~SET ［ %~systemID ~NEQ ε ならば %~systemID ／ ~ELSE_ 空~文字列 ］ ◎ and its system ID set to the system identifier given in the DOCTYPE token, or the empty string if the system identifier was missing.

   注記： これはまた、 当の `DocumentType$I ~nodeは［ 当の`文書$の `doctype$m 属性の値として返される ］ことを確保する。 ◎ This also ensures that the DocumentType node is returned as the value of the doctype attribute of the Document object.

6. `文書$に %doctype を付加する ◎ ↑＼
7. `文書$に %doctype を結付けて， `文書$の `doctype$m 属性が値 %doctype を返すようにする ◎ Associate the DocumentType node with the Document object so that it is returned as the value of the doctype attribute of the Document object.

8. ~IF［ `文書$は`~iframe-srcdoc文書$でない ］~AND［ `文書$の`構文解析器は~modeを変更できないか$ ~EQ ~F ］：

   1. ~IF［ 現~tokenは、 下の `quirks 条件^i に挙げるいずれかの条件を満たす ］ ⇒ `文書$の`~mode$doc ~SET `quirks^l
   2. ~ELIF［ 現~tokenは、 下の `limited-quirks 条件^i に挙げるいずれかの条件を満たす ］ ⇒ `文書$の`~mode$doc ~SET `limited-quirks^l

   ◎ ↓

   `quirks 条件^i： ◎ Then, if the document is not an iframe srcdoc document, and the parser cannot change the mode flag is false, and the DOCTYPE token matches one of the conditions in the following list, then set the Document to quirks mode:

   • `過去互換を強制するか$ ~EQ ~T ◎ The force-quirks flag is set to on.
   • %名前 ~NEQ `html^l ◎ The name is not "html".
   • %~publicID は 次に挙げるいずれかの文字列に合致する ⇒＃ `-//W3O//DTD W3 HTML Strict 3.0//EN//^l, `-/W3C/DTD HTML 4.0 Transitional/EN^l, `HTML^l ◎ • The public identifier is set to: "-//W3O//DTD W3 HTML Strict 3.0//EN//" • The public identifier is set to: "-/W3C/DTD HTML 4.0 Transitional/EN" • The public identifier is set to: "HTML"
   • %~systemID は 次の文字列に合致する ⇒ `http://www.ibm.com/data/dtd/v11/ibmxhtml1-transitional.dtd^l ◎ • The system identifier is set to: "http://www.ibm.com/data/dtd/v11/ibmxhtml1-transitional.dtd"
   • %~publicID は 次に挙げるいずれかの文字列から開始する ⇒＃ `+//Silmaril//dtd html Pro v0r11 19970101//^l, `-//AS//DTD HTML 3.0 asWedit + extensions//^l, `-//AdvaSoft Ltd//DTD HTML 3.0 asWedit + extensions//^l, `-//IETF//DTD HTML 2.0 Level 1//^l, `-//IETF//DTD HTML 2.0 Level 2//^l, `-//IETF//DTD HTML 2.0 Strict Level 1//^l, `-//IETF//DTD HTML 2.0 Strict Level 2//^l, `-//IETF//DTD HTML 2.0 Strict//^l, `-//IETF//DTD HTML 2.0//^l, `-//IETF//DTD HTML 2.1E//^l, `-//IETF//DTD HTML 3.0//^l, `-//IETF//DTD HTML 3.2 Final//^l, `-//IETF//DTD HTML 3.2//^l, `-//IETF//DTD HTML 3//^l, `-//IETF//DTD HTML Level 0//^l, `-//IETF//DTD HTML Level 1//^l, `-//IETF//DTD HTML Level 2//^l, `-//IETF//DTD HTML Level 3//^l, `-//IETF//DTD HTML Strict Level 0//^l, `-//IETF//DTD HTML Strict Level 1//^l, `-//IETF//DTD HTML Strict Level 2//^l, `-//IETF//DTD HTML Strict Level 3//^l, `-//IETF//DTD HTML Strict//^l, `-//IETF//DTD HTML//^l, `-//Metrius//DTD Metrius Presentational//^l, `-//Microsoft//DTD Internet Explorer 2.0 HTML Strict//^l, `-//Microsoft//DTD Internet Explorer 2.0 HTML//^l, `-//Microsoft//DTD Internet Explorer 2.0 Tables//^l, `-//Microsoft//DTD Internet Explorer 3.0 HTML Strict//^l, `-//Microsoft//DTD Internet Explorer 3.0 HTML//^l, `-//Microsoft//DTD Internet Explorer 3.0 Tables//^l, `-//Netscape Comm. Corp.//DTD HTML//^l, `-//Netscape Comm. Corp.//DTD Strict HTML//^l, `-//O'Reilly and Associates//DTD HTML 2.0//^l, `-//O'Reilly and Associates//DTD HTML Extended 1.0//^l, `-//O'Reilly and Associates//DTD HTML Extended Relaxed 1.0//^l, `-//SQ//DTD HTML 2.0 HoTMetaL + extensions//^l, `-//SoftQuad Software//DTD HoTMetaL PRO 6.0::19990601::extensions to HTML 4.0//^l, `-//SoftQuad//DTD HoTMetaL PRO 4.0::19971010::extensions to HTML 4.0//^l, `-//Spyglass//DTD HTML 2.0 Extended//^l, `-//Sun Microsystems Corp.//DTD HotJava HTML//^l, `-//Sun Microsystems Corp.//DTD HotJava Strict HTML//^l, `-//W3C//DTD HTML 3 1995-03-24//^l, `-//W3C//DTD HTML 3.2 Draft//^l, `-//W3C//DTD HTML 3.2 Final//^l, `-//W3C//DTD HTML 3.2//^l, `-//W3C//DTD HTML 3.2S Draft//^l, `-//W3C//DTD HTML 4.0 Frameset//^l, `-//W3C//DTD HTML 4.0 Transitional//^l, `-//W3C//DTD HTML Experimental 19960712//^l, `-//W3C//DTD HTML Experimental 970421//^l, `-//W3C//DTD W3 HTML//^l, `-//W3O//DTD W3 HTML 3.0//^l, `-//WebTechs//DTD Mozilla HTML 2.0//^l, `-//WebTechs//DTD Mozilla HTML//^l ◎ • The public identifier starts with: "+//Silmaril//dtd html Pro v0r11 19970101//" • The public identifier starts with: "-//AS//DTD HTML 3.0 asWedit + extensions//" • The public identifier starts with: "-//AdvaSoft Ltd//DTD HTML 3.0 asWedit + extensions//" • The public identifier starts with: "-//IETF//DTD HTML 2.0 Level 1//" • The public identifier starts with: "-//IETF//DTD HTML 2.0 Level 2//" • The public identifier starts with: "-//IETF//DTD HTML 2.0 Strict Level 1//" • The public identifier starts with: "-//IETF//DTD HTML 2.0 Strict Level 2//" • The public identifier starts with: "-//IETF//DTD HTML 2.0 Strict//" • The public identifier starts with: "-//IETF//DTD HTML 2.0//" • The public identifier starts with: "-//IETF//DTD HTML 2.1E//" • The public identifier starts with: "-//IETF//DTD HTML 3.0//" • The public identifier starts with: "-//IETF//DTD HTML 3.2 Final//" • The public identifier starts with: "-//IETF//DTD HTML 3.2//" • The public identifier starts with: "-//IETF//DTD HTML 3//" • The public identifier starts with: "-//IETF//DTD HTML Level 0//" • The public identifier starts with: "-//IETF//DTD HTML Level 1//" • The public identifier starts with: "-//IETF//DTD HTML Level 2//" • The public identifier starts with: "-//IETF//DTD HTML Level 3//" • The public identifier starts with: "-//IETF//DTD HTML Strict Level 0//" • The public identifier starts with: "-//IETF//DTD HTML Strict Level 1//" • The public identifier starts with: "-//IETF//DTD HTML Strict Level 2//" • The public identifier starts with: "-//IETF//DTD HTML Strict Level 3//" • The public identifier starts with: "-//IETF//DTD HTML Strict//" • The public identifier starts with: "-//IETF//DTD HTML//" • The public identifier starts with: "-//Metrius//DTD Metrius Presentational//" • The public identifier starts with: "-//Microsoft//DTD Internet Explorer 2.0 HTML Strict//" • The public identifier starts with: "-//Microsoft//DTD Internet Explorer 2.0 HTML//" • The public identifier starts with: "-//Microsoft//DTD Internet Explorer 2.0 Tables//" • The public identifier starts with: "-//Microsoft//DTD Internet Explorer 3.0 HTML Strict//" • The public identifier starts with: "-//Microsoft//DTD Internet Explorer 3.0 HTML//" • The public identifier starts with: "-//Microsoft//DTD Internet Explorer 3.0 Tables//" • The public identifier starts with: "-//Netscape Comm. Corp.//DTD HTML//" • The public identifier starts with: "-//Netscape Comm. Corp.//DTD Strict HTML//" • The public identifier starts with: "-//O'Reilly and Associates//DTD HTML 2.0//" • The public identifier starts with: "-//O'Reilly and Associates//DTD HTML Extended 1.0//" • The public identifier starts with: "-//O'Reilly and Associates//DTD HTML Extended Relaxed 1.0//" • The public identifier starts with: "-//SQ//DTD HTML 2.0 HoTMetaL + extensions//" • The public identifier starts with: "-//SoftQuad Software//DTD HoTMetaL PRO 6.0::19990601::extensions to HTML 4.0//" • The public identifier starts with: "-//SoftQuad//DTD HoTMetaL PRO 4.0::19971010::extensions to HTML 4.0//" • The public identifier starts with: "-//Spyglass//DTD HTML 2.0 Extended//" • The public identifier starts with: "-//Sun Microsystems Corp.//DTD HotJava HTML//" • The public identifier starts with: "-//Sun Microsystems Corp.//DTD HotJava Strict HTML//" • The public identifier starts with: "-//W3C//DTD HTML 3 1995-03-24//" • The public identifier starts with: "-//W3C//DTD HTML 3.2 Draft//" • The public identifier starts with: "-//W3C//DTD HTML 3.2 Final//" • The public identifier starts with: "-//W3C//DTD HTML 3.2//" • The public identifier starts with: "-//W3C//DTD HTML 3.2S Draft//" • The public identifier starts with: "-//W3C//DTD HTML 4.0 Frameset//" • The public identifier starts with: "-//W3C//DTD HTML 4.0 Transitional//" • The public identifier starts with: "-//W3C//DTD HTML Experimental 19960712//" • The public identifier starts with: "-//W3C//DTD HTML Experimental 970421//" • The public identifier starts with: "-//W3C//DTD W3 HTML//" • The public identifier starts with: "-//W3O//DTD W3 HTML 3.0//" • The public identifier starts with: "-//WebTechs//DTD Mozilla HTML 2.0//" • The public identifier starts with: "-//WebTechs//DTD Mozilla HTML//"
   • ［ %~systemID ~EQ ε ］~AND［ %~publicID は 次に挙げるいずれかの文字列から開始する ］ ⇒＃ `-//W3C//DTD HTML 4.01 Frameset//^l, `-//W3C//DTD HTML 4.01 Transitional//^l ◎ • The system identifier is missing and the public identifier starts with: "-//W3C//DTD HTML 4.01 Frameset//" • The system identifier is missing and the public identifier starts with: "-//W3C//DTD HTML 4.01 Transitional//"

   `limited-quirks 条件^i： ◎ Otherwise, if the document is not an iframe srcdoc document, and the parser cannot change the mode flag is false, and the DOCTYPE token matches one of the conditions in the following list, then set the Document to limited-quirks mode:

   • %~publicID は 次に挙げるいずれかの文字列から開始する ⇒＃ `-//W3C//DTD XHTML 1.0 Frameset//^l, `-//W3C//DTD XHTML 1.0 Transitional//^l ◎ • The public identifier starts with: "-//W3C//DTD XHTML 1.0 Frameset//" • The public identifier starts with: "-//W3C//DTD XHTML 1.0 Transitional//"
   • ［ %~systemID ~NEQ ε ］~AND［ %~publicID は 次に挙げるいずれかの文字列から開始する ］ ⇒＃ `-//W3C//DTD HTML 4.01 Frameset//^l, `-//W3C//DTD HTML 4.01 Transitional//^l ◎ • The system identifier is not missing and the public identifier starts with: "-//W3C//DTD HTML 4.01 Frameset//" • The system identifier is not missing and the public identifier starts with: "-//W3C//DTD HTML 4.01 Transitional//"

   上に与えた各~条件においては、［ %~systemID, %~publicID ］とも，（非 ε ならば）`~ASCII大小無視$で比較するモノトスル。 ◎ ↑↑The system identifier and public identifier strings must be compared to the values given in the lists above in an ASCII case-insensitive manner. A system identifier whose value is the empty string is not considered missing for the purposes of the conditions above.

9. `挿入~mode$ ~SET `~htmlの前$md ◎ Then, switch the insertion mode to "before html".

~AnyElse

1. ~IF［ `文書$は`~iframe-srcdoc文書$でない ］：

   1. `~perror$
   2. ~IF［ `文書$の`構文解析器は~modeを変更できないか$ ~EQ ~F ］ ⇒ `文書$の`~mode$doc ~SET `quirks^l
   ◎ If the document is not an iframe srcdoc document, then this is a parse error; if the parser cannot change the mode flag is false, set the Document to quirks mode.
2. `挿入~mode$ ~SET `~htmlの前$md
3. 現tokenを処理し直す ◎ In any case, switch the insertion mode to "before html", then reprocess the token.

13.2.6.4.2. `~htmlの前^md

［ `挿入~mode$ ~EQ `~htmlの前$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "before html" insertion mode, the user agent must handle the token as follows:

~DOCTYPE~token ◎ A DOCTYPE token

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

~comment~token ◎ A comment token

1. `~commentを挿入する$( 現token, `文書$内の末尾 )

◎ Insert a comment as the last child of the Document object.

文字~token { `~ASCII空白$ } ◎ A character token that is one of U+0009 CHARACTER TABULATION, U+000A LINE FEED (LF), U+000C FORM FEED (FF), U+000D CARRIAGE RETURN (CR), or U+0020 SPACE

1. 現tokenは無視する

◎ Ignore the token.

開始~tag { `html^l } ◎ A start tag whose tag name is "html"

1. %html ~LET `~tokenから要素を作成する$( 現token, `~HTML名前空間$, `文書$ ) ◎ Create an element for the token in the HTML namespace, with the Document as the intended parent.＼
2. `文書$に %html を付加する ◎ Append it to the Document object.＼
3. `~open要素~stack$に %html を~pushする ◎ Put this element in the stack of open elements.
4. `挿入~mode$ ~SET `~headの前$md ◎ Switch the insertion mode to "before head".

終了~tag { `head^l, `body^l, `html^l, `br^l } ◎ An end tag whose tag name is one of: "head", "body", "html", "br"

1. ~GOTO ~AnyElse

◎ Act as described in the "anything else" entry below.

その他の終了~tag ◎ Any other end tag

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

~AnyElse

1. %html ~LET 新たな `html$e 要素 ◎ Create an html element＼
2. %html の`~node文書$ ~SET `文書$ ◎ whose node document is the Document object.＼
3. `文書$に %html を付加する ◎ Append it to the Document object.＼
4. `~open要素~stack$に %html を~pushする ◎ Put this element in the stack of open elements.
5. `挿入~mode$ ~SET `~headの前$md ◎ Switch the insertion mode to "before head",＼
6. 現tokenを処理し直す ◎ then reprocess the token.

`文書~要素$は — 例えば~scriptにより — `文書$から除去される結果になり得る。 そのような事例でも，特に何も起こらず、 次~節に述べるとおり， 内容は~nodeたち 【すなわち、文書~要素, またはその子孫】 に付加され続ける。 ◎ The document element can end up being removed from the Document object, e.g. by scripts; nothing in particular happens in such cases, content continues being appended to the nodes as described in the next section.

13.2.6.4.3. `~headの前^md

［ `挿入~mode$ ~EQ `~headの前$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "before head" insertion mode, the user agent must handle the token as follows:

文字~token { `~ASCII空白$ } ◎ A character token that is one of U+0009 CHARACTER TABULATION, U+000A LINE FEED (LF), U+000C FORM FEED (FF), U+000D CARRIAGE RETURN (CR), or U+0020 SPACE

1. 現tokenは無視する

◎ Ignore the token.

~comment~token ◎ A comment token

1. `~commentを挿入する$( 現token )

◎ Insert a comment.

~DOCTYPE~token ◎ A DOCTYPE token

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

開始~tag { `html^l } ◎ A start tag whose tag name is "html"

1. `~body内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in body" insertion mode.

開始~tag { `head^l } ◎ A start tag whose tag name is "head"

1. %head ~LET `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.
2. `~head要素~pointer$ ~SET %head ◎ Set the head element pointer to the newly created head element.
3. `挿入~mode$ ~SET `~head内$md ◎ Switch the insertion mode to "in head".

終了~tag { `head^l, `body^l, `html^l, `br^l } ◎ An end tag whose tag name is one of: "head", "body", "html", "br"

1. ~GOTO ~AnyElse

◎ Act as described in the "anything else" entry below.

その他の終了~tag ◎ Any other end tag

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

~AnyElse

1. %head ~LET `要素を挿入する$( 新たな開始~tag~token( `head^l ) ) ◎ Insert an HTML element for a "head" start tag token with no attributes.
2. `~head要素~pointer$ ~SET %head ◎ Set the head element pointer to the newly created head element.
3. `挿入~mode$ ~SET `~head内$md ◎ Switch the insertion mode to "in head".
4. 現tokenを処理し直す ◎ Reprocess the current token.

13.2.6.4.4. `~head内^md

［ `挿入~mode$ ~EQ `~head内$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "in head" insertion mode, the user agent must handle the token as follows:

文字~token { `~ASCII空白$ } ◎ A character token that is one of U+0009 CHARACTER TABULATION, U+000A LINE FEED (LF), U+000C FORM FEED (FF), U+000D CARRIAGE RETURN (CR), or U+0020 SPACE

1. `文字を挿入する$( ~tokenの文字 )

◎ Insert the character.

~comment~token ◎ A comment token

1. `~commentを挿入する$( 現token )

◎ Insert a comment.

~DOCTYPE~token ◎ A DOCTYPE token

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

開始~tag { `html^l } ◎ A start tag whose tag name is "html"

1. `~body内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in body" insertion mode.

開始~tag { `base^l, `basefont^l, `bgsound^l, `link^l } ◎ A start tag whose tag name is one of: "base", "basefont", "bgsound", "link"

1. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.＼
2. `~open要素~stack$から~popする ◎ Immediately pop the current node off the stack of open elements.
3. ~IF［ 現tokenの`自己閉じか$ ~EQ ~T ］ ⇒ `自己閉じを承認する$( 現token ) ◎ Acknowledge the token's self-closing flag, if it is set.

開始~tag { `meta^l } ◎ A start tag whose tag name is "meta"

1. %meta ~LET `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.＼
2. `~open要素~stack$から~popする ◎ Immediately pop the current node off the stack of open elements.
3. ~IF［ 現tokenの`自己閉じか$ ~EQ ~T ］ ⇒ `自己閉じを承認する$( 現token ) ◎ Acknowledge the token's self-closing flag, if it is set.

4. ~IF［ `作動中な投機的な~HTML構文解析器$ ~EQ ~NULL ］： ◎ If the active speculative HTML parser is null, then:

   1. ~IF［ `確度$ ~NEQ `暫定的^i ］ ⇒ ~RET ◎ ↓

   2. ~IF［ %meta は `charset$a 属性を有する ］：

      1. %符号化法 ~LET `~labelから符号化法を取得する$( `charset$a 属性の値 )

      2. ~IF［ %符号化法 ~NEQ `失敗^i ］：

         1. `符号化法を変更する$( %符号化法 )
         2. ~RET
      ◎ If the element has a charset attribute, and getting an encoding from its value results in an encoding, and the confidence is currently tentative, then change the encoding to the resulting encoding.

   3. ~IF［ %meta は `http-equiv$a 属性を有していて その値 ~EQ`大小無視$sub `Content-Type^l ］~AND［ %meta は `content$a 属性を有する ］：

      1. %符号化法 ~LET `~meta要素から符号化法を抽出する$( `content$a 属性の値 )
      2. ~IF［ %符号化法 ~NEQ ε ］ ⇒ `符号化法を変更する$( %符号化法 )
      ◎ Otherwise, if the element has an http-equiv attribute whose value is an ASCII case-insensitive match for the string "Content-Type", and the element has a content attribute, and applying the algorithm for extracting a character encoding from a meta element to that attribute's value returns an encoding, and the confidence is currently tentative, then change the encoding to the extracted encoding.

注記： 実装の複階性を抑制するため、 `投機的な~HTML構文解析器$においては，符号化法~宣言は投機的に適用されない。 ◎ The speculative HTML parser doesn't speculatively apply character encoding declarations in order to reduce implementation complexity.

開始~tag { `title^l } ◎ A start tag whose tag name is "title"

1. `~RCDATA要素の汎用~構文解析~algo$( 現token )

◎ Follow the generic RCDATA element parsing algorithm.

開始~tag { `noframes^l, `style^l } ◎ A start tag whose tag name is "noscript", if the scripting flag is enabled ◎ A start tag whose tag name is one of: "noframes", "style"

1. `生~text要素の汎用~構文解析~algo$( 現token )

◎ Follow the generic raw text element parsing algorithm.

開始~tag { `noscript^l } ◎ A start tag whose tag name is "noscript", if the scripting flag is disabled

1. ~IF［ `~scripting~flag$ ~EQ `可能化^i ］：

   1. `生~text要素の汎用~構文解析~algo$( 現token )
   2. ~RET
   ◎ ↑↑
2. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.
3. `挿入~mode$ ~SET `~head~noscript内$md ◎ Switch the insertion mode to "in head noscript".

開始~tag { `script^l } ◎ A start tag whose tag name is "script" ◎ Run these steps:

1. %調整-済み挿入-先 ~LET `適切な~node挿入-先$( `現在の~node$ ) ◎ Let the adjusted insertion location be the appropriate place for inserting a node.
2. %script ~LET `~tokenから要素を作成する$( 現token, `~HTML名前空間$, %調整-済み挿入-先 が所属する要素 ) ◎ Create an element for the token in the HTML namespace, with the intended parent being the element in which the adjusted insertion location finds itself.

3. %script の ⇒＃ `構文解析器~文書$scE ~SET `文書$, `非同期cを強制するか$scE ~SET ~F ◎ Set the element's parser document to the Document, and set the element's force async to false.

   注記： これは、［ %script が外部~scriptを与えている場合に，~script内の `document.write()$c の~callは~in-lineに実行する ］ことを確保する — 他のほとんどの事例では、 それは，文書を吹飛ばすことになる。 また、 終了~tagに出くわすまで %script を実行されるのも防ぐ。 ◎ This ensures that, if the script is external, any document.write() calls in the script will execute in-line, instead of blowing the document away, as would happen in most other cases. It also prevents the script from executing until the end tag is seen.

4. ~IF［ %構文解析器 は`~HTML素片~用$である （`素片~事例$） ］ ⇒ %script の`すでに開始したか$scE ~SET ~T ◎ If the parser was created as part of the HTML fragment parsing algorithm, then set the script element's already started to true. (fragment case)

5. 任意選択で ⇒ ~IF［ %構文解析器 は［ `document.write()$c ／ `document.writeln()$c ］~methodを介して呼出されている ］ ⇒ %script の`すでに開始したか$scE ~SET ~T

   （例えば~UAは，［ ~networkが遅い／ ~pageを読込むのに長時間かかっていた ］条件~下では、 この条項を利用して，挿入された`非同一-生成元$~scriptの実行を防ぐかもしれない。）

   ◎ If the parser was invoked via the document.write() or document.writeln() methods, then optionally set the script element's already started to true. (For example, the user agent might use this clause to prevent execution of cross-origin scripts inserted via document.write() under slow network conditions, or when the page has already taken a long time to load.)
6. %script を %調整-済み挿入-先 に挿入する ◎ Insert the newly created element at the adjusted insertion location.
7. `~open要素~stack$に %script を~pushする ◎ Push the element onto the stack of open elements so that it is the new current node.
8. ~tokenizerを `~script~data$st に`切替える$ ◎ Switch the tokenizer to the script data state.

9. `元の挿入~mode$V ~LET 現在の`挿入~mode$ ◎ Let the original insertion mode be the current insertion mode.

10. `挿入~mode$ ~SET `~text$md ◎ Switch the insertion mode to "text".

終了~tag { `head^l } ◎ An end tag whose tag name is "head"

1. ~Assert： `現在の~node$は `head$e 要素である ◎ ↓
2. `~open要素~stack$から~popする ◎ Pop the current node (which will be the head element) off the stack of open elements.
3. `挿入~mode$ ~SET `~headの後$md ◎ Switch the insertion mode to "after head".

終了~tag { `body^l, `html^l, `br^l } ◎ An end tag whose tag name is one of: "body", "html", "br"

1. ~GOTO ~AnyElse

◎ Act as described in the "anything else" entry below.

開始~tag { `template^l } ◎ A start tag whose tag name is "template"

1. %~template開始~tag ~LET 現token【！the start tag】 ◎ Let template start tag be the start tag.
2. `作動中な整形~要素~list$に`~marker$を付加する ◎ Insert a marker at the end of the list of active formatting elements.
3. `~frameset-ok~flag$ ~SET `not-ok^i ◎ Set the frameset-ok flag to "not ok".
4. `挿入~mode$ ~SET `~template内$md ◎ Switch the insertion mode to "in template".
5. `~template挿入~mode~stack$に`~template内$mdを~pushする ◎ Push "in template" onto the stack of template insertion modes so that it is the new current template insertion mode.
6. %調整-済み挿入-先 ~LET `適切な~node挿入-先$ ◎ Let the adjusted insertion location be the appropriate place for inserting a node.
7. %意図された親 ~LET %調整-済み挿入-先 が所属する要素 ◎ Let intended parent be the element in which the adjusted insertion location finds itself.
8. %文書 ~LET %意図された親 の`~node文書$ ◎ Let document be intended parent's node document.

9. ~IF［ ~OR↓ ］… ◎ If any of the following are false:

   • %~template開始~tag の `shadowrootmode$a 属性の状態 ~EQ `なし$ast ◎ template start tag's shadowrootmode is not in the none state;
   • %文書 の`宣言的な~shadow根を許容するか$doc ~EQ ~F ◎ document's allow declarative shadow roots is true; or
   • `現在の調整-済み~node$ ~EQ `~open要素~stack$の先頭にある要素 ◎ the adjusted current node is not the topmost element in the stack of open elements,

   …ならば：

   1. `要素を挿入する$( %~template開始~tag【！the token】 )
   2. ~RET

   ◎ then insert an HTML element for the token. ◎ Otherwise:
10. %宣言的~shadowの~host要素 ~LET `現在の調整-済み~node$ ◎ Let declarative shadow host element be adjusted current node.
11. %~template ~LET `要素を挿入する$( %~template開始~tag, `~HTML名前空間$, ~T ) ◎ Let template be the result of insert a foreign element for template start tag, with HTML namespace and true.
12. %~mode ~LET %~template開始~tag の `shadowrootmode$a 属性の値 ◎ Let mode be template start tag's shadowrootmode attribute's value.
13. %~clone可能か ~LET ~IS［ %~template開始~tag は `shadowrootclonable$a 属性を有する ］ ◎ Let clonable be true if template start tag has a shadowrootclonable attribute; otherwise false.
14. %直列化-可能か ~LET ~IS［ %~template開始~tag は `shadowrootserializable$a 属性を有する ］ ◎ Let serializable be true if template start tag has a shadowrootserializable attribute; otherwise false.
15. %~focusを委任するか ~LET ~IS［ %~template開始~tag は `shadowrootdelegatesfocus$a 属性を有する ］ ◎ Let delegatesFocus be true if template start tag has a shadowrootdelegatesfocus attribute; otherwise false.
16. ~IF［ %宣言的~shadowの~host要素 は`~shadow~host$である ］ ⇒ `要素を調整-済み挿入-先に挿入する$( %~template ) ◎ If declarative shadow host element is a shadow host, then insert an element at the adjusted insertion location with template.

17. ~ELSE： ◎ Otherwise:

    1. `~shadow根を付する$( ↓ ) ⇒＃ %宣言的~shadowの~host要素, %~mode, %~clone可能か, %直列化-可能か, %~focusを委任するか, `named^l ◎ Attach a shadow root with declarative shadow host element, mode, clonable, serializable, delegatesFocus, and "named".

       例外が投出されたときは、 ~catchして： ◎ If an exception is thrown, then catch it and:

       1. `要素を調整-済み挿入-先に挿入する$( %~template ) ◎ Insert an element at the adjusted insertion location with template.
       2. 任意選択で ⇒ 開発者~consoleへ~errorを報告する ◎ The user agent may report an error to the developer console.
       3. ~RET ◎ Return.
    2. %~shadow ~LET %宣言的~shadowの~host要素 の`~shadow根$el ◎ Let shadow be declarative shadow host element's shadow root.
    3. %~shadow の`宣言的か$sR ~SET ~T ◎ Set shadow's declarative to true. ◎ ↓
    4. %~template【！`template$e】 の`~template内容$ ~SET %~shadow ◎ Set template's template contents property to shadow.
    5. %~shadow の`要素の内部特能から可用か$sR ~SET ~T ◎ Set shadow's available to element internals to true.

終了~tag { `template^l } ◎ An end tag whose tag name is "template"

1. ~IF［ `~open要素~stack$内には `template$e 要素は無い ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If there is no template element on the stack of open elements, then this is a parse error; ignore the token. ◎ Otherwise, run these steps:

2. `暗黙な終了~tagすべてを生成する$ ◎ Generate all implied end tags thoroughly.

3. ~IF［ `現在の~node$は `template$e 要素でない ］ ⇒ `~perror$ ◎ If the current node is not a template element, then this is a parse error.
4. `template$e 要素が`出るまで~open要素~stackから~popする$ ◎ Pop elements from the stack of open elements until a template element has been popped from the stack.
5. `作動中な整形~要素~listを最後の~markerまで~clearする$ ◎ Clear the list of active formatting elements up to the last marker.
6. `~template挿入~mode~stack$から~popする ◎ Pop the current template insertion mode off the stack of template insertion modes.
7. `挿入~modeを適切に設定し直す$ ◎ Reset the insertion mode appropriately.

開始~tag { `head^l } ◎ A start tag whose tag name is "head"

その他の終了~tag ◎ Any other end tag

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

~AnyElse

1. ~Assert： `現在の~node$は `head$e 要素である ◎ ↓
2. `~open要素~stack$から~popする ◎ Pop the current node (which will be the head element) off the stack of open elements.
3. `挿入~mode$ ~SET `~headの後$md ◎ Switch the insertion mode to "after head".
4. 現tokenを処理し直す ◎ Reprocess the token.

13.2.6.4.5. `~head~noscript内^md

［ `挿入~mode$ ~EQ `~head~noscript内$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "in head noscript" insertion mode, the user agent must handle the token as follows:

~DOCTYPE~token ◎ A DOCTYPE token

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

開始~tag { `html^l } ◎ A start tag whose tag name is "html"

1. `~body内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in body" insertion mode.

終了~tag { `noscript^l } ◎ An end tag whose tag name is "noscript"

1. ~Assert： `現在の~node$は `noscript$e 要素である ◎ ↓
2. `~open要素~stack$から~popする ◎ Pop the current node (which will be a noscript element) from the stack of open elements;＼
3. ~Assert： `現在の~node$は `head$e 要素である ◎ the new current node will be a head element.
4. `挿入~mode$ ~SET `~head内$md ◎ Switch the insertion mode to "in head".

文字~token { `~ASCII空白$ } ◎ A character token that is one of U+0009 CHARACTER TABULATION, U+000A LINE FEED (LF), U+000C FORM FEED (FF), U+000D CARRIAGE RETURN (CR), or U+0020 SPACE

~comment~token ◎ A comment token

開始~tag { `basefont^l, `bgsound^l, `link^l, `meta^l, `noframes^l, `style^l } ◎ A start tag whose tag name is one of: "basefont", "bgsound", "link", "meta", "noframes", "style"

1. `~head内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in head" insertion mode.

終了~tag { `br^l } ◎ An end tag whose tag name is "br"

1. ~GOTO ~AnyElse

◎ Act as described in the "anything else" entry below.

開始~tag { `head^l, `noscript^l } ◎ A start tag whose tag name is one of: "head", "noscript"

その他の終了~tag ◎ Any other end tag

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

~AnyElse

1. `~perror$ ◎ Parse error.
2. ~Assert： `現在の~node$は `noscript$e 要素である ◎ ↓
3. `~open要素~stack$から~popする ◎ Pop the current node (which will be a noscript element) from the stack of open elements;＼
4. ~Assert： `現在の~node$は `head$e 要素である ◎ the new current node will be a head element.
5. `挿入~mode$ ~SET `~head内$md ◎ Switch the insertion mode to "in head".
6. 現tokenを処理し直す ◎ Reprocess the token.

13.2.6.4.6. `~headの後^md

［ `挿入~mode$ ~EQ `~headの後$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "after head" insertion mode, the user agent must handle the token as follows:

文字~token { `~ASCII空白$ } ◎ A character token that is one of U+0009 CHARACTER TABULATION, U+000A LINE FEED (LF), U+000C FORM FEED (FF), U+000D CARRIAGE RETURN (CR), or U+0020 SPACE

1. `文字を挿入する$( 現tokenの文字 )

◎ Insert the character.

~comment~token ◎ A comment token

1. `~commentを挿入する$( 現token )

◎ Insert a comment.

~DOCTYPE~token ◎ A DOCTYPE token

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

開始~tag { `html^l } ◎ A start tag whose tag name is "html"

1. `~body内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in body" insertion mode.

開始~tag { `body^l } ◎ A start tag whose tag name is "body"

1. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.
2. `~frameset-ok~flag$ ~SET `not-ok^i ◎ Set the frameset-ok flag to "not ok".
3. `挿入~mode$ ~SET `~body内$md ◎ Switch the insertion mode to "in body".

開始~tag { `frameset^l } ◎ A start tag whose tag name is "frameset"

1. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.
2. `挿入~mode$ ~SET `~frameset内$md ◎ Switch the insertion mode to "in frameset".

開始~tag { `base^l, `basefont^l, `bgsound^l, `link^l, `meta^l, `noframes^l, `script^l, `style^l, `template^l, `title^l } ◎ A start tag whose tag name is one of: "base", "basefont", "bgsound", "link", "meta", "noframes", "script", "style", "template", "title"

1. `~perror$ ◎ Parse error.
2. `~open要素~stack$に `~head要素~pointer$が指す~nodeを~pushする ◎ Push the node pointed to by the head element pointer onto the stack of open elements.
3. `~head内$md`用の規則を利用して$現tokenを処理する ◎ Process the token using the rules for the "in head" insertion mode.

4. `~open要素~stack$から `~head要素~pointer$が指す~nodeを除去する （この時点では、 それは`現在の~node$でないかもしれない） ◎ Remove the node pointed to by the head element pointer from the stack of open elements. (It might not be the current node at this point.)

   注記： この時点では、 `~head要素~pointer$は ~NULL になり得ない。 ◎ The head element pointer cannot be null at this point.

終了~tag { `template^l } ◎ An end tag whose tag name is "template"

1. `~head内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in head" insertion mode.

終了~tag { `body^l, `html^l, `br^l } ◎ An end tag whose tag name is one of: "body", "html", "br"

1. ~GOTO ~AnyElse

◎ Act as described in the "anything else" entry below.

開始~tag { `head^l } ◎ A start tag whose tag name is "head"

その他の終了~tag ◎ Any other end tag

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

~AnyElse

1. `要素を挿入する$( 新たな開始~tag~token( `body^l ) ) ◎ Insert an HTML element for a "body" start tag token with no attributes.
2. `挿入~mode$ ~SET `~body内$md ◎ Switch the insertion mode to "in body".
3. 現tokenを処理し直す ◎ Reprocess the current token.

13.2.6.4.7. `~body内^md

［ `挿入~mode$ ~EQ `~body内$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "in body" insertion mode, the user agent must handle the token as follows:

文字~token { `0000^U } ◎ A character token that is U+0000 NULL

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

文字~token { `~ASCII空白$ } ◎ A character token that is one of U+0009 CHARACTER TABULATION, U+000A LINE FEED (LF), U+000C FORM FEED (FF), U+000D CARRIAGE RETURN (CR), or U+0020 SPACE

1. `作動中な整形~要素たちを構築し直す$ ◎ Reconstruct the active formatting elements, if any.
2. `文字を挿入する$( 現tokenの文字 ) ◎ Insert the token's character.

その他の文字~token ◎ Any other character token

1. `作動中な整形~要素たちを構築し直す$ ◎ Reconstruct the active formatting elements, if any.
2. `文字を挿入する$( 現tokenの文字 ) ◎ Insert the token's character.
3. `~frameset-ok~flag$ ~SET `not-ok^i ◎ Set the frameset-ok flag to "not ok".

~comment~token ◎ A comment token

1. `~commentを挿入する$( 現token )

◎ Insert a comment.

~DOCTYPE~token ◎ A DOCTYPE token

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

開始~tag { `html^l } ◎ A start tag whose tag name is "html"

1. `~perror$ ◎ Parse error.
2. ~IF［ `~open要素~stack$内に `template$e 要素は在る ］ ⇒ ~RET — 現tokenは無視する ◎ If there is a template element on the stack of open elements, then ignore the token.
3. %要素 ~LET `~open要素~stack$の先頭にある要素 ◎ ↓
4. ~tokenの属性~listを成す ~EACH( %属性 ) に対し ⇒ ~IF［ %要素 は［ %属性 と同じ名前の属性 ］を有していない ］ ⇒ %要素 に［ %属性 の［ 名前, 値 ］で与えられる属性 ］を追加する ◎ Otherwise, for each attribute on the token, check to see if the attribute is already present on the top element of the stack of open elements. If it is not, add the attribute and its corresponding value to that element.

開始~tag { `base^l, `basefont^l, `bgsound^l, `link^l, `meta^l, `noframes^l, `script^l, `style^l, `template^l, `title^l } ◎ A start tag whose tag name is one of: "base", "basefont", "bgsound", "link", "meta", "noframes", "script", "style", "template", "title"

終了~tag { `template^l } ◎ An end tag whose tag name is "template"

1. `~head内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in head" insertion mode.

開始~tag { `body^l } ◎ A start tag whose tag name is "body"

1. `~perror$ ◎ Parse error.
2. %body ~LET `~open要素~stack$内に 2 個目の要素が［ 在るならば それ ／ 無いならば ε ］ ◎ ↓
3. ~IF［ %body は `body$e 要素でない ］~OR［ `~open要素~stack$内には `template$e 要素は在る ］（`素片~事例$または`~open要素~stack$内には `template$e 要素は在る） ⇒ ~RET — 現tokenは無視する ◎ If the stack of open elements has only one node on it, if the second element on the stack of open elements is not a body element, or if there is a template element on the stack of open elements, then ignore the token. (fragment case or there is a template element on the stack)
4. `~frameset-ok~flag$ ~SET `not-ok^i ◎ Otherwise, set the frameset-ok flag to "not ok"; then,＼
5. ~tokenの属性~listを成す ~EACH( %属性 ) に対し ⇒ ~IF［ %body は，まだ %属性 を有していない ］ ⇒ %body に %属性 を（対応している値とともに）追加する ◎ for each attribute on the token, check to see if the attribute is already present on the body element (the second element) on the stack of open elements, and if it is not, add the attribute and its corresponding value to that element.

開始~tag { `frameset^l } ◎ A start tag whose tag name is "frameset"

1. `~perror$ ◎ Parse error.
2. %body ~LET `~open要素~stack$内に 2 個目の要素が［ 在るならば それ ／ 無いならば ε ］ ◎ ↓
3. ~IF［ %body は `body$e 要素でない （`素片~事例$または`~open要素~stack$内には `template$e 要素は在る） ］ ⇒ ~RET — 現tokenは無視する ◎ If the stack of open elements has only one node on it, or if the second element on the stack of open elements is not a body element, then ignore the token. (fragment case or there is a template element on the stack)
4. ~IF［ `~frameset-ok~flag$ ~EQ `not-ok^i ］ ⇒ ~RET — 現tokenは無視する ◎ If the frameset-ok flag is set to "not ok", ignore the token. ◎ Otherwise, run the following steps:
5. ~IF［ %body の親~nodeは在る ］ ⇒ %body を親~nodeから除去する ◎ Remove the second element on the stack of open elements from its parent node, if it has one.
6. ~WHILE［ `現在の~node$は根 `html$e 要素でない ］ ⇒ `~open要素~stack$から~popする ◎ Pop all the nodes from the bottom of the stack of open elements, from the current node up to, but not including, the root html element.
7. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.
8. `挿入~mode$ ~SET `~frameset内$md ◎ Switch the insertion mode to "in frameset".

~eof~token ◎ An end-of-file token

1. ~IF［ `~template挿入~mode~stack$は空でない ］：

   1. `~template内$md`用の規則を利用して$現tokenを処理する
   2. ~RET
   ◎ If the stack of template insertion modes is not empty, then process the token using the rules for the "in template" insertion mode. ◎ Otherwise, follow these steps:

2. ~IF［ `~open要素~stack$内に，次に挙げる要素~型~以外の~nodeは在る ］… ⇒ `dd$e, `dt$e, `li$e, `optgroup$e, `option$e, `p$e, `rb$e, `rp$e, `rt$e, `rtc$e, `tbody$e, `td$e, `tfoot$e, `th$e, `thead$e, `tr$e, `body$e, `html$e

   …ならば ⇒ `~perror$

   ◎ If there is a node in the stack of open elements that is not either a dd element, a dt element, an li element, an optgroup element, an option element, a p element, an rb element, an rp element, an rt element, an rtc element, a tbody element, a td element, a tfoot element, a th element, a thead element, a tr element, the body element, or the html element, then this is a parse error.
3. `構文解析を停止する$ ◎ Stop parsing.

終了~tag { `body^l } ◎ An end tag whose tag name is "body"

1. ~IF［ `視野~内$に無い( `既定の視野$, `body^e ) ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the stack of open elements does not have a body element in scope, this is a parse error; ignore the token.

2. ~IF［ `~open要素~stack$内に，次に挙げる要素~型~以外の~nodeは在る ］… ⇒ `dd$e, `dt$e, `li$e, `optgroup$e, `option$e, `p$e, `rb$e, `rp$e, `rt$e, `rtc$e, `tbody$e, `td$e, `tfoot$e, `th$e, `thead$e, `tr$e, `body$e, `html$e

   …ならば ⇒ `~perror$

   ◎ Otherwise, if there is a node in the stack of open elements that is not either a dd element, a dt element, an li element, an optgroup element, an option element, a p element, an rb element, an rp element, an rt element, an rtc element, a tbody element, a td element, a tfoot element, a th element, a thead element, a tr element, the body element, or the html element, then this is a parse error.
3. `挿入~mode$ ~SET `~bodyの後$md ◎ Switch the insertion mode to "after body".

終了~tag { `html^l } ◎ An end tag whose tag name is "html"

1. ~IF［ `視野~内$に無い( `既定の視野$, `body^e ) ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the stack of open elements does not have a body element in scope, this is a parse error; ignore the token.

2. ~IF［ `~open要素~stack$内に，次に挙げる要素~型~以外の~nodeは在る ］… ⇒ `dd$e, `dt$e, `li$e, `optgroup$e, `option$e, `p$e, `rb$e, `rp$e, `rt$e, `rtc$e, `tbody$e, `td$e, `tfoot$e, `th$e, `thead$e, `tr$e, `body$e, `html$e

   …ならば ⇒ `~perror$

   ◎ Otherwise, if there is a node in the stack of open elements that is not either a dd element, a dt element, an li element, an optgroup element, an option element, a p element, an rb element, an rp element, an rt element, an rtc element, a tbody element, a td element, a tfoot element, a th element, a thead element, a tr element, the body element, or the html element, then this is a parse error.
3. `挿入~mode$ ~SET `~bodyの後$md ◎ Switch the insertion mode to "after body".
4. 現tokenを処理し直す ◎ Reprocess the token.

開始~tag { `address^l, `article^l, `aside^l, `blockquote^l, `center^l, `details^l, `dialog^l, `dir^l, `div^l, `dl^l, `fieldset^l, `figcaption^l, `figure^l, `footer^l, `header^l, `hgroup^l, `main^l, `menu^l, `nav^l, `ol^l, `p^l, `search^l, `section^l, `summary^l, `ul^l } ◎ A start tag whose tag name is one of: "address", "article", "aside", "blockquote", "center", "details", "dialog", "dir", "div", "dl", "fieldset", "figcaption", "figure", "footer", "header", "hgroup", "main", "menu", "nav", "ol", "p", "search", "section", "summary", "ul"

1. ~IF［ `視野~内$に在る( `~button視野$, `p^e ) ］ ⇒ `~p要素を閉じる$ ◎ If the stack of open elements has a p element in button scope, then close a p element.
2. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.

開始~tag { `h1^l, `h2^l, `h3^l, `h4^l, `h5^l, `h6^l } ◎ A start tag whose tag name is one of: "h1", "h2", "h3", "h4", "h5", "h6"

1. ~IF［ `視野~内$に在る( `~button視野$, `p^e ) ］ ⇒ `~p要素を閉じる$ ◎ If the stack of open elements has a p element in button scope, then close a p element.

2. ~IF［ `現在の~node$は`~HTML要素$である ］~AND［ その~tag名 ~IN { `h1^l, `h2^l, `h3^l, `h4^l, `h5^l, `h6^l } ］：

   1. `~perror$
   2. `~open要素~stack$から~popする
   ◎ If the current node is an HTML element whose tag name is one of "h1", "h2", "h3", "h4", "h5", or "h6", then this is a parse error; pop the current node off the stack of open elements.
3. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.

開始~tag { `pre^l, `listing^l } ◎ A start tag whose tag name is one of: "pre", "listing"

1. ~IF［ `視野~内$に在る( `~button視野$, `p^e ) ］ ⇒ `~p要素を閉じる$ ◎ If the stack of open elements has a p element in button scope, then close a p element.
2. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.
3. `次回の~LF文字~tokenは無視するようにしておく$ ◎ If the next token is a U+000A LINE FEED (LF) character token, then ignore that token and move on to the next one. (Newlines at the start of pre blocks are ignored as an authoring convenience.)
4. `~frameset-ok~flag$ ~SET `not-ok^i ◎ Set the frameset-ok flag to "not ok".

開始~tag { `form^l } ◎ A start tag whose tag name is "form"

1. ~IF［ `~form要素~pointer$ ~NEQ ~NULL ］~AND［ `~open要素~stack$内には `template$e 要素は無い ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the form element pointer is not null, and there is no template element on the stack of open elements, then this is a parse error; ignore the token. ◎ Otherwise:
2. ~IF［ `視野~内$に在る( `~button視野$, `p^e ) ］ ⇒ `~p要素を閉じる$ ◎ If the stack of open elements has a p element in button scope, then close a p element.
3. %要素 ~LET `要素を挿入する$( 現token ) ◎ ↓
4. ~IF［ `~open要素~stack$内には `template$e 要素は無い ］ ⇒ `~form要素~pointer$ ~SET %要素 ◎ Insert an HTML element for the token, and, if there is no template element on the stack of open elements, set the form element pointer to point to the element created.

開始~tag { `li^l } ◎ A start tag whose tag name is "li" ◎ Run these steps:

1. `~frameset-ok~flag$ ~SET `not-ok^i ◎ Set the frameset-ok flag to "not ok".

2. `~open要素~stack$を成す ~EACH( %~node ) に対し，末尾から順に： ◎ Initialize node to be the current node (the bottommost node of the stack).

   1. ~IF［ %~node は `li$e 要素である ］： ◎ Loop: If node is an li element, then run these substeps:

      1. `暗黙な終了~tagたちを生成する$( `li$e ) ◎ Generate implied end tags, except for li elements.
      2. ~IF［ `現在の~node$は `li$e 要素でない ］ ⇒ `~perror$ ◎ If the current node is not an li element, then this is a parse error.
      3. `li$e 要素が`出るまで~open要素~stackから~popする$ ◎ Pop elements from the stack of open elements until an li element has been popped from the stack.
      4. ~BREAK ◎ Jump to the step labeled done below.
   2. ~IF［ %~node は`特別$である ］~AND［ %~node は［ `address$e, `div$e, `p$e ］要素ではない ］ ⇒ ~BREAK ◎ If node is in the special category, but is not an address, div, or p element, then jump to the step labeled done below. ◎ Otherwise, set node to the previous entry in the stack of open elements and return to the step labeled loop.
3. ~IF［ `視野~内$に在る( `~button視野$, `p^e ) ］ ⇒ `~p要素を閉じる$ ◎ Done: If the stack of open elements has a p element in button scope, then close a p element.
4. `要素を挿入する$( 現token ) ◎ Finally, insert an HTML element for the token.

開始~tag { `dd^l, `dt^l } ◎ A start tag whose tag name is one of: "dd", "dt" ◎ Run these steps:

1. `~frameset-ok~flag$ ~SET `not-ok^i ◎ Set the frameset-ok flag to "not ok".

2. `~open要素~stack$を成す ~EACH( %~node ) に対し，末尾から順に： ◎ Initialize node to be the current node (the bottommost node of the stack).

   1. ~IF［ %~node は `dd$e 要素である ］： ◎ Loop: If node is a dd element, then run these substeps:

      1. `暗黙な終了~tagたちを生成する$( `dd$e ) ◎ Generate implied end tags, except for dd elements.
      2. ~IF［ `現在の~node$は `dd$e 要素でない ］ ⇒ `~perror$ ◎ If the current node is not a dd element, then this is a parse error.
      3. `dd$e 要素が`出るまで~open要素~stackから~popする$ ◎ Pop elements from the stack of open elements until a dd element has been popped from the stack.
      4. ~BREAK ◎ Jump to the step labeled done below.

   2. ~IF［ %~node は `dt$e 要素である ］： ◎ If node is a dt element, then run these substeps:

      1. `暗黙な終了~tagたちを生成する$( `dt$e ) ◎ Generate implied end tags, except for dt elements.
      2. ~IF［ `現在の~node$は `dt$e 要素でない ］ ⇒ `~perror$ ◎ If the current node is not a dt element, then this is a parse error.
      3. `dt$e 要素が`出るまで~open要素~stackから~popする$ ◎ Pop elements from the stack of open elements until a dt element has been popped from the stack.
      4. ~BREAK ◎ Jump to the step labeled done below.
   3. ~IF［ %~node は`特別$であって［ `address$e ／ `div$e ／ `p$e ］ 要素ではない ］ ⇒ ~BREAK ◎ If node is in the special category, but is not an address, div, or p element, then jump to the step labeled done below. ◎ Otherwise, set node to the previous entry in the stack of open elements and return to the step labeled loop.
3. ~IF［ `視野~内$に在る( `~button視野$, `p^e ) ］ ⇒ `~p要素を閉じる$ ◎ Done: If the stack of open elements has a p element in button scope, then close a p element.
4. `要素を挿入する$( 現token ) ◎ Finally, insert an HTML element for the token.

開始~tag { `plaintext^l } ◎ A start tag whose tag name is "plaintext"

1. ~IF［ `視野~内$に在る( `~button視野$, `p^e ) ］ ⇒ `~p要素を閉じる$ ◎ If the stack of open elements has a p element in button scope, then close a p element.
2. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.
3. ~tokenizerを `~PLAINTEXT$st に`切替える$ ◎ Switch the tokenizer to the PLAINTEXT state.

注記： ［ 開始~tagであって［ その~tag名 ~EQ `plaintext^l ］なるもの ］に出くわしたならば、 残りすべての~tokenは，文字~token（および最後の~eof~token）になる — ~tokenizerを `~PLAINTEXT$st から外へ`切替える$仕方はないので。 しかしながら，~tree構築器は、 既存の挿入~modeにあり続けるので， それらの文字~tokenを処理している間に`作動中な整形~要素たちを構築し直す$かもしれない。 このことは、 構文解析器は， `plaintext$e 要素の中へ他の要素を挿入し得ることを意味する。 ◎ Once a start tag with the tag name "plaintext" has been seen, all remaining tokens will be character tokens (and a final end-of-file token) because there is no way to switch the tokenizer out of the PLAINTEXT state. However, as the tree builder remains in its existing insertion mode, it might reconstruct the active formatting elements while processing those character tokens. This means that the parser can insert other elements into the plaintext element.

開始~tag { `button^l } ◎ A start tag whose tag name is "button"

1. ~IF［ `視野~内$に在る( `既定の視野$, `button^e ) ］： ◎ If the stack of open elements has a button element in scope, then run these substeps:

   1. `~perror$ ◎ Parse error.
   2. `暗黙な終了~tagたちを生成する$() ◎ Generate implied end tags.
   3. `button$e 要素が`出るまで~open要素~stackから~popする$ ◎ Pop elements from the stack of open elements until a button element has been popped from the stack.
2. `作動中な整形~要素たちを構築し直す$ ◎ Reconstruct the active formatting elements, if any.
3. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.
4. `~frameset-ok~flag$ ~SET `not-ok^i ◎ Set the frameset-ok flag to "not ok".

終了~tag { `address^l, `article^l, `aside^l, `blockquote^l, `button^l, `center^l, `details^l, `dialog^l, `dir^l, `div^l, `dl^l, `fieldset^l, `figcaption^l, `figure^l, `footer^l, `header^l, `hgroup^l, `listing^l, `main^l, `menu^l, `nav^l, `ol^l, `pre^l, `search^l, `section^l, `summary^l, `ul^l } ◎ An end tag whose tag name is one of: "address", "article", "aside", "blockquote", "button", "center", "details", "dialog", "dir", "div", "dl", "fieldset", "figcaption", "figure", "footer", "header", "hgroup", "listing", "main", "menu", "nav", "ol", "pre", "search", "section", "summary", "ul"

1. ~IF［ `視野~内$に無い( `既定の視野$, 現tokenと~tag名が同じ`~HTML要素$ ) ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the stack of open elements does not have an element in scope that is an HTML element with the same tag name as that of the token, then this is a parse error; ignore the token. ◎ Otherwise, run these steps:
2. `暗黙な終了~tagたちを生成する$() ◎ Generate implied end tags.
3. ~IF［ `現在の~node$は［ 現tokenと~tag名が同じ`~HTML要素$ ］ではない ］ ⇒ `~perror$ ◎ If the current node is not an HTML element with the same tag name as that of the token, then this is a parse error.
4. 現tokenと~tag名が同じ`~HTML要素$が`出るまで~open要素~stackから~popする$ ◎ Pop elements from the stack of open elements until an HTML element with the same tag name as the token has been popped from the stack.

終了~tag { `form^l } ◎ An end tag whose tag name is "form"

1. ~IF［ `~open要素~stack$内には `template$e 要素は無い ］： ◎ If there is no template element on the stack of open elements, then run these substeps:

   1. %~node ~LET ［ `~form要素~pointer$ は要素ならば それ ／ ~ELSE_ ~NULL ］ ◎ Let node be the element that the form element pointer is set to, or null if it is not set to an element.
   2. `~form要素~pointer$ ~SET ~NULL ◎ Set the form element pointer to null.

   3. ~IF［ %~node ~EQ ~NULL ］~OR［ `視野~内$に無い( `既定の視野$, %~node ) ］：

      1. `~perror$
      2. ~RET — 現tokenは無視する
      ◎ If node is null or if the stack of open elements does not have node in scope, then this is a parse error; return and ignore the token.
   4. `暗黙な終了~tagたちを生成する$() ◎ Generate implied end tags.
   5. ~IF［ `現在の~node$ ~NEQ %~node ］ ⇒ `~perror$ ◎ If the current node is not node, then this is a parse error.
   6. `~open要素~stack$から %~node を除去する ◎ Remove node from the stack of open elements.

2. ~IF［ `~open要素~stack$内に `template$e 要素は`在る^em ］： ◎ If there is a template element on the stack of open elements, then run these substeps instead:

   1. ~IF［ `視野~内$に無い( `既定の視野$, `form^e ) ］：

      1. `~perror$
      2. ~RET — 現tokenは無視する
      ◎ If the stack of open elements does not have a form element in scope, then this is a parse error; return and ignore the token.
   2. `暗黙な終了~tagたちを生成する$() ◎ Generate implied end tags.
   3. ~IF［ `現在の~node$は `form$e 要素でない ］ ⇒ `~perror$ ◎ If the current node is not a form element, then this is a parse error.
   4. `form$e 要素が`出るまで~open要素~stackから~popする$ ◎ Pop elements from the stack of open elements until a form element has been popped from the stack.

終了~tag { `p^l } ◎ An end tag whose tag name is "p"

1. ~IF［ `視野~内$に無い( `~button視野$, `p^e ) ］：

   1. `~perror$
   2. `要素を挿入する$( 新たな開始~tag~token( `p^l ) )
   ◎ If the stack of open elements does not have a p element in button scope, then this is a parse error; insert an HTML element for a "p" start tag token with no attributes.
2. `~p要素を閉じる$ ◎ Close a p element.

終了~tag { `li^l } ◎ An end tag whose tag name is "li"

1. ~IF［ `視野~内$に無い( `~list~item視野$, `li^e ) ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the stack of open elements does not have an li element in list item scope, then this is a parse error; ignore the token. ◎ Otherwise, run these steps:
2. `暗黙な終了~tagたちを生成する$( `li$e ) ◎ Generate implied end tags, except for li elements.
3. ~IF［ `現在の~node$は `li$e 要素でない ］ ⇒ `~perror$ ◎ If the current node is not an li element, then this is a parse error.
4. `li$e 要素が`出るまで~open要素~stackから~popする$ ◎ Pop elements from the stack of open elements until an li element has been popped from the stack.

終了~tag { `dd^l, `dt^l } ◎ An end tag whose tag name is one of: "dd", "dt"

1. ~IF［ `視野~内$に無い( `既定の視野$, 現tokenと~tag名が同じ`~HTML要素$ ) ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the stack of open elements does not have an element in scope that is an HTML element with the same tag name as that of the token, then this is a parse error; ignore the token. ◎ Otherwise, run these steps:
2. `暗黙な終了~tagたちを生成する$( 現tokenと~tag名が同じ`~HTML要素$ ) ◎ Generate implied end tags, except for HTML elements with the same tag name as the token.
3. ~IF［ `現在の~node$は［ 現tokenと~tag名が同じ`~HTML要素$ ］ではない ］ ⇒ `~perror$ ◎ If the current node is not an HTML element with the same tag name as that of the token, then this is a parse error.
4. 現tokenと~tag名が同じ`~HTML要素$が`出るまで~open要素~stackから~popする$ ◎ Pop elements from the stack of open elements until an HTML element with the same tag name as the token has been popped from the stack.

終了~tag { `h1^l, `h2^l, `h3^l, `h4^l, `h5^l, `h6^l } ◎ An end tag whose tag name is one of: "h1", "h2", "h3", "h4", "h5", "h6"

1. ~IF［ `視野~内$に無い( `既定の視野$, { `h1^e, `h2^e, `h3^e, `h4^e, `h5^e, `h6^e } ) ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the stack of open elements does not have an element in scope that is an HTML element and whose tag name is one of "h1", "h2", "h3", "h4", "h5", or "h6", then this is a parse error; ignore the token. ◎ Otherwise, run these steps:
2. `暗黙な終了~tagたちを生成する$() ◎ Generate implied end tags.
3. ~IF［ `現在の~node$は［ 現tokenと~tag名が同じ`~HTML要素$ ］ではない ］ ⇒ `~perror$ ◎ If the current node is not an HTML element with the same tag name as that of the token, then this is a parse error.
4. { `h1^e, `h2^e, `h3^e, `h4^e, `h5^e, `h6^e } いずれかの要素が`出るまで~open要素~stackから~popする$ ◎ Pop elements from the stack of open elements until an HTML element whose tag name is one of "h1", "h2", "h3", "h4", "h5", or "h6" has been popped from the stack.

終了~tag { `sarcasm^l } ◎ An end tag whose tag name is "sarcasm"

1. Take a deep breath, then…
2. ~GOTO その他の終了~tag

◎ Take a deep breath, then act as described in the "any other end tag" entry below.

開始~tag { `a^l } ◎ A start tag whose tag name is "a"

1. ~IF［ `作動中な整形~要素~list$内に ~AND↓ を満たす %要素 は在る ］…

   • %要素 は `a$e 要素である
   • ~list内の %要素 より後には`~marker$は無い

   …ならば：

   ◎ If the list of active formatting elements contains an a element between the end of the list and the last marker on the list (or the start of the list if there is no marker on the list), then＼
   1. `~perror$ ◎ this is a parse error;＼
   2. `養子縁組~algo$を走らす( 現token ) ◎ run the adoption agency algorithm for the token, then＼
   3. ［ `作動中な整形~要素~list$, `~open要素~stack$ ］から %要素 を除去する — 前~段による結果、 %要素 は除去されていなければ （`視野~内$に無い( `~table視野$, %要素 ) の場合、 除去されていないかもしれない。） ◎ remove that element from the list of active formatting elements and the stack of open elements if the adoption agency algorithm didn't already remove it (it might not have if the element is not in table scope).

   適合してない~stream `<a href="a">a<table><a href="b">b</table>x^c 内では、 1 個目の `a$e 要素は 2 個目のそれに出くわした所で閉じられ， 文字 `x^l は "a" への~linkではなく "b" への~linkの内側に置かれることになる — 1 個目の `a$e 要素は，~table視野~内に無い （~tableの始端に定例の`</a>^c 終了~tagがあっても， 1 個目の `a$e 要素を閉じないことを意味する） 事実にもかかわらず。 その結果、 この 2 個の `a$e 要素は間接的に互いの内側に 【~markup的な意味で】 入子にされる — 適合してない~markupを構文解析した結果は、 適合してない~DOMになることが多い。 ◎ In the non-conforming stream <a href="a">a<table><a href="b">b</table>x, the first a element would be closed upon seeing the second one, and the "x" character would be inside a link to "b", not to "a". This is despite the fact that the outer a element is not in table scope (meaning that a regular </a> end tag at the start of the table wouldn't close the outer a element). The result is that the two a elements are indirectly nested inside each other — non-conforming markup will often result in non-conforming DOMs when parsed.

2. `作動中な整形~要素たちを構築し直す$ ◎ Reconstruct the active formatting elements, if any.
3. %要素 ~LET `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.＼
4. `作動中な整形~要素~listに~pushする$( %要素 ) ◎ Push onto the list of active formatting elements that element.

開始~tag { `b^l, `big^l, `code^l, `em^l, `font^l, `i^l, `s^l, `small^l, `strike^l, `strong^l, `tt^l, `u^l } ◎ A start tag whose tag name is one of: "b", "big", "code", "em", "font", "i", "s", "small", "strike", "strong", "tt", "u"

1. `作動中な整形~要素たちを構築し直す$ ◎ Reconstruct the active formatting elements, if any.
2. %要素 ~LET `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.＼
3. `作動中な整形~要素~listに~pushする$( %要素 ) ◎ Push onto the list of active formatting elements that element.

開始~tag { `nobr^l } ◎ A start tag whose tag name is "nobr"

1. `作動中な整形~要素たちを構築し直す$ ◎ Reconstruct the active formatting elements, if any.

2. ~IF［ `視野~内$に在る( `既定の視野$, `nobr^e ) ］：

   1. `~perror$
   2. `養子縁組~algo$を走らす( 現token )
   3. `作動中な整形~要素たちを構築し直す$
   ◎ If the stack of open elements has a nobr element in scope, then this is a parse error; run the adoption agency algorithm for the token, then once again reconstruct the active formatting elements, if any.
3. %要素 ~LET `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.＼
4. `作動中な整形~要素~listに~pushする$( %要素 ) ◎ Push onto the list of active formatting elements that element.

終了~tag { `a^l, `b^l, `big^l, `code^l, `em^l, `font^l, `i^l, `nobr^l, `s^l, `small^l, `strike^l, `strong^l, `tt^l, `u^l } ◎ An end tag whose tag name is one of: "a", "b", "big", "code", "em", "font", "i", "nobr", "s", "small", "strike", "strong", "tt", "u"

1. `養子縁組~algo$を走らす( 現token )

◎ Run the adoption agency algorithm for the token.

開始~tag { `applet^l, `marquee^l, `object^l } ◎ A start tag whose tag name is one of: "applet", "marquee", "object"

1. `作動中な整形~要素たちを構築し直す$ ◎ Reconstruct the active formatting elements, if any.
2. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.
3. `作動中な整形~要素~list$に`~marker$を付加する ◎ Insert a marker at the end of the list of active formatting elements.
4. `~frameset-ok~flag$ ~SET `not-ok^i ◎ Set the frameset-ok flag to "not ok".

終了~tag { `applet^l, `marquee^l, `object^l } ◎ An end tag token whose tag name is one of: "applet", "marquee", "object"

1. ~IF［ `視野~内$に無い( `既定の視野$, 現tokenと~tag名が同じ`~HTML要素$ ) ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the stack of open elements does not have an element in scope that is an HTML element with the same tag name as that of the token, then this is a parse error; ignore the token. ◎ Otherwise, run these steps:
2. `暗黙な終了~tagたちを生成する$() ◎ Generate implied end tags.
3. ~IF［ `現在の~node$は［ 現tokenと~tag名が同じ`~HTML要素$ ］ではない ］ ⇒ `~perror$ ◎ If the current node is not an HTML element with the same tag name as that of the token, then this is a parse error.
4. 現tokenと~tag名が同じ`~HTML要素$が`出るまで~open要素~stackから~popする$ ◎ Pop elements from the stack of open elements until an HTML element with the same tag name as the token has been popped from the stack.
5. `作動中な整形~要素~listを最後の~markerまで~clearする$ ◎ Clear the list of active formatting elements up to the last marker.

開始~tag { `table^l } ◎ A start tag whose tag name is "table"

1. ~IF［ `文書$の`~mode$doc ~NEQ `quirks^l ］~AND［ `視野~内$に在る( `~button視野$, `p^e ) ］ ⇒ `~p要素を閉じる$ ◎ If the Document is not set to quirks mode, and the stack of open elements has a p element in button scope, then close a p element.
2. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.
3. `~frameset-ok~flag$ ~SET `not-ok^i ◎ Set the frameset-ok flag to "not ok".
4. `挿入~mode$ ~SET `~table内$md ◎ Switch the insertion mode to "in table".

終了~tag { `br^l } ◎ An end tag whose tag name is "br"

1. `~perror$
2. 現token ~SET 新たな開始~tag~token( `br^l ) とする下で，現tokenを処理し直す

◎ Parse error. Drop the attributes from the token, and act as described in the next entry; i.e. act as if this was a "br" start tag token with no attributes, rather than the end tag token that it actually is.

開始~tag { `area^l, `br^l, `embed^l, `img^l, `keygen^l, `wbr^l } ◎ A start tag whose tag name is one of: "area", "br", "embed", "img", "keygen", "wbr"

1. `作動中な整形~要素たちを構築し直す$ ◎ Reconstruct the active formatting elements, if any.
2. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.＼
3. `~open要素~stack$から~popする ◎ Immediately pop the current node off the stack of open elements.
4. ~IF［ 現tokenの`自己閉じか$ ~EQ ~T ］ ⇒ `自己閉じを承認する$( 現token ) ◎ Acknowledge the token's self-closing flag, if it is set.
5. `~frameset-ok~flag$ ~SET `not-ok^i ◎ Set the frameset-ok flag to "not ok".

開始~tag { `input^l } ◎ A start tag whose tag name is "input"

1. `作動中な整形~要素たちを構築し直す$ ◎ Reconstruct the active formatting elements, if any.
2. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.＼
3. `~open要素~stack$から~popする ◎ Immediately pop the current node off the stack of open elements.
4. ~IF［ 現tokenの`自己閉じか$ ~EQ ~T ］ ⇒ `自己閉じを承認する$( 現token ) ◎ Acknowledge the token's self-closing flag, if it is set.

5. ~IF［ 現token上に ~AND↓ を満たす属性は在る ］…

   • 名前 ~EQ `type^l
   • 値 ~EQ`大小無視$sub `hidden^l

   …ならば ⇒ ~RET

   ◎ If the token does not have an attribute with the name "type", or if it does, but that attribute's value is not an ASCII case-insensitive match for the string "hidden", then:＼
6. `~frameset-ok~flag$ ~SET `not-ok^i ◎ set the frameset-ok flag to "not ok".

開始~tag { `param^l, `source^l, `track^l } ◎ A start tag whose tag name is one of: "param", "source", "track"

1. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.＼
2. `~open要素~stack$から~popする ◎ Immediately pop the current node off the stack of open elements.
3. ~IF［ 現tokenの`自己閉じか$ ~EQ ~T ］ ⇒ `自己閉じを承認する$( 現token ) ◎ Acknowledge the token's self-closing flag, if it is set.

開始~tag { `hr^l } ◎ A start tag whose tag name is "hr"

1. ~IF［ `視野~内$に在る( `~button視野$, `p^e ) ］ ⇒ `~p要素を閉じる$ ◎ If the stack of open elements has a p element in button scope, then close a p element.
2. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.＼
3. `~open要素~stack$から~popする ◎ Immediately pop the current node off the stack of open elements.
4. ~IF［ 現tokenの`自己閉じか$ ~EQ ~T ］ ⇒ `自己閉じを承認する$( 現token ) ◎ Acknowledge the token's self-closing flag, if it is set.
5. `~frameset-ok~flag$ ~SET `not-ok^i ◎ Set the frameset-ok flag to "not ok".

開始~tag { `image^l } ◎ A start tag whose tag name is "image"

1. `~perror$
2. 現tokenの~tag名 ~SET `img^l
3. 現tokenを処理し直す

Don’t ask. 【わけは聞かないでくれ？】

◎ Parse error. Change the token's tag name to "img" and reprocess it. (Don't ask.)

開始~tag { `textarea^l } ◎ A start tag whose tag name is "textarea" ◎ Run these steps:

1. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.
2. `次回の~LF文字~tokenは無視するようにしておく$ ◎ If the next token is a U+000A LINE FEED (LF) character token, then ignore that token and move on to the next one. (Newlines at the start of textarea elements are ignored as an authoring convenience.)
3. ~tokenizerを `~RCDATA$st に`切替える$ ◎ Switch the tokenizer to the RCDATA state.
4. `元の挿入~mode$V ~LET 現在の`挿入~mode$ ◎ Let the original insertion mode be the current insertion mode.
5. `~frameset-ok~flag$ ~SET `not-ok^i ◎ Set the frameset-ok flag to "not ok".
6. `挿入~mode$ ~SET `~text$md ◎ Switch the insertion mode to "text".

開始~tag { `xmp^l } ◎ A start tag whose tag name is "xmp"

1. ~IF［ `視野~内$に在る( `~button視野$, `p^e ) ］ ⇒ `~p要素を閉じる$ ◎ If the stack of open elements has a p element in button scope, then close a p element.
2. `作動中な整形~要素たちを構築し直す$ ◎ Reconstruct the active formatting elements, if any.
3. `~frameset-ok~flag$ ~SET `not-ok^i ◎ Set the frameset-ok flag to "not ok".
4. `生~text要素の汎用~構文解析~algo$( 現token ) ◎ Follow the generic raw text element parsing algorithm.

開始~tag { `iframe^l } ◎ A start tag whose tag name is "iframe"

1. `~frameset-ok~flag$ ~SET `not-ok^i ◎ Set the frameset-ok flag to "not ok".
2. `生~text要素の汎用~構文解析~algo$( 現token ) ◎ Follow the generic raw text element parsing algorithm.

開始~tag { `noembed^l } ◎ A start tag whose tag name is "noembed"

1. `生~text要素の汎用~構文解析~algo$( 現token )

◎ ↓

開始~tag { `noscript^l } ◎ A start tag whose tag name is "noscript", if the scripting flag is enabled

1. ~IF［ `~scripting~flag$ ~NEQ `可能化^i ］ ⇒ ~GOTO その他の開始~tag
2. `生~text要素の汎用~構文解析~algo$( 現token )

◎ Follow the generic raw text element parsing algorithm.

開始~tag { `select^l } ◎ A start tag whose tag name is "select"

1. `作動中な整形~要素たちを構築し直す$ ◎ Reconstruct the active formatting elements, if any.
2. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.
3. `~frameset-ok~flag$ ~SET `not-ok^i ◎ Set the frameset-ok flag to "not ok".
4. `挿入~mode$ ~SET ［ `挿入~mode$ ~IN { `~table内$md, `~caption内$md, `~table~body内$md, `~row内$md, `~cell内$md } ならば `~table内~select内$md ／ ~ELSE_ `~select内$md ］ ◎ If the insertion mode is one of "in table", "in caption", "in table body", "in row", or "in cell", then switch the insertion mode to "in select in table". Otherwise, switch the insertion mode to "in select".

開始~tag { `optgroup^l, `option^l } ◎ A start tag whose tag name is one of: "optgroup", "option"

1. ~IF［ `現在の~node$ は `option$e 要素である ］ ⇒ `~open要素~stack$から~popする ◎ If the current node is an option element, then pop the current node off the stack of open elements.
2. `作動中な整形~要素たちを構築し直す$ ◎ Reconstruct the active formatting elements, if any.
3. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.

開始~tag { `rb^l, `rtc^l } ◎ A start tag whose tag name is one of: "rb", "rtc"

1. ~IF［ `視野~内$に在る( `既定の視野$, `ruby^e ) ］：

   1. `暗黙な終了~tagたちを生成する$()
   2. ~IF［ `現在の~node$は `ruby$e 要素でない ］ ⇒ `~perror$
   ◎ If the stack of open elements has a ruby element in scope, then generate implied end tags. If the current node is not now a ruby element, this is a parse error.
2. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.

開始~tag { `rp^l, `rt^l } ◎ A start tag whose tag name is one of: "rp", "rt"

1. ~IF［ `視野~内$に在る( `既定の視野$, `ruby^e ) ］：

   1. `暗黙な終了~tagたちを生成する$( `rtc$e )
   2. ~IF［ `現在の~node$は［ `rtc$e ／ `ruby$e ］要素でない ］ ⇒ `~perror$
   ◎ If the stack of open elements has a ruby element in scope, then generate implied end tags, except for rtc elements. If the current node is not now a rtc element or a ruby element, this is a parse error.
2. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.

開始~tag { `math^l } ◎ A start tag whose tag name is "math"

1. `作動中な整形~要素たちを構築し直す$ ◎ Reconstruct the active formatting elements, if any.
2. `~MathML属性たちを調整する$( 現token ) （これは、 すべて小文字ではない~MathML属性の文字大小を修正する。） ◎ Adjust MathML attributes for the token. (This fixes the case of MathML attributes that are not all lowercase.)
3. `外来な属性たちを調整する$( 現token ) （これは、 名前空間~付きの属性の利用 — 特に~XLink — を修正する。） ◎ Adjust foreign attributes for the token. (This fixes the use of namespaced attributes, in particular XLink.)
4. `要素を挿入する$( 現token, `~MathML名前空間$ ) ◎ Insert a foreign element for the token, with MathML namespace and false.

5. ~IF［ 現tokenの`自己閉じか$ ~EQ ~T ］：

   1. `~open要素~stack$から~popする
   2. `自己閉じを承認する$( 現token )
   ◎ If the token has its self-closing flag set, pop the current node off the stack of open elements and acknowledge the token's self-closing flag.

開始~tag { `svg^l } ◎ A start tag whose tag name is "svg"

1. `作動中な整形~要素たちを構築し直す$ ◎ Reconstruct the active formatting elements, if any.
2. `~SVG属性たちを調整する$( 現token ) （これは、 すべて小文字ではない~SVG属性の文字大小を修正する。） ◎ Adjust SVG attributes for the token. (This fixes the case of SVG attributes that are not all lowercase.)
3. `外来な属性たちを調整する$( 現token ) （これは、 名前空間~付きの属性の利用 — 特に~SVGにおける~XLink — を修正する。） ◎ Adjust foreign attributes for the token. (This fixes the use of namespaced attributes, in particular XLink in SVG.)
4. `要素を挿入する$( 現token, `~SVG名前空間$ ) ◎ Insert a foreign element for the token, with SVG namespace and false.

5. ~IF［ 現tokenの`自己閉じか$ ~EQ ~T ］：

   1. `~open要素~stack$から~popする
   2. `自己閉じを承認する$( 現token )
   ◎ If the token has its self-closing flag set, pop the current node off the stack of open elements and acknowledge the token's self-closing flag.

開始~tag { `caption^l, `col^l, `colgroup^l, `frame^l, `head^l, `tbody^l, `td^l, `tfoot^l, `th^l, `thead^l, `tr^l } ◎ A start tag whose tag name is one of: "caption", "col", "colgroup", "frame", "head", "tbody", "td", "tfoot", "th", "thead", "tr"

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

その他の開始~tag ◎ Any other start tag

1. `作動中な整形~要素たちを構築し直す$ ◎ Reconstruct the active formatting elements, if any.

2. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.

   注記： この要素は、 `普通の要素$になる。 ただし，例外として、［ `~scripting~flag$ ~EQ `不能化^i ］の場合， `noscript$e 要素にもなり得る。 ◎ This element will be an ordinary element. With one exception: if the scripting flag is disabled, it can also be a noscript element.

その他の終了~tag ◎ Any other end tag ◎ Run these steps:

1. `~open要素~stack$を成す ~EACH( %~node ) に対し，末尾から順に： ◎ Initialize node to be the current node (the bottommost node of the stack).

   1. ~IF［ %~node は現tokenと~tag名が同じ`~HTML要素$である ］： ◎ Loop: If node is an HTML element with the same tag name as the token, then:

      1. `暗黙な終了~tagたちを生成する$( 現tokenと~tag名が同じ`~HTML要素$ ) ◎ Generate implied end tags, except for HTML elements with the same tag name as the token.
      2. ~IF［ %~node は`現在の~node$でない ］ ⇒ `~perror$ ◎ If node is not the current node, then this is a parse error.
      3. %~node が`出るまで~open要素~stackから~popする$ ◎ Pop all the nodes from the current node up to node, including node, then stop these steps.
      4. ~RET

   2. ~IF［ %~node は`特別$である ］：

      1. `~perror$
      2. ~RET — 現tokenは無視する
      ◎ Otherwise, if node is in the special category, then this is a parse error; ignore the token, and return. ◎ Set node to the previous entry in the stack of open elements. ◎ Return to the step labeled loop.

13.2.6.4.8. `~text^md

［ `挿入~mode$ ~EQ `~text$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "text" insertion mode, the user agent must handle the token as follows:

文字~token ◎ A character token

1. `文字を挿入する$( 現tokenの文字 )

◎ Insert the token's character.

注記： この~tokenの文字が、 `0000^U になることは決してない — そのような文字は、 ~tokenizerにより `FFFD^U に変換されるので。 ◎ This can never be a U+0000 NULL character; the tokenizer converts those to U+FFFD REPLACEMENT CHARACTER characters.

~eof~token ◎ An end-of-file token

1. `~perror$ ◎ Parse error.
2. ~IF［ `現在の~node$は `script$e 要素である ］ ⇒ `現在の~node$の`すでに開始したか$scE ~SET ~T ◎ If the current node is a script element, then set its already started to true.
3. `~open要素~stack$から~popする ◎ Pop the current node off the stack of open elements.
4. `挿入~mode$ ~SET `元の挿入~mode$V ◎ Switch the insertion mode to the original insertion mode and＼
5. 現tokenを処理し直す ◎ reprocess the token.

終了~tag { `script^l } ◎ An end tag whose tag name is "script"

1. ~IF［ `作動中な投機的な~HTML構文解析器$ ~EQ ~NULL ］~AND［ `~JS実行~文脈~stack$は空である ］ ⇒ `小task~checkpointを遂行する$ ◎ If the active speculative HTML parser is null and the JavaScript execution context stack is empty, then perform a microtask checkpoint.
2. %~script ~LET `現在の~node$ ◎ Let script be the current node＼
3. ~Assert： %~script は `script$e 要素である ◎ (which will be a script element).
4. `~open要素~stack$から~popする ◎ Pop the current node off the stack of open elements.
5. `挿入~mode$ ~SET `元の挿入~mode$V ◎ Switch the insertion mode to the original insertion mode.
6. %旧~挿入~地点~LET 現在の`挿入~地点$ ◎ Let the old insertion point have the same value as the current insertion point.＼
7. `挿入~地点$ ~SET `次回の入力~文字$の直前 ◎ Let the insertion point be just before the next input character.
8. %構文解析器 の`~script入子ng~level$ ~INCBY 1 ◎ Increment the parser's script nesting level by one.
9. ~IF［ `作動中な投機的な~HTML構文解析器$ ~EQ ~NULL ］ ⇒ `~script要素を準備する$( %~script ) ⇒ これは何らかの~scriptを実行させ得る — その結果 ⇒ ~tokenizerに`新たな文字たちが挿入され得る＠~HTMLdynamic#dom-document-write$ — その結果 ⇒ ~tokenizerにさらに~tokenたちを出力させ得る — その結果 ⇒ %構文解析器 は`再入的に呼出される＠#nestedParsing$ ◎ If the active speculative HTML parser is null, then prepare the script element script. This might cause some script to execute, which might cause new characters to be inserted into the tokenizer, and might cause the tokenizer to output more tokens, resulting in a reentrant invocation of the parser.
10. %構文解析器 の`~script入子ng~level$ ~DECBY 1 ◎ Decrement the parser's script nesting level by one.＼
11. ~IF［ %構文解析器 の`~script入子ng~level$ ~EQ 0 ］ ⇒ %構文解析器 の`静止するか$ ~SET ~F ◎ If the parser's script nesting level is zero, then set the parser pause flag to false.
12. `挿入~地点$ ~SET %旧~挿入~地点 ◎ Let the insertion point have the value of the old insertion point. (In other words, restore the insertion point to its previous value. This value might be the "undefined" value.)
13. ~IF［ `文書$の`構文解析器を阻んでいる~script$ ~EQ ~NULL ］ ⇒ ~RET ◎ At this stage, if the pending parsing-blocking script is not null, then:

14. ~IF［ `~script入子ng~level$ ~NEQ 0 ］： ◎ If the script nesting level is not zero:

    1. %構文解析器 の`静止するか$ ~SET ~T ◎ Set the parser pause flag to true, and＼

    2. 入子にして呼出されている~tokenizerがあれば、 その処理も中止して，その~call元~の制御~下に戻す （~token化は、 ~call元が “外縁の” ~tree構築~段階に戻ったとき， 再開することになる。） ◎ abort the processing of any nested invocations of the tokenizer, yielding control back to the caller. (Tokenization will resume when the caller returns to the "outer" tree construction stage.)

       注記： %構文解析器 の~tree構築~段階は、 `再入的に~callされている＠#nestedParsing$ — 例えば `document.write()$c の~callから。 ◎ The tree construction stage of this particular parser is being called reentrantly, say from a call to document.write().

    3. ~RET ◎ ↓

15. ~WHILE［ `文書$の`構文解析器を阻んでいる~script$ ~NEQ ~NULL ］： ◎ Otherwise: • While the pending parsing-blocking script is not null:

    1. %当の~script ~LET `文書$の`構文解析器を阻んでいる~script$ ◎ Let the script be the pending parsing-blocking script.
    2. `文書$の`構文解析器を阻んでいる~script$ ~SET ~NULL ◎ Set the pending parsing-blocking script to null.
    3. %構文解析器 用の`投機的な~HTML構文解析器を開始する$ ◎ Start the speculative HTML parser for this instance of the HTML parser.
    4. %構文解析器 の`~tokenizer$を阻む — `~event~loop$が その`~tokenizer$を呼出す`~task$を走らすことのないよう ◎ Block the tokenizer for this instance of the HTML parser, such that the event loop will not run tasks that invoke the tokenizer.

    5. %条件 ~LET ~AND↓：

       • `~scriptを阻んでいる~stylesheetは在るか？$( `文書$ ) ~EQ ~F
       • %当の~script の`構文解析器にて実行されるに準備済みか$scE ~EQ ~T
       ◎ ↓
    6. ~IF［ %条件 は満たされていない ］ ⇒ %条件 が満たされるまで`~event~loopを回す$ ◎ If the parser's Document has a style sheet that is blocking scripts or the script's ready to be parser-executed is false: spin the event loop until the parser's Document has no style sheet that is blocking scripts and the script's ready to be parser-executed becomes true.

    7. ~IF［ %構文解析器 は（当面の間）`中止-$されている ］ ⇒ ~RET ◎ If this parser has been aborted in the meantime, return.

       注記： これは，例えば、 `~event~loopを回す$~algoが走っている間に，［ `文書$が`破壊された＠~HTMLlifecycle#destroy-a-document$／ `文書$上で `document.open()$c ~methodが呼出された ］場合に起こり得る。 ◎ This could happen if, e.g., while the spin the event loop algorithm is running, the Document gets destroyed, or the document.open() method gets invoked on the Document.

    8. %構文解析器 用の`投機的な~HTML構文解析器を停止する$ ◎ Stop the speculative HTML parser for this instance of the HTML parser.
    9. %構文解析器 の`~tokenizer$を阻むのをやめて、 `~tokenizer$を呼出している`~task$が，再度~走れるようにする ◎ Unblock the tokenizer for this instance of the HTML parser, such that tasks that invoke the tokenizer can again be run.
    10. `挿入~地点$ ~SET `次回の入力~文字$の直前 ◎ Let the insertion point be just before the next input character.
    11. ~Assert： %構文解析器 の`~script入子ng~level$ ~EQ 0 であるべき ◎ ↓
    12. %構文解析器 の`~script入子ng~level$ ~INCBY 1 ◎ Increment the parser's script nesting level by one (it should be zero before this step, so this sets it to one).
    13. `~script要素を実行する$( %当の~script ) ◎ Execute the script element the script.
    14. %構文解析器 の`~script入子ng~level$ ~DECBY 1 ◎ Decrement the parser's script nesting level by one.＼
    15. ~Assert： %構文解析器 の`~script入子ng~level$ ~EQ 0 であるべき ◎ ↓
    16. ~IF［ %構文解析器 の`~script入子ng~level$ ~EQ 0 ］ ⇒ %構文解析器 の`静止するか$ ~SET ~F ◎ If the parser's script nesting level is zero (which it always should be at this point), then set the parser pause flag to false.
    17. `挿入~地点$ ~SET ε ◎ Let the insertion point be undefined again.

その他の終了~tag ◎ Any other end tag

1. `~open要素~stack$から~popする ◎ Pop the current node off the stack of open elements.
2. `挿入~mode$ ~SET `元の挿入~mode$V ◎ Switch the insertion mode to the original insertion mode.

13.2.6.4.9. `~table内^md

［ `挿入~mode$ ~EQ `~table内$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "in table" insertion mode, the user agent must handle the token as follows:

文字~token ◎ A character token,＼

1. ~IF［ `現在の~node$は［ `table$e, `tbody$e, `template$e, `tfoot$e, `thead$e, `tr$e ］いずれの要素でもない ］ ⇒ ~GOTO ~AnyElse ◎ if the current node is table, tbody, template, tfoot, thead, or tr element
2. `処理待ち~table文字~token~list@V ~LET 空な~token~list ◎ Let the pending table character tokens be an empty list of tokens.
3. `元の挿入~mode$V ~SET `~table内$md ◎ Let the original insertion mode be the current insertion mode.
4. `挿入~mode$ ~SET `~table~text内$md ◎ Switch the insertion mode to "in table text" and＼
5. 現tokenを処理し直す ◎ reprocess the token.

~comment~token ◎ A comment token

1. `~commentを挿入する$( 現token )

◎ Insert a comment.

~DOCTYPE~token ◎ A DOCTYPE token

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

開始~tag { `caption^l } ◎ A start tag whose tag name is "caption"

1. `~stackを~table文脈まで遡って~clearする$ ◎ Clear the stack back to a table context. (See below.)
2. `作動中な整形~要素~list$に`~marker$を付加する ◎ Insert a marker at the end of the list of active formatting elements.
3. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token, then＼
4. `挿入~mode$ ~SET `~caption内$md ◎ switch the insertion mode to "in caption".

開始~tag { `colgroup^l } ◎ A start tag whose tag name is "colgroup"

1. `~stackを~table文脈まで遡って~clearする$ ◎ Clear the stack back to a table context. (See below.)
2. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token, then＼
3. `挿入~mode$ ~SET `~column-group内$md ◎ switch the insertion mode to "in column group".

開始~tag { `col^l } ◎ A start tag whose tag name is "col"

1. `~stackを~table文脈まで遡って~clearする$ ◎ Clear the stack back to a table context. (See below.)
2. `要素を挿入する$( 新たな開始~tag~token( `colgroup^l ) ) ◎ Insert an HTML element for a "colgroup" start tag token with no attributes, then＼
3. `挿入~mode$ ~SET `~column-group内$md ◎ switch the insertion mode to "in column group".
4. 現tokenを処理し直す ◎ Reprocess the current token.

開始~tag { `tbody^l, `tfoot^l, `thead^l } ◎ A start tag whose tag name is one of: "tbody", "tfoot", "thead"

1. `~stackを~table文脈まで遡って~clearする$ ◎ Clear the stack back to a table context. (See below.)
2. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token, then＼
3. `挿入~mode$ ~SET `~table~body内$md ◎ switch the insertion mode to "in table body".

開始~tag { `td^l, `th^l, `tr^l } ◎ A start tag whose tag name is one of: "td", "th", "tr"

1. `~stackを~table文脈まで遡って~clearする$ ◎ Clear the stack back to a table context. (See below.)
2. `要素を挿入する$( 新たな開始~tag~token( `tbody^l ) ) ◎ Insert an HTML element for a "tbody" start tag token with no attributes, then＼
3. `挿入~mode$ ~SET `~table~body内$md ◎ switch the insertion mode to "in table body".
4. 現tokenを処理し直す ◎ Reprocess the current token.

開始~tag { `table^l } ◎ A start tag whose tag name is "table"

1. `~perror$ ◎ Parse error.
2. ~IF［ `視野~内$に無い( `~table視野$, `table^e ) ］ ⇒ ~RET — 現tokenは無視する ◎ If the stack of open elements does not have a table element in table scope, ignore the token. ◎ Otherwise:
3. `table$e 要素が`出るまで~open要素~stackから~popする$ ◎ Pop elements from this stack until a table element has been popped from the stack.
4. `挿入~modeを適切に設定し直す$ ◎ Reset the insertion mode appropriately.
5. 現tokenを処理し直す ◎ Reprocess the token.

終了~tag { `table^l } ◎ An end tag whose tag name is "table"

1. ~IF［ `視野~内$に無い( `~table視野$, `table^e ) ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the stack of open elements does not have a table element in table scope, this is a parse error; ignore the token. ◎ Otherwise:
2. `table$e 要素が`出るまで~open要素~stackから~popする$ ◎ Pop elements from this stack until a table element has been popped from the stack.
3. `挿入~modeを適切に設定し直す$ ◎ Reset the insertion mode appropriately.

終了~tag { `body^l, `caption^l, `col^l, `colgroup^l, `html^l, `tbody^l, `td^l, `tfoot^l, `th^l, `thead^l, `tr^l } ◎ An end tag whose tag name is one of: "body", "caption", "col", "colgroup", "html", "tbody", "td", "tfoot", "th", "thead", "tr"

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

開始~tag { `style^l, `script^l, `template^l } ◎ A start tag whose tag name is one of: "style", "script", "template"

終了~tag { `template^l } ◎ An end tag whose tag name is "template"

1. `~head内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in head" insertion mode.

開始~tag { `input^l } ◎ A start tag whose tag name is "input"

1. ~IF［ 現token上に ~AND↓ を満たす属性は無い ］…

   • 名前 ~EQ `type^l
   • 値 ~EQ`大小無視$sub `hidden^l

   …ならば ⇒ ~GOTO ~AnyElse

   ◎ If the token does not have an attribute with the name "type", or if it does, but that attribute's value is not an ASCII case-insensitive match for the string "hidden", then: act as described in the "anything else" entry below. ◎ Otherwise:
2. `~perror$ ◎ Parse error.
3. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.
4. `~open要素~stack$から~popする ◎ Pop that input element off the stack of open elements.
5. ~IF［ 現tokenの`自己閉じか$ ~EQ ~T ］ ⇒ `自己閉じを承認する$( 現token ) ◎ Acknowledge the token's self-closing flag, if it is set.

開始~tag { `form^l } ◎ A start tag whose tag name is "form"

1. `~perror$ ◎ Parse error.
2. ~IF［ `~open要素~stack$内には `template$e 要素は在る ］~OR［ `~form要素~pointer$ ~NEQ ~NULL ］ ⇒ ~RET — 現tokenは無視する ◎ If there is a template element on the stack of open elements, or if the form element pointer is not null, ignore the token. ◎ Otherwise:
3. %要素 ~LET `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token, and＼
4. `~form要素~pointer$ ~SET %要素 ◎ set the form element pointer to point to the element created.
5. `~open要素~stack$から~popする ◎ Pop that form element off the stack of open elements.

~eof~token ◎ An end-of-file token

1. `~body内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in body" insertion mode.

~AnyElse

1. `~perror$ ◎ Parse error.＼
2. `親を違える$ことを可能化する ◎ Enable foster parenting,＼
3. `~body内$md`用の規則を利用して$現tokenを処理する ◎ process the token using the rules for the "in body" insertion mode, and then＼
4. `親を違える$ことを不能化する ◎ disable foster parenting.

13.2.6.4.10. `~table~text内^md

［ `挿入~mode$ ~EQ `~table~text内$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "in table text" insertion mode, the user agent must handle the token as follows:

文字~token { `0000^U } ◎ A character token that is U+0000 NULL

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

その他の文字~token ◎ Any other character token

1. `処理待ち~table文字~token~list$V に現tokenを付加する

◎ Append the character token to the pending table character tokens list.

~AnyElse

1. ~IF［ `処理待ち~table文字~token~list$V 内の ある文字~tokenの文字は`~ASCII空白$でない ］：

   1. `~perror$
   2. `処理待ち~table文字~token~list$V を成す ~EACH( 文字~token ) に対し ⇒ 文字~tokenを［ `~table内$md 挿入~modeにおける ~AnyElse ~entryに与える規則 ］を利用して処理し直す
   ◎ If any of the tokens in the pending table character tokens list are character tokens that are not ASCII whitespace, then this is a parse error: reprocess the character tokens in the pending table character tokens list using the rules given in the "anything else" entry in the "in table" insertion mode.
2. ~ELSE ⇒ `処理待ち~table文字~token~list$V を成す ~EACH( ~token ) に対し ⇒ `文字を挿入する$( ~tokenの文字 ) ◎ Otherwise, insert the characters given by the pending table character tokens list.
3. `挿入~mode$ ~SET `元の挿入~mode$V ◎ Switch the insertion mode to the original insertion mode and＼
4. 現tokenを処理し直す ◎ reprocess the token.

13.2.6.4.11. `~caption内^md

［ `挿入~mode$ ~EQ `~caption内$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "in caption" insertion mode, the user agent must handle the token as follows:

終了~tag { `caption^l } ◎ An end tag whose tag name is "caption"

1. ~IF［ `視野~内$に無い( `~table視野$, `caption^e ) （`素片~事例$） ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the stack of open elements does not have a caption element in table scope, this is a parse error; ignore the token. (fragment case) ◎ Otherwise:
2. `暗黙な終了~tagたちを生成する$() ◎ Generate implied end tags.
3. ~IF［ `現在の~node$は `caption$e 要素でない ］ ⇒ `~perror$ ◎ Now, if the current node is not a caption element, then this is a parse error.
4. `caption$e 要素が`出るまで~open要素~stackから~popする$ ◎ Pop elements from this stack until a caption element has been popped from the stack.
5. `作動中な整形~要素~listを最後の~markerまで~clearする$ ◎ Clear the list of active formatting elements up to the last marker.
6. `挿入~mode$ ~SET `~table内$md ◎ Switch the insertion mode to "in table".

開始~tag { `caption^l, `col^l, `colgroup^l, `tbody^l, `td^l, `tfoot^l, `th^l, `thead^l, `tr^l } ◎ A start tag whose tag name is one of: "caption", "col", "colgroup", "tbody", "td", "tfoot", "th", "thead", "tr"

終了~tag { `table^l } ◎ An end tag whose tag name is "table"

1. ~IF［ `視野~内$に無い( `~table視野$, `caption^e ) （`素片~事例$） ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the stack of open elements does not have a caption element in table scope, this is a parse error; ignore the token. (fragment case) ◎ Otherwise:
2. `暗黙な終了~tagたちを生成する$() ◎ Generate implied end tags.
3. ~IF［ `現在の~node$は `caption$e 要素でない ］ ⇒ `~perror$ ◎ Now, if the current node is not a caption element, then this is a parse error.
4. `caption$e 要素が`出るまで~open要素~stackから~popする$ ◎ Pop elements from this stack until a caption element has been popped from the stack.
5. `作動中な整形~要素~listを最後の~markerまで~clearする$ ◎ Clear the list of active formatting elements up to the last marker.
6. `挿入~mode$ ~SET `~table内$md ◎ Switch the insertion mode to "in table".
7. 現tokenを処理し直す ◎ Reprocess the token.

終了~tag { `body^l, `col^l, `colgroup^l, `html^l, `tbody^l, `td^l, `tfoot^l, `th^l, `thead^l, `tr^l } ◎ An end tag whose tag name is one of: "body", "col", "colgroup", "html", "tbody", "td", "tfoot", "th", "thead", "tr"

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

~AnyElse

1. `~body内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in body" insertion mode.

13.2.6.4.12. `~column-group内^md

［ `挿入~mode$ ~EQ `~column-group内$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "in column group" insertion mode, the user agent must handle the token as follows:

文字~token { `~ASCII空白$ } ◎ A character token that is one of U+0009 CHARACTER TABULATION, U+000A LINE FEED (LF), U+000C FORM FEED (FF), U+000D CARRIAGE RETURN (CR), or U+0020 SPACE

1. `文字を挿入する$( 現tokenの文字 )

◎ Insert the character.

~comment~token ◎ A comment token

1. `~commentを挿入する$( 現token )

◎ Insert a comment.

~DOCTYPE~token ◎ A DOCTYPE token

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

開始~tag { `html^l } ◎ A start tag whose tag name is "html"

1. `~body内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in body" insertion mode.

開始~tag { `col^l } ◎ A start tag whose tag name is "col"

1. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.＼
2. `~open要素~stack$から~popする ◎ Immediately pop the current node off the stack of open elements.
3. ~IF［ 現tokenの`自己閉じか$ ~EQ ~T ］ ⇒ `自己閉じを承認する$( 現token ) ◎ Acknowledge the token's self-closing flag, if it is set.

終了~tag { `colgroup^l } ◎ An end tag whose tag name is "colgroup"

1. ~IF［ `現在の~node$は `colgroup$e 要素でない ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the current node is not a colgroup element, then this is a parse error; ignore the token.
2. `~open要素~stack$から~popする ◎ Otherwise, pop the current node from the stack of open elements.＼
3. `挿入~mode$ ~SET `~table内$md ◎ Switch the insertion mode to "in table".

終了~tag { `col^l } ◎ An end tag whose tag name is "col"

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

開始~tag { `template^l } ◎ A start tag whose tag name is "template"

終了~tag { `template^l } ◎ An end tag whose tag name is "template"

1. `~head内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in head" insertion mode.

~eof~token ◎ An end-of-file token

1. `~body内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in body" insertion mode.

~AnyElse

1. ~IF［ `現在の~node$は `colgroup$e 要素でない ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the current node is not a colgroup element, then this is a parse error; ignore the token.
2. `~open要素~stack$から~popする ◎ Otherwise, pop the current node from the stack of open elements.
3. `挿入~mode$ ~SET `~table内$md ◎ Switch the insertion mode to "in table".
4. 現tokenを処理し直す ◎ Reprocess the token.

13.2.6.4.13. `~table~body内^md

［ `挿入~mode$ ~EQ `~table~body内$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "in table body" insertion mode, the user agent must handle the token as follows:

開始~tag { `tr^l } ◎ A start tag whose tag name is "tr"

1. `~stackを~table~body文脈まで遡って~clearする$ ◎ Clear the stack back to a table body context. (See below.)
2. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token, then＼
3. `挿入~mode$ ~SET `~row内$md ◎ switch the insertion mode to "in row".

開始~tag { `th^l, `td^l } ◎ A start tag whose tag name is one of: "th", "td"

1. `~perror$ ◎ Parse error.
2. `~stackを~table~body文脈まで遡って~clearする$ ◎ Clear the stack back to a table body context. (See below.)
3. `要素を挿入する$( 新たな開始~tag~token( `tr^l ) ) ◎ Insert an HTML element for a "tr" start tag token with no attributes, then＼
4. `挿入~mode$ ~SET `~row内$md ◎ switch the insertion mode to "in row".
5. 現tokenを処理し直す ◎ Reprocess the current token.

終了~tag { `tbody^l, `tfoot^l, `thead^l } ◎ An end tag whose tag name is one of: "tbody", "tfoot", "thead"

1. ~IF［ `視野~内$に無い( `~table視野$, 現tokenと~tag名が同じ`~HTML要素$ ) ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the stack of open elements does not have an element in table scope that is an HTML element with the same tag name as the token, this is a parse error; ignore the token. ◎ Otherwise:
2. `~stackを~table~body文脈まで遡って~clearする$ ◎ Clear the stack back to a table body context. (See below.)
3. `~open要素~stack$から~popする ◎ Pop the current node from the stack of open elements.＼
4. `挿入~mode$ ~SET `~table内$md ◎ Switch the insertion mode to "in table".

開始~tag { `caption^l, `col^l, `colgroup^l, `tbody^l, `tfoot^l, `thead^l } ◎ A start tag whose tag name is one of: "caption", "col", "colgroup", "tbody", "tfoot", "thead"

終了~tag { `table^l } ◎ An end tag whose tag name is "table"

1. ~IF［ `視野~内$に無い( `~table視野$, { `tbody^e, `thead^e, `tfoot^e } ) ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the stack of open elements does not have a tbody, thead, or tfoot element in table scope, this is a parse error; ignore the token. ◎ Otherwise:
2. `~stackを~table~body文脈まで遡って~clearする$ ◎ Clear the stack back to a table body context. (See below.)
3. `~open要素~stack$から~popする ◎ Pop the current node from the stack of open elements.＼
4. `挿入~mode$ ~SET `~table内$md ◎ Switch the insertion mode to "in table".
5. 現tokenを処理し直す ◎ Reprocess the token.

終了~tag { `body^l, `caption^l, `col^l, `colgroup^l, `html^l, `td^l, `th^l, `tr^l } ◎ An end tag whose tag name is one of: "body", "caption", "col", "colgroup", "html", "td", "th", "tr"

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

~AnyElse

1. `~table内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in table" insertion mode.

13.2.6.4.14. `~row内^md

［ `挿入~mode$ ~EQ `~row内$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "in row" insertion mode, the user agent must handle the token as follows:

開始~tag { `th^l, `td^l } ◎ A start tag whose tag name is one of: "th", "td"

1. `~stackを~table~row文脈まで遡って~clearする$ ◎ Clear the stack back to a table row context. (See below.)
2. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token, then＼
3. `挿入~mode$ ~SET `~cell内$md ◎ switch the insertion mode to "in cell".
4. `作動中な整形~要素~list$に`~marker$を付加する ◎ Insert a marker at the end of the list of active formatting elements.

終了~tag { `tr^l } ◎ An end tag whose tag name is "tr"

1. ~IF［ `視野~内$に無い( `~table視野$, `tr^e ) ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the stack of open elements does not have a tr element in table scope, this is a parse error; ignore the token. ◎ Otherwise:
2. `~stackを~table~row文脈まで遡って~clearする$ ◎ Clear the stack back to a table row context. (See below.)
3. ~Assert： `現在の~node$は `tr$e 要素である ◎ ↓
4. `~open要素~stack$から~popする ◎ Pop the current node (which will be a tr element) from the stack of open elements.＼
5. `挿入~mode$ ~SET `~table~body内$md ◎ Switch the insertion mode to "in table body".

開始~tag { `caption^l, `col^l, `colgroup^l, `tbody^l, `tfoot^l, `thead^l, `tr^l } ◎ A start tag whose tag name is one of: "caption", "col", "colgroup", "tbody", "tfoot", "thead", "tr"

終了~tag { `table^l } ◎ An end tag whose tag name is "table"

1. ~IF［ `視野~内$に無い( `~table視野$, `tr^e ) ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the stack of open elements does not have a tr element in table scope, this is a parse error; ignore the token. ◎ Otherwise:
2. `~stackを~table~row文脈まで遡って~clearする$ ◎ Clear the stack back to a table row context. (See below.)
3. ~Assert： `現在の~node$は `tr$e 要素である ◎ ↓
4. `~open要素~stack$から~popする ◎ Pop the current node (which will be a tr element) from the stack of open elements.＼
5. `挿入~mode$ ~SET `~table~body内$md ◎ Switch the insertion mode to "in table body".
6. 現tokenを処理し直す ◎ Reprocess the token.

終了~tag { `tbody^l, `tfoot^l, `thead^l } ◎ An end tag whose tag name is one of: "tbody", "tfoot", "thead"

1. ~IF［ `視野~内$に無い( `~table視野$, 現tokenと~tag名が同じ`~HTML要素$ ) ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the stack of open elements does not have an element in table scope that is an HTML element with the same tag name as the token, this is a parse error; ignore the token.
2. ~IF［ `視野~内$に無い( `~table視野$, `tr^e ) ］ ⇒ ~RET — 現tokenは無視する ◎ If the stack of open elements does not have a tr element in table scope, ignore the token. ◎ Otherwise:
3. `~stackを~table~row文脈まで遡って~clearする$ ◎ Clear the stack back to a table row context. (See below.)
4. ~Assert： `現在の~node$は `tr$e 要素である ◎ ↓
5. `~open要素~stack$から~popする ◎ Pop the current node (which will be a tr element) from the stack of open elements.＼
6. `挿入~mode$ ~SET `~table~body内$md ◎ Switch the insertion mode to "in table body".
7. 現tokenを処理し直す ◎ Reprocess the token.

終了~tag { `body^l, `caption^l, `col^l, `colgroup^l, `html^l, `td^l, `th^l } ◎ An end tag whose tag name is one of: "body", "caption", "col", "colgroup", "html", "td", "th"

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

~AnyElse

1. `~table内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in table" insertion mode.

13.2.6.4.15. `~cell内^md

［ `挿入~mode$ ~EQ `~cell内$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "in cell" insertion mode, the user agent must handle the token as follows:

終了~tag { `td^l, `th^l } ◎ An end tag whose tag name is one of: "td", "th"

1. ~IF［ `視野~内$に無い( `~table視野$, 現tokenと~tag名が同じ`~HTML要素$ ) ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the stack of open elements does not have an element in table scope that is an HTML element with the same tag name as that of the token, then this is a parse error; ignore the token. ◎ Otherwise:
2. `暗黙な終了~tagたちを生成する$() ◎ Generate implied end tags.
3. ~IF［ `現在の~node$は［ 現tokenと~tag名が同じ`~HTML要素$ ］ではない ］ ⇒ `~perror$ ◎ Now, if the current node is not an HTML element with the same tag name as the token, then this is a parse error.
4. 現tokenと~tag名が同じ`~HTML要素$が`出るまで~open要素~stackから~popする$ ◎ Pop elements from the stack of open elements until an HTML element with the same tag name as the token has been popped from the stack.
5. `作動中な整形~要素~listを最後の~markerまで~clearする$ ◎ Clear the list of active formatting elements up to the last marker.
6. `挿入~mode$ ~SET `~row内$md ◎ Switch the insertion mode to "in row".

開始~tag { `caption^l, `col^l, `colgroup^l, `tbody^l, `td^l, `tfoot^l, `th^l, `thead^l, `tr^l } ◎ A start tag whose tag name is one of: "caption", "col", "colgroup", "tbody", "td", "tfoot", "th", "thead", "tr"

1. ~Assert： `視野~内$に在る( `~table視野$, { `td^e, `th^e } ) ◎ Assert: The stack of open elements has a td or th element in table scope.
2. `~cellを閉じる$ ◎ Close the cell (see below) and＼
3. 現tokenを処理し直す ◎ reprocess the token.

終了~tag { `body^l, `caption^l, `col^l, `colgroup^l, `html^l } ◎ An end tag whose tag name is one of: "body", "caption", "col", "colgroup", "html"

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

終了~tag { `table^l, `tbody^l, `tfoot^l, `thead^l, `tr^l } ◎ An end tag whose tag name is one of: "table", "tbody", "tfoot", "thead", "tr"

1. ~IF［ `視野~内$に無い( `~table視野$, 現tokenと~tag名が同じ`~HTML要素$ ) ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the stack of open elements does not have an element in table scope that is an HTML element with the same tag name as that of the token, then this is a parse error; ignore the token.
2. `~cellを閉じる$ ◎ Otherwise, close the cell (see below) and＼
3. 現tokenを処理し直す ◎ reprocess the token.

~AnyElse

1. `~body内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in body" insertion mode.

13.2.6.4.16. `~select内^md

［ `挿入~mode$ ~EQ `~select内$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "in select" insertion mode, the user agent must handle the token as follows:

文字~token { `0000^U } ◎ A character token that is U+0000 NULL

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

その他の文字~token ◎ Any other character token

1. `文字を挿入する$( 現tokenの文字 )

◎ Insert the token's character.

~comment~token ◎ A comment token

1. `~commentを挿入する$( 現token )

◎ Insert a comment.

~DOCTYPE~token ◎ A DOCTYPE token

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

開始~tag { `html^l } ◎ A start tag whose tag name is "html"

1. `~body内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in body" insertion mode.

開始~tag { `option^l } ◎ A start tag whose tag name is "option"

1. ~IF［ `現在の~node$は `option$e 要素である ］ ⇒ `~open要素~stack$から~popする ◎ If the current node is an option element, pop that node from the stack of open elements.
2. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.

開始~tag { `optgroup^l } ◎ A start tag whose tag name is "optgroup"

1. ~IF［ `現在の~node$は `option$e 要素である ］ ⇒ `~open要素~stack$から~popする ◎ If the current node is an option element, pop that node from the stack of open elements.
2. ~IF［ `現在の~node$は `optgroup$e 要素である ］ ⇒ `~open要素~stack$から~popする ◎ If the current node is an optgroup element, pop that node from the stack of open elements.
3. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.

開始~tag { `hr^l } ◎ A start tag whose tag name is "hr"

1. ~IF［ `現在の~node$は `option$e 要素である ］ ⇒ `~open要素~stack$から~popする ◎ If the current node is an option element, pop that node from the stack of open elements.
2. ~IF［ `現在の~node$は `optgroup$e 要素である ］ ⇒ `~open要素~stack$から~popする ◎ If the current node is an optgroup element, pop that node from the stack of open elements.
3. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.＼
4. `~open要素~stack$から~popする ◎ Immediately pop the current node off the stack of open elements.
5. ~IF［ 現tokenの`自己閉じか$ ~EQ ~T ］ ⇒ `自己閉じを承認する$( 現token ) ◎ Acknowledge the token's self-closing flag, if it is set.

終了~tag { `optgroup^l } ◎ An end tag whose tag name is "optgroup"

1. ~IF［ `現在の~node$は `option$e 要素である ］~AND［ `~open要素~stack$内で `現在の~node$の直前の~nodeは `optgroup$e 要素である ］ ⇒ `~open要素~stack$から~popする ◎ First, if the current node is an option element, and the node immediately before it in the stack of open elements is an optgroup element, then pop the current node from the stack of open elements.
2. ~IF［ `現在の~node$は `optgroup$e 要素である ］ ⇒ `~open要素~stack$から~popする ◎ If the current node is an optgroup element, then pop that node from the stack of open elements.＼
3. ~ELSE ⇒ `~perror$ — 現tokenは無視する ◎ Otherwise, this is a parse error; ignore the token.

終了~tag { `option^l } ◎ An end tag whose tag name is "option"

1. ~IF［ `現在の~node$は `option$e 要素である ］ ⇒ `~open要素~stack$から~popする ◎ If the current node is an option element, then pop that node from the stack of open elements.＼
2. ~ELSE ⇒ `~perror$ — 現tokenは無視する ◎ Otherwise, this is a parse error; ignore the token.

終了~tag { `select^l } ◎ An end tag whose tag name is "select"

1. ~IF［ `視野~内$に無い( `~select視野$, `select^e ) （`素片~事例$） ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the stack of open elements does not have a select element in select scope, this is a parse error; ignore the token. (fragment case) ◎ Otherwise:
2. `select$e 要素が`出るまで~open要素~stackから~popする$ ◎ Pop elements from the stack of open elements until a select element has been popped from the stack.
3. `挿入~modeを適切に設定し直す$ ◎ Reset the insertion mode appropriately.

開始~tag { `select^l } ◎ A start tag whose tag name is "select"

1. `~perror$ ◎ Parse error.
2. ~IF［ `視野~内$に無い( `~select視野$, `select^e ) （`素片~事例$） ］ ⇒ ~RET — 現tokenは無視する ◎ If the stack of open elements does not have a select element in select scope, ignore the token. (fragment case) ◎ Otherwise:
3. `select$e 要素が`出るまで~open要素~stackから~popする$ ◎ Pop elements from the stack of open elements until a select element has been popped from the stack.

4. `挿入~modeを適切に設定し直す$ ◎ Reset the insertion mode appropriately.

   注記： これは単に、 終了~tagの様に扱われる。 ◎ It just gets treated like an end tag.

開始~tag { `input^l, `keygen^l, `textarea^l } ◎ A start tag whose tag name is one of: "input", "keygen", "textarea"

1. `~perror$ ◎ Parse error.
2. ~IF［ `視野~内$に無い( `~select視野$, `select^e ) （`素片~事例$） ］ ⇒ ~RET — 現tokenは無視する ◎ If the stack of open elements does not have a select element in select scope, ignore the token. (fragment case) ◎ Otherwise:
3. `select$e 要素が`出るまで~open要素~stackから~popする$ ◎ Pop elements from the stack of open elements until a select element has been popped from the stack.
4. `挿入~modeを適切に設定し直す$ ◎ Reset the insertion mode appropriately.
5. 現tokenを処理し直す ◎ Reprocess the token.

開始~tag { `script^l, `template^l } ◎ A start tag whose tag name is one of: "script", "template"

終了~tag { `template^l } ◎ An end tag whose tag name is "template"

1. `~head内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in head" insertion mode.

~eof~token ◎ An end-of-file token

1. `~body内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in body" insertion mode.

~AnyElse

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

13.2.6.4.17. `~table内~select内^md

［ `挿入~mode$ ~EQ `~table内~select内$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "in select in table" insertion mode, the user agent must handle the token as follows:

開始~tag { `caption^l, `table^l, `tbody^l, `tfoot^l, `thead^l, `tr^l, `td^l, `th^l } ◎ A start tag whose tag name is one of: "caption", "table", "tbody", "tfoot", "thead", "tr", "td", "th"

1. `~perror$ ◎ Parse error.
2. `select$e 要素が`出るまで~open要素~stackから~popする$ ◎ Pop elements from the stack of open elements until a select element has been popped from the stack.
3. `挿入~modeを適切に設定し直す$ ◎ Reset the insertion mode appropriately.
4. 現tokenを処理し直す ◎ Reprocess the token.

終了~tag { `caption^l, `table^l, `tbody^l, `tfoot^l, `thead^l, `tr^l, `td^l, `th^l } ◎ An end tag whose tag name is one of: "caption", "table", "tbody", "tfoot", "thead", "tr", "td", "th"

1. `~perror$ ◎ Parse error.
2. ~IF［ `視野~内$に無い( `~table視野$, 現tokenと~tag名が同じ`~HTML要素$ ) ］ ⇒ ~RET — 現tokenは無視する ◎ If the stack of open elements does not have an element in table scope that is an HTML element with the same tag name as that of the token, then ignore the token. ◎ Otherwise:
3. `select$e 要素が`出るまで~open要素~stackから~popする$ ◎ Pop elements from the stack of open elements until a select element has been popped from the stack.
4. `挿入~modeを適切に設定し直す$ ◎ Reset the insertion mode appropriately.
5. 現tokenを処理し直す ◎ Reprocess the token.

~AnyElse

1. `~select内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in select" insertion mode.

13.2.6.4.18. `~template内^md

［ `挿入~mode$ ~EQ `~template内$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "in template" insertion mode, the user agent must handle the token as follows:

文字~token ◎ A character token

~comment~token ◎ A comment token

~DOCTYPE~token ◎ A DOCTYPE token

1. `~body内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in body" insertion mode.

開始~tag { `base^l, `basefont^l, `bgsound^l, `link^l, `meta^l, `noframes^l, `script^l, `style^l, `template^l, `title^l } ◎ A start tag whose tag name is one of: "base", "basefont", "bgsound", "link", "meta", "noframes", "script", "style", "template", "title"

終了~tag { `template^l } ◎ An end tag whose tag name is "template"

1. `~head内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in head" insertion mode.

開始~tag { `caption^l, `colgroup^l, `tbody^l, `tfoot^l, `thead^l } ◎ A start tag whose tag name is one of: "caption", "colgroup", "tbody", "tfoot", "thead"

1. `~template挿入~mode~stack$から~popする ◎ Pop the current template insertion mode off the stack of template insertion modes.
2. `~template挿入~mode~stack$に`~table内$mdを~pushする ◎ Push "in table" onto the stack of template insertion modes so that it is the new current template insertion mode.
3. `挿入~mode$ ~SET `~table内$md ◎ Switch the insertion mode to "in table", and＼
4. 現tokenを処理し直す ◎ reprocess the token.

開始~tag { `col^l } ◎ A start tag whose tag name is "col"

1. `~template挿入~mode~stack$から~popする ◎ Pop the current template insertion mode off the stack of template insertion modes.
2. `~template挿入~mode~stack$に`~column-group内$mdを~pushする ◎ Push "in column group" onto the stack of template insertion modes so that it is the new current template insertion mode.
3. `挿入~mode$ ~SET `~column-group内$md ◎ Switch the insertion mode to "in column group", and＼
4. 現tokenを処理し直す ◎ reprocess the token.

開始~tag { `tr^l } ◎ A start tag whose tag name is "tr"

1. `~template挿入~mode~stack$から~popする ◎ Pop the current template insertion mode off the stack of template insertion modes.
2. `~template挿入~mode~stack$に `~table~body内$mdを~pushする ◎ Push "in table body" onto the stack of template insertion modes so that it is the new current template insertion mode.
3. `挿入~mode$ ~SET `~table~body内$md ◎ Switch the insertion mode to "in table body", and＼
4. 現tokenを処理し直す ◎ reprocess the token.

開始~tag { `td^l, `th^l } ◎ A start tag whose tag name is one of: "td", "th"

1. `~template挿入~mode~stack$から~popする ◎ Pop the current template insertion mode off the stack of template insertion modes.
2. `~template挿入~mode~stack$に`~row内$mdを~pushする ◎ Push "in row" onto the stack of template insertion modes so that it is the new current template insertion mode.
3. `挿入~mode$ ~SET `~row内$md ◎ Switch the insertion mode to "in row", and＼
4. 現tokenを処理し直す ◎ reprocess the token.

その他の開始~tag ◎ Any other start tag

1. `~template挿入~mode~stack$から~popする ◎ Pop the current template insertion mode off the stack of template insertion modes.
2. `~template挿入~mode~stack$に`~body内$mdを~pushする ◎ Push "in body" onto the stack of template insertion modes so that it is the new current template insertion mode.
3. `挿入~mode$ ~SET `~body内$md ◎ Switch the insertion mode to "in body", and＼
4. 現tokenを処理し直す ◎ reprocess the token.

その他の終了~tag ◎ Any other end tag

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

~eof~token ◎ An end-of-file token

1. ~IF［ `~open要素~stack$内には `template$e 要素は無い （`素片~事例$） ］：

   1. `構文解析を停止する$
   2. ~RET
   ◎ If there is no template element on the stack of open elements, then stop parsing. (fragment case)
2. `~perror$ ◎ Otherwise, this is a parse error.
3. `template$e 要素が`出るまで~open要素~stackから~popする$ ◎ Pop elements from the stack of open elements until a template element has been popped from the stack.
4. `作動中な整形~要素~listを最後の~markerまで~clearする$ ◎ Clear the list of active formatting elements up to the last marker.
5. `~template挿入~mode~stack$から~popする ◎ Pop the current template insertion mode off the stack of template insertion modes.
6. `挿入~modeを適切に設定し直す$ ◎ Reset the insertion mode appropriately.
7. 現tokenを処理し直す ◎ Reprocess the token.

13.2.6.4.19. `~bodyの後^md

［ `挿入~mode$ ~EQ `~bodyの後$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "after body" insertion mode, the user agent must handle the token as follows:

文字~token { `~ASCII空白$ } ◎ A character token that is one of U+0009 CHARACTER TABULATION, U+000A LINE FEED (LF), U+000C FORM FEED (FF), U+000D CARRIAGE RETURN (CR), or U+0020 SPACE

1. `~body内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in body" insertion mode.

~comment~token ◎ A comment token

1. `~commentを挿入する$( 現token, `~open要素~stack$の先頭にある要素（ `html$e 要素）内の末尾 )

◎ Insert a comment as the last child of the first element in the stack of open elements (the html element).

~DOCTYPE~token ◎ A DOCTYPE token

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

開始~tag { `html^l } ◎ A start tag whose tag name is "html"

1. `~body内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in body" insertion mode.

終了~tag { `html^l } ◎ An end tag whose tag name is "html"

1. ~IF［ %構文解析器 は`~HTML素片~用$である （`素片~事例$） ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the parser was created as part of the HTML fragment parsing algorithm, this is a parse error; ignore the token. (fragment case)
2. ~ELSE ⇒ `挿入~mode$ ~SET `~bodyの後の後$md ◎ Otherwise, switch the insertion mode to "after after body".

~eof~token ◎ An end-of-file token

1. `構文解析を停止する$

◎ Stop parsing.

~AnyElse

1. `~perror$
2. `挿入~mode$ ~SET `~body内$md
3. 現tokenを処理し直す

◎ Parse error. Switch the insertion mode to "in body" and reprocess the token.

13.2.6.4.20. `~frameset内^md

［ `挿入~mode$ ~EQ `~frameset内$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "in frameset" insertion mode, the user agent must handle the token as follows:

文字~token { `~ASCII空白$ } ◎ A character token that is one of U+0009 CHARACTER TABULATION, U+000A LINE FEED (LF), U+000C FORM FEED (FF), U+000D CARRIAGE RETURN (CR), or U+0020 SPACE

1. `文字を挿入する$( 現tokenの文字 )

◎ Insert the character.

~comment~token ◎ A comment token

1. `~commentを挿入する$( 現token )

◎ Insert a comment.

~DOCTYPE~token ◎ A DOCTYPE token

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

開始~tag { `html^l } ◎ A start tag whose tag name is "html"

1. `~body内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in body" insertion mode.

開始~tag { `frameset^l } ◎ A start tag whose tag name is "frameset"

1. `要素を挿入する$( 現token )

◎ Insert an HTML element for the token.

終了~tag { `frameset^l } ◎ An end tag whose tag name is "frameset"

1. ~IF［ `現在の~node$は根 `html$e 要素である （`素片~事例$） ］：

   1. `~perror$
   2. ~RET — 現tokenは無視する
   ◎ If the current node is the root html element, then this is a parse error; ignore the token. (fragment case)
2. `~open要素~stack$から~popする ◎ Otherwise, pop the current node from the stack of open elements.
3. ~IF［ %構文解析器 は`~HTML素片~用$でない （`素片~事例$でない） ］~AND［ `現在の~node$は `frameset$e 要素でない ］ ⇒ `挿入~mode$ ~SET `~framesetの後$md ◎ If the parser was not created as part of the HTML fragment parsing algorithm (fragment case), and the current node is no longer a frameset element, then switch the insertion mode to "after frameset".

開始~tag { `frame^l } ◎ A start tag whose tag name is "frame"

1. `要素を挿入する$( 現token ) ◎ Insert an HTML element for the token.＼
2. `~open要素~stack$から~popする ◎ Immediately pop the current node off the stack of open elements.
3. ~IF［ 現tokenの`自己閉じか$ ~EQ ~T ］ ⇒ `自己閉じを承認する$( 現token ) ◎ Acknowledge the token's self-closing flag, if it is set.

開始~tag { `noframes^l } ◎ A start tag whose tag name is "noframes"

1. `~head内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in head" insertion mode.

~eof~token ◎ An end-of-file token

1. ~IF［ `現在の~node$は根 `html$e 要素でない ］ ⇒ `~perror$ ◎ If the current node is not the root html element, then this is a parse error.

   注記： `素片~事例$においては、 `現在の~node$は，常に根 `html$e 要素になる ◎ The current node can only be the root html element in the fragment case.

2. `構文解析を停止する$ ◎ Stop parsing.

~AnyElse

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

13.2.6.4.21. `~framesetの後^md

［ `挿入~mode$ ~EQ `~framesetの後$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "after frameset" insertion mode, the user agent must handle the token as follows:

文字~token { `~ASCII空白$ } ◎ A character token that is one of U+0009 CHARACTER TABULATION, U+000A LINE FEED (LF), U+000C FORM FEED (FF), U+000D CARRIAGE RETURN (CR), or U+0020 SPACE

1. `文字を挿入する$( 現tokenの文字 )

◎ Insert the character.

~comment~token ◎ A comment token

1. `~commentを挿入する$( 現token )

◎ Insert a comment.

~DOCTYPE~token ◎ A DOCTYPE token

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

開始~tag { `html^l } ◎ A start tag whose tag name is "html"

1. `~body内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in body" insertion mode.

終了~tag { `html^l } ◎ An end tag whose tag name is "html"

1. `挿入~mode$ ~SET `~framesetの後の後$md

◎ Switch the insertion mode to "after after frameset".

開始~tag { `noframes^l } ◎ A start tag whose tag name is "noframes"

1. `~head内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in head" insertion mode.

~eof~token ◎ An end-of-file token

1. `構文解析を停止する$

◎ Stop parsing.

~AnyElse

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.

13.2.6.4.22. `~bodyの後の後^md

［ `挿入~mode$ ~EQ `~bodyの後の後$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "after after body" insertion mode, the user agent must handle the token as follows:

~comment~token ◎ A comment token

1. `~commentを挿入する$( 現token, `文書$内の末尾 )

◎ Insert a comment as the last child of the Document object.

~DOCTYPE~token ◎ A DOCTYPE token

文字~token { `~ASCII空白$ } ◎ A character token that is one of U+0009 CHARACTER TABULATION, U+000A LINE FEED (LF), U+000C FORM FEED (FF), U+000D CARRIAGE RETURN (CR), or U+0020 SPACE

開始~tag { `html^l } ◎ A start tag whose tag name is "html"

1. `~body内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in body" insertion mode.

~eof~token ◎ An end-of-file token

1. `構文解析を停止する$

◎ Stop parsing.

~AnyElse

1. `~perror$
2. `挿入~mode$ ~SET `~body内$md
3. 現tokenを処理し直す

◎ Parse error. Switch the insertion mode to "in body" and reprocess the token.

13.2.6.4.23. `~framesetの後の後^md

［ `挿入~mode$ ~EQ `~framesetの後の後$md ］の下では、 現tokenを以下に従って取扱うモノトスル： ◎ When the user agent is to apply the rules for the "after after frameset" insertion mode, the user agent must handle the token as follows:

~comment~token ◎ A comment token

1. `~commentを挿入する$( 現token, `文書$内の末尾 )

◎ Insert a comment as the last child of the Document object.

~DOCTYPE~token ◎ A DOCTYPE token

文字~token { `~ASCII空白$ } ◎ A character token that is one of U+0009 CHARACTER TABULATION, U+000A LINE FEED (LF), U+000C FORM FEED (FF), U+000D CARRIAGE RETURN (CR), or U+0020 SPACE

開始~tag { `html^l } ◎ A start tag whose tag name is "html"

1. `~body内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in body" insertion mode.

~eof~token ◎ An end-of-file token

1. `構文解析を停止する$

◎ Stop parsing.

開始~tag { `noframes^l } ◎ A start tag whose tag name is "noframes"

1. `~head内$md`用の規則を利用して$現tokenを処理する

◎ Process the token using the rules for the "in head" insertion mode.

~AnyElse

1. `~perror$ — 現tokenは無視する

◎ Parse error. Ignore the token.