<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="zh-Hans-CN">
	<id>http://wiki.googology.top/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=%E9%80%81%E5%88%B0</id>
	<title>Googology Wiki - 用户贡献 [zh-cn]</title>
	<link rel="self" type="application/atom+xml" href="http://wiki.googology.top/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=%E9%80%81%E5%88%B0"/>
	<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php/%E7%89%B9%E6%AE%8A:%E7%94%A8%E6%88%B7%E8%B4%A1%E7%8C%AE/%E9%80%81%E5%88%B0"/>
	<updated>2026-09-07T19:37:19Z</updated>
	<subtitle>用户贡献</subtitle>
	<generator>MediaWiki 1.43.1</generator>
	<entry>
		<id>http://wiki.googology.top/index.php?title=P1-Y2.3&amp;diff=3769</id>
		<title>P1-Y2.3</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=P1-Y2.3&amp;diff=3769"/>
		<updated>2026-08-30T12:41:30Z</updated>

		<summary type="html">&lt;p&gt;送到：​&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;P1-Y是送到于2026.08.06创造的序数记号&lt;br /&gt;
&lt;br /&gt;
= 定义  =&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y(&amp;lt;/math&amp;gt;&#039;&#039;&#039;伪兼容&#039;&#039;&#039;&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y)&amp;lt;/math&amp;gt; &lt;br /&gt;
==整体规则==&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的合法式型如&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S=[P_1,P_2,P_3...[\#],P_n...[\%]...](!)_a($)_b...(P_1=1,P_n \in \omega)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的&#039;&#039;&#039;极限表达式&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y (1,\omega)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
对&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y (1,\omega)&amp;lt;/math&amp;gt;取有限次&#039;&#039;&#039;基本列&#039;&#039;&#039;得不到的&#039;&#039;&#039;表达式&#039;&#039;&#039;不是&#039;&#039;&#039;标准式&#039;&#039;&#039; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的所有合法式均能画出&#039;&#039;&#039;山脉图&#039;&#039;&#039;，如果不能则不是合法式 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的合法表达式可以分为&#039;&#039;&#039;零表达式&#039;&#039;&#039;、&#039;&#039;&#039;后继标达式&#039;&#039;&#039;和&#039;&#039;&#039;极限标达式&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
* &#039;&#039;&#039;零表达式&#039;&#039;&#039;：&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P_1&amp;lt;/math&amp;gt;不存在&lt;br /&gt;
* &#039;&#039;&#039;后继标达式&#039;&#039;&#039;：&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P_1&amp;lt;/math&amp;gt;存在且&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;(&amp;lt;/math&amp;gt;&#039;&#039;&#039;序列最后一项&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[1]&amp;lt;/math&amp;gt;或&#039;&#039;&#039;序列&#039;&#039;&#039;只有一项&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;)&amp;lt;/math&amp;gt;&lt;br /&gt;
* &#039;&#039;&#039;极限标达式&#039;&#039;&#039;：&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P_1&amp;lt;/math&amp;gt;存在且序列不是&#039;&#039;&#039;后继标达式&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
== 名词定义 ==&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;末项&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;父项&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;父项&#039;&#039;&#039;需在尽可能&#039;&#039;&#039;不跨括号&#039;&#039;&#039;时尽量靠前，&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;的&#039;&#039;&#039;父项&#039;&#039;&#039;为当前括号第&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;项 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;祖先项&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &#039;&#039;&#039;坏根&#039;&#039;&#039;：在尽可能&#039;&#039;&#039;不跨括号&#039;&#039;&#039;时尽量靠下、靠前且小于右上角的非&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;元素的数，&#039;&#039;&#039;坏根&#039;&#039;&#039;不能跨&#039;&#039;&#039;提取线&#039;&#039;&#039; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;坏部&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &#039;&#039;&#039;左腿&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &#039;&#039;&#039;右腿&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;轮廓边&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;轮廓边&#039;&#039;&#039;不能跨括号 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;平移边&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;平移边&#039;&#039;&#039;不能跨括号 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;填充边&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;填充边&#039;&#039;&#039;不能跨括号 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;兼容区&#039;&#039;&#039;：在&#039;&#039;&#039;山脉图&#039;&#039;&#039;中由&#039;&#039;&#039;坏根&#039;&#039;&#039;与右上角的非&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;元素的数构成的&#039;&#039;&#039;矩形&#039;&#039;&#039;中包括的部分&lt;br /&gt;
&lt;br /&gt;
== 山脉图 ==&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[]&amp;lt;/math&amp;gt;表示第一行&#039;&#039;&#039;山脉&#039;&#039;&#039;,&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;()_n&amp;lt;/math&amp;gt;为第&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;n&amp;lt;/math&amp;gt;行&#039;&#039;&#039;山脉&#039;&#039;&#039;,其余同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &lt;br /&gt;
==展开规则==&lt;br /&gt;
&lt;br /&gt;
当&#039;&#039;&#039;表达式&#039;&#039;&#039;为&#039;&#039;&#039;零表达式&#039;&#039;&#039;时&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S=0&amp;lt;/math&amp;gt; 当&#039;&#039;&#039;表达式&#039;&#039;&#039;为&#039;&#039;&#039;后继标达式&#039;&#039;&#039;时去除&#039;&#039;&#039;末项&#039;&#039;&#039;，&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S+1&amp;lt;/math&amp;gt; 当&#039;&#039;&#039;表达式&#039;&#039;&#039;为&#039;&#039;&#039;极限标达式&#039;&#039;&#039;时画出&#039;&#039;&#039;山脉图&#039;&#039;&#039;并进行以下判断，&#039;&#039;&#039;优先级&#039;&#039;&#039;为从上往下：&lt;br /&gt;
&lt;br /&gt;
* 如果&#039;&#039;&#039;山脉图&#039;&#039;&#039;在&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;中需要展开的&#039;&#039;&#039;行&#039;&#039;&#039;的&#039;&#039;&#039;末项&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;：&lt;br /&gt;
** 当前括号序列&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S_1=[B,[B],[B]...]&amp;lt;/math&amp;gt;&lt;br /&gt;
* 如果&#039;&#039;&#039;山脉图&#039;&#039;&#039;在&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;中需要展开的&#039;&#039;&#039;行&#039;&#039;&#039;的&#039;&#039;&#039;末项&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[n]&amp;lt;/math&amp;gt;的形式，去除&#039;&#039;&#039;末项&#039;&#039;&#039;的&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[]&amp;lt;/math&amp;gt;并按&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;展开&lt;br /&gt;
* 如果&#039;&#039;&#039;山脉图&#039;&#039;&#039;在&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;中需要展开的&#039;&#039;&#039;行&#039;&#039;&#039;的&#039;&#039;&#039;末项&#039;&#039;&#039;为单独的数字，将&#039;&#039;&#039;兼容区&#039;&#039;&#039;复制到&#039;&#039;&#039;山脉图&#039;&#039;&#039;右上角的非&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;元素右边并将右上角的元素和复制后的元素用&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[]~\lfloor\rfloor~\lceil\rceil~||&amp;lt;/math&amp;gt;包起来&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;理想情况&#039;&#039;&#039;下&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y([1,2,4](,1,2)_2)=lim(FFFZ)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
{{默认排序:个人记号}}&lt;br /&gt;
[[分类:记号]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=P1-Y&amp;diff=3768</id>
		<title>P1-Y</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=P1-Y&amp;diff=3768"/>
		<updated>2026-08-30T12:31:29Z</updated>

		<summary type="html">&lt;p&gt;送到：​清空全部内容&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=P1-Y&amp;diff=3767</id>
		<title>P1-Y</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=P1-Y&amp;diff=3767"/>
		<updated>2026-08-30T12:30:48Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面P1-Y至移动页面/记号&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;#重定向 [[移动页面/记号]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E7%A7%BB%E5%8A%A8%E9%A1%B5%E9%9D%A2/%E8%AE%B0%E5%8F%B7&amp;diff=3766</id>
		<title>移动页面/记号</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E7%A7%BB%E5%8A%A8%E9%A1%B5%E9%9D%A2/%E8%AE%B0%E5%8F%B7&amp;diff=3766"/>
		<updated>2026-08-30T12:30:48Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面P1-Y至移动页面/记号&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E7%A7%BB%E5%8A%A8%E9%A1%B5%E9%9D%A2/%E8%AE%B0%E5%8F%B7&amp;diff=3765</id>
		<title>移动页面/记号</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E7%A7%BB%E5%8A%A8%E9%A1%B5%E9%9D%A2/%E8%AE%B0%E5%8F%B7&amp;diff=3765"/>
		<updated>2026-08-30T12:29:30Z</updated>

		<summary type="html">&lt;p&gt;送到：​清空全部内容&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E7%A7%BB%E5%8A%A8%E9%A1%B5%E9%9D%A2/%E8%AE%B0%E5%8F%B7&amp;diff=3764</id>
		<title>移动页面/记号</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E7%A7%BB%E5%8A%A8%E9%A1%B5%E9%9D%A2/%E8%AE%B0%E5%8F%B7&amp;diff=3764"/>
		<updated>2026-08-30T12:29:13Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面P1-Y至无：​标题有错别字&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;#重定向 [[无]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E6%97%A0&amp;diff=3763</id>
		<title>无</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E6%97%A0&amp;diff=3763"/>
		<updated>2026-08-30T12:29:13Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面P1-Y至无：​标题有错别字&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E6%97%A0&amp;diff=3762</id>
		<title>无</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E6%97%A0&amp;diff=3762"/>
		<updated>2026-08-30T12:28:15Z</updated>

		<summary type="html">&lt;p&gt;送到：​清空全部内容&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=P1-Y2.3&amp;diff=3761</id>
		<title>P1-Y2.3</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=P1-Y2.3&amp;diff=3761"/>
		<updated>2026-08-30T12:23:07Z</updated>

		<summary type="html">&lt;p&gt;送到：​&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;= 定义  =&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y(&amp;lt;/math&amp;gt;&#039;&#039;&#039;伪兼容&#039;&#039;&#039;&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y)&amp;lt;/math&amp;gt; &lt;br /&gt;
==整体规则==&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的合法式型如&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S=[P_1,P_2,P_3...[\#],P_n...[\%]...](!)_a($)_b...(P_1=1,P_n \in \omega)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的&#039;&#039;&#039;极限表达式&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y (1,\omega)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
对&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y (1,\omega)&amp;lt;/math&amp;gt;取有限次&#039;&#039;&#039;基本列&#039;&#039;&#039;得不到的&#039;&#039;&#039;表达式&#039;&#039;&#039;不是&#039;&#039;&#039;标准式&#039;&#039;&#039; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的所有合法式均能画出&#039;&#039;&#039;山脉图&#039;&#039;&#039;，如果不能则不是合法式 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的合法表达式可以分为&#039;&#039;&#039;零表达式&#039;&#039;&#039;、&#039;&#039;&#039;后继标达式&#039;&#039;&#039;和&#039;&#039;&#039;极限标达式&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
* &#039;&#039;&#039;零表达式&#039;&#039;&#039;：&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P_1&amp;lt;/math&amp;gt;不存在&lt;br /&gt;
* &#039;&#039;&#039;后继标达式&#039;&#039;&#039;：&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P_1&amp;lt;/math&amp;gt;存在且&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;(&amp;lt;/math&amp;gt;&#039;&#039;&#039;序列最后一项&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[1]&amp;lt;/math&amp;gt;或&#039;&#039;&#039;序列&#039;&#039;&#039;只有一项&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;)&amp;lt;/math&amp;gt;&lt;br /&gt;
* &#039;&#039;&#039;极限标达式&#039;&#039;&#039;：&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P_1&amp;lt;/math&amp;gt;存在且序列不是&#039;&#039;&#039;后继标达式&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
== 名词定义 ==&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;末项&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;父项&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;父项&#039;&#039;&#039;需在尽可能&#039;&#039;&#039;不跨括号&#039;&#039;&#039;时尽量靠前，&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;的&#039;&#039;&#039;父项&#039;&#039;&#039;为当前括号第&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;项 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;祖先项&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &#039;&#039;&#039;坏根&#039;&#039;&#039;：在尽可能&#039;&#039;&#039;不跨括号&#039;&#039;&#039;时尽量靠下、靠前且小于右上角的非&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;元素的数，&#039;&#039;&#039;坏根&#039;&#039;&#039;不能跨&#039;&#039;&#039;提取线&#039;&#039;&#039; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;坏部&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &#039;&#039;&#039;左腿&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &#039;&#039;&#039;右腿&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;轮廓边&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;轮廓边&#039;&#039;&#039;不能跨括号 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;平移边&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;平移边&#039;&#039;&#039;不能跨括号 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;填充边&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;填充边&#039;&#039;&#039;不能跨括号 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;兼容区&#039;&#039;&#039;：在&#039;&#039;&#039;山脉图&#039;&#039;&#039;中由&#039;&#039;&#039;坏根&#039;&#039;&#039;与右上角的非&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;元素的数构成的&#039;&#039;&#039;矩形&#039;&#039;&#039;中包括的部分&lt;br /&gt;
&lt;br /&gt;
== 山脉图 ==&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[]&amp;lt;/math&amp;gt;表示第一行&#039;&#039;&#039;山脉&#039;&#039;&#039;,&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;()_n&amp;lt;/math&amp;gt;为第&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;n&amp;lt;/math&amp;gt;行&#039;&#039;&#039;山脉&#039;&#039;&#039;,其余同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &lt;br /&gt;
==展开规则==&lt;br /&gt;
&lt;br /&gt;
当&#039;&#039;&#039;表达式&#039;&#039;&#039;为&#039;&#039;&#039;零表达式&#039;&#039;&#039;时&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S=0&amp;lt;/math&amp;gt; 当&#039;&#039;&#039;表达式&#039;&#039;&#039;为&#039;&#039;&#039;后继标达式&#039;&#039;&#039;时去除&#039;&#039;&#039;末项&#039;&#039;&#039;，&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S+1&amp;lt;/math&amp;gt; 当&#039;&#039;&#039;表达式&#039;&#039;&#039;为&#039;&#039;&#039;极限标达式&#039;&#039;&#039;时画出&#039;&#039;&#039;山脉图&#039;&#039;&#039;并进行以下判断，&#039;&#039;&#039;优先级&#039;&#039;&#039;为从上往下：&lt;br /&gt;
&lt;br /&gt;
* 如果&#039;&#039;&#039;山脉图&#039;&#039;&#039;在&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;中需要展开的&#039;&#039;&#039;行&#039;&#039;&#039;的&#039;&#039;&#039;末项&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;：&lt;br /&gt;
** 当前括号序列&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S_1=[B,[B],[B]...]&amp;lt;/math&amp;gt;&lt;br /&gt;
* 如果&#039;&#039;&#039;山脉图&#039;&#039;&#039;在&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;中需要展开的&#039;&#039;&#039;行&#039;&#039;&#039;的&#039;&#039;&#039;末项&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[n]&amp;lt;/math&amp;gt;的形式，去除&#039;&#039;&#039;末项&#039;&#039;&#039;的&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[]&amp;lt;/math&amp;gt;并按&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;展开&lt;br /&gt;
* 如果&#039;&#039;&#039;山脉图&#039;&#039;&#039;在&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;中需要展开的&#039;&#039;&#039;行&#039;&#039;&#039;的&#039;&#039;&#039;末项&#039;&#039;&#039;为单独的数字，将&#039;&#039;&#039;兼容区&#039;&#039;&#039;复制到&#039;&#039;&#039;山脉图&#039;&#039;&#039;右上角的非&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;元素右边并将右上角的元素和复制后的元素用&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[]~\lfloor\rfloor~\lceil\rceil~||&amp;lt;/math&amp;gt;包起来&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;理想情况&#039;&#039;&#039;下&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y([1,2,4](,1,2)_2)=lim(FFFZ)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
{{默认排序:序数记号}}&lt;br /&gt;
[[分类:记号]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=P1-Y2.3&amp;diff=3760</id>
		<title>P1-Y2.3</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=P1-Y2.3&amp;diff=3760"/>
		<updated>2026-08-30T12:21:39Z</updated>

		<summary type="html">&lt;p&gt;送到：​&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{DISPLAYTITLE:P1-Y}}&lt;br /&gt;
&lt;br /&gt;
= 定义  =&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y(&amp;lt;/math&amp;gt;&#039;&#039;&#039;伪兼容&#039;&#039;&#039;&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y)&amp;lt;/math&amp;gt; &lt;br /&gt;
==整体规则==&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的合法式型如&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S=[P_1,P_2,P_3...[\#],P_n...[\%]...](!)_a($)_b...(P_1=1,P_n \in \omega)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的&#039;&#039;&#039;极限表达式&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y (1,\omega)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
对&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y (1,\omega)&amp;lt;/math&amp;gt;取有限次&#039;&#039;&#039;基本列&#039;&#039;&#039;得不到的&#039;&#039;&#039;表达式&#039;&#039;&#039;不是&#039;&#039;&#039;标准式&#039;&#039;&#039; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的所有合法式均能画出&#039;&#039;&#039;山脉图&#039;&#039;&#039;，如果不能则不是合法式 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的合法表达式可以分为&#039;&#039;&#039;零表达式&#039;&#039;&#039;、&#039;&#039;&#039;后继标达式&#039;&#039;&#039;和&#039;&#039;&#039;极限标达式&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
* &#039;&#039;&#039;零表达式&#039;&#039;&#039;：&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P_1&amp;lt;/math&amp;gt;不存在&lt;br /&gt;
* &#039;&#039;&#039;后继标达式&#039;&#039;&#039;：&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P_1&amp;lt;/math&amp;gt;存在且&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;(&amp;lt;/math&amp;gt;&#039;&#039;&#039;序列最后一项&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[1]&amp;lt;/math&amp;gt;或&#039;&#039;&#039;序列&#039;&#039;&#039;只有一项&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;)&amp;lt;/math&amp;gt;&lt;br /&gt;
* &#039;&#039;&#039;极限标达式&#039;&#039;&#039;：&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P_1&amp;lt;/math&amp;gt;存在且序列不是&#039;&#039;&#039;后继标达式&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
== 名词定义 ==&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;末项&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;父项&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;父项&#039;&#039;&#039;需在尽可能&#039;&#039;&#039;不跨括号&#039;&#039;&#039;时尽量靠前，&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;的&#039;&#039;&#039;父项&#039;&#039;&#039;为当前括号第&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;项 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;祖先项&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &#039;&#039;&#039;坏根&#039;&#039;&#039;：在尽可能&#039;&#039;&#039;不跨括号&#039;&#039;&#039;时尽量靠下、靠前且小于右上角的非&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;元素的数，&#039;&#039;&#039;坏根&#039;&#039;&#039;不能跨&#039;&#039;&#039;提取线&#039;&#039;&#039; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;坏部&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &#039;&#039;&#039;左腿&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &#039;&#039;&#039;右腿&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;轮廓边&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;轮廓边&#039;&#039;&#039;不能跨括号 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;平移边&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;平移边&#039;&#039;&#039;不能跨括号 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;填充边&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;填充边&#039;&#039;&#039;不能跨括号 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;兼容区&#039;&#039;&#039;：在&#039;&#039;&#039;山脉图&#039;&#039;&#039;中由&#039;&#039;&#039;坏根&#039;&#039;&#039;与右上角的非&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;元素的数构成的&#039;&#039;&#039;矩形&#039;&#039;&#039;中包括的部分&lt;br /&gt;
&lt;br /&gt;
== 山脉图 ==&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[]&amp;lt;/math&amp;gt;表示第一行&#039;&#039;&#039;山脉&#039;&#039;&#039;,&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;()_n&amp;lt;/math&amp;gt;为第&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;n&amp;lt;/math&amp;gt;行&#039;&#039;&#039;山脉&#039;&#039;&#039;,其余同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &lt;br /&gt;
==展开规则==&lt;br /&gt;
&lt;br /&gt;
当&#039;&#039;&#039;表达式&#039;&#039;&#039;为&#039;&#039;&#039;零表达式&#039;&#039;&#039;时&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S=0&amp;lt;/math&amp;gt; 当&#039;&#039;&#039;表达式&#039;&#039;&#039;为&#039;&#039;&#039;后继标达式&#039;&#039;&#039;时去除&#039;&#039;&#039;末项&#039;&#039;&#039;，&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S+1&amp;lt;/math&amp;gt; 当&#039;&#039;&#039;表达式&#039;&#039;&#039;为&#039;&#039;&#039;极限标达式&#039;&#039;&#039;时画出&#039;&#039;&#039;山脉图&#039;&#039;&#039;并进行以下判断，&#039;&#039;&#039;优先级&#039;&#039;&#039;为从上往下：&lt;br /&gt;
&lt;br /&gt;
* 如果&#039;&#039;&#039;山脉图&#039;&#039;&#039;在&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;中需要展开的&#039;&#039;&#039;行&#039;&#039;&#039;的&#039;&#039;&#039;末项&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;：&lt;br /&gt;
** 当前括号序列&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S_1=[B,[B],[B]...]&amp;lt;/math&amp;gt;&lt;br /&gt;
* 如果&#039;&#039;&#039;山脉图&#039;&#039;&#039;在&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;中需要展开的&#039;&#039;&#039;行&#039;&#039;&#039;的&#039;&#039;&#039;末项&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[n]&amp;lt;/math&amp;gt;的形式，去除&#039;&#039;&#039;末项&#039;&#039;&#039;的&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[]&amp;lt;/math&amp;gt;并按&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;展开&lt;br /&gt;
* 如果&#039;&#039;&#039;山脉图&#039;&#039;&#039;在&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;中需要展开的&#039;&#039;&#039;行&#039;&#039;&#039;的&#039;&#039;&#039;末项&#039;&#039;&#039;为单独的数字，将&#039;&#039;&#039;兼容区&#039;&#039;&#039;复制到&#039;&#039;&#039;山脉图&#039;&#039;&#039;右上角的非&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;元素右边并将右上角的元素和复制后的元素用&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[]~\lfloor\rfloor~\lceil\rceil~||&amp;lt;/math&amp;gt;包起来&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;理想情况&#039;&#039;&#039;下&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y([1,2,4](,1,2)_2)=lim(FFFZ)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
{{默认排序:序数记号}}&lt;br /&gt;
[[分类:记号]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=P1-Y2.3&amp;diff=3759</id>
		<title>P1-Y2.3</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=P1-Y2.3&amp;diff=3759"/>
		<updated>2026-08-30T12:20:52Z</updated>

		<summary type="html">&lt;p&gt;送到：​&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{DISPLAYTITLE:P1-Y}}&lt;br /&gt;
&lt;br /&gt;
= P1-Y  =&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y(&amp;lt;/math&amp;gt;&#039;&#039;&#039;伪兼容&#039;&#039;&#039;&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y)&amp;lt;/math&amp;gt; &lt;br /&gt;
==整体规则==&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的合法式型如&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S=[P_1,P_2,P_3...[\#],P_n...[\%]...](!)_a($)_b...(P_1=1,P_n \in \omega)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的&#039;&#039;&#039;极限表达式&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y (1,\omega)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
对&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y (1,\omega)&amp;lt;/math&amp;gt;取有限次&#039;&#039;&#039;基本列&#039;&#039;&#039;得不到的&#039;&#039;&#039;表达式&#039;&#039;&#039;不是&#039;&#039;&#039;标准式&#039;&#039;&#039; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的所有合法式均能画出&#039;&#039;&#039;山脉图&#039;&#039;&#039;，如果不能则不是合法式 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的合法表达式可以分为&#039;&#039;&#039;零表达式&#039;&#039;&#039;、&#039;&#039;&#039;后继标达式&#039;&#039;&#039;和&#039;&#039;&#039;极限标达式&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
* &#039;&#039;&#039;零表达式&#039;&#039;&#039;：&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P_1&amp;lt;/math&amp;gt;不存在&lt;br /&gt;
* &#039;&#039;&#039;后继标达式&#039;&#039;&#039;：&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P_1&amp;lt;/math&amp;gt;存在且&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;(&amp;lt;/math&amp;gt;&#039;&#039;&#039;序列最后一项&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[1]&amp;lt;/math&amp;gt;或&#039;&#039;&#039;序列&#039;&#039;&#039;只有一项&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;)&amp;lt;/math&amp;gt;&lt;br /&gt;
* &#039;&#039;&#039;极限标达式&#039;&#039;&#039;：&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P_1&amp;lt;/math&amp;gt;存在且序列不是&#039;&#039;&#039;后继标达式&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
== 名词定义 ==&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;末项&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;父项&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;父项&#039;&#039;&#039;需在尽可能&#039;&#039;&#039;不跨括号&#039;&#039;&#039;时尽量靠前，&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;的&#039;&#039;&#039;父项&#039;&#039;&#039;为当前括号第&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;项 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;祖先项&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &#039;&#039;&#039;坏根&#039;&#039;&#039;：在尽可能&#039;&#039;&#039;不跨括号&#039;&#039;&#039;时尽量靠下、靠前且小于右上角的非&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;元素的数，&#039;&#039;&#039;坏根&#039;&#039;&#039;不能跨&#039;&#039;&#039;提取线&#039;&#039;&#039; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;坏部&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &#039;&#039;&#039;左腿&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &#039;&#039;&#039;右腿&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;轮廓边&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;轮廓边&#039;&#039;&#039;不能跨括号 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;平移边&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;平移边&#039;&#039;&#039;不能跨括号 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;填充边&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;填充边&#039;&#039;&#039;不能跨括号 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;兼容区&#039;&#039;&#039;：在&#039;&#039;&#039;山脉图&#039;&#039;&#039;中由&#039;&#039;&#039;坏根&#039;&#039;&#039;与右上角的非&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;元素的数构成的&#039;&#039;&#039;矩形&#039;&#039;&#039;中包括的部分&lt;br /&gt;
&lt;br /&gt;
== 山脉图 ==&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[]&amp;lt;/math&amp;gt;表示第一行&#039;&#039;&#039;山脉&#039;&#039;&#039;,&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;()_n&amp;lt;/math&amp;gt;为第&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;n&amp;lt;/math&amp;gt;行&#039;&#039;&#039;山脉&#039;&#039;&#039;,其余同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &lt;br /&gt;
==展开规则==&lt;br /&gt;
&lt;br /&gt;
当&#039;&#039;&#039;表达式&#039;&#039;&#039;为&#039;&#039;&#039;零表达式&#039;&#039;&#039;时&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S=0&amp;lt;/math&amp;gt; 当&#039;&#039;&#039;表达式&#039;&#039;&#039;为&#039;&#039;&#039;后继标达式&#039;&#039;&#039;时去除&#039;&#039;&#039;末项&#039;&#039;&#039;，&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S+1&amp;lt;/math&amp;gt; 当&#039;&#039;&#039;表达式&#039;&#039;&#039;为&#039;&#039;&#039;极限标达式&#039;&#039;&#039;时画出&#039;&#039;&#039;山脉图&#039;&#039;&#039;并进行以下判断，&#039;&#039;&#039;优先级&#039;&#039;&#039;为从上往下：&lt;br /&gt;
&lt;br /&gt;
* 如果&#039;&#039;&#039;山脉图&#039;&#039;&#039;在&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;中需要展开的&#039;&#039;&#039;行&#039;&#039;&#039;的&#039;&#039;&#039;末项&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;：&lt;br /&gt;
** 当前括号序列&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S_1=[B,[B],[B]...]&amp;lt;/math&amp;gt;&lt;br /&gt;
* 如果&#039;&#039;&#039;山脉图&#039;&#039;&#039;在&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;中需要展开的&#039;&#039;&#039;行&#039;&#039;&#039;的&#039;&#039;&#039;末项&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[n]&amp;lt;/math&amp;gt;的形式，去除&#039;&#039;&#039;末项&#039;&#039;&#039;的&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[]&amp;lt;/math&amp;gt;并按&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;展开&lt;br /&gt;
* 如果&#039;&#039;&#039;山脉图&#039;&#039;&#039;在&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;中需要展开的&#039;&#039;&#039;行&#039;&#039;&#039;的&#039;&#039;&#039;末项&#039;&#039;&#039;为单独的数字，将&#039;&#039;&#039;兼容区&#039;&#039;&#039;复制到&#039;&#039;&#039;山脉图&#039;&#039;&#039;右上角的非&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;元素右边并将右上角的元素和复制后的元素用&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[]~\lfloor\rfloor~\lceil\rceil~||&amp;lt;/math&amp;gt;包起来&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;理想情况&#039;&#039;&#039;下&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y([1,2,4](,1,2)_2)=lim(FFFZ)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
{{默认排序:序数记号}}&lt;br /&gt;
[[分类:记号]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=P1-Y2.3&amp;diff=3758</id>
		<title>P1-Y2.3</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=P1-Y2.3&amp;diff=3758"/>
		<updated>2026-08-30T12:18:40Z</updated>

		<summary type="html">&lt;p&gt;送到：​&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{DISPLAYTITLE:P1-Y}}&lt;br /&gt;
&lt;br /&gt;
= P1-Y  =&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y(&amp;lt;/math&amp;gt;&#039;&#039;&#039;伪兼容&#039;&#039;&#039;&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y)&amp;lt;/math&amp;gt; &lt;br /&gt;
==整体规则==&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的合法式型如&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S=[P_1,P_2,P_3...[\#],P_n...[\%]...](!)_a($)_b...(P_1=1,P_n \in \omega)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的&#039;&#039;&#039;极限表达式&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y (1,\omega)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
对&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y (1,\omega)&amp;lt;/math&amp;gt;取有限次&#039;&#039;&#039;基本列&#039;&#039;&#039;得不到的&#039;&#039;&#039;表达式&#039;&#039;&#039;不是&#039;&#039;&#039;标准式&#039;&#039;&#039; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的所有合法式均能画出&#039;&#039;&#039;山脉图&#039;&#039;&#039;，如果不能则不是合法式 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的合法表达式可以分为&#039;&#039;&#039;零表达式&#039;&#039;&#039;、&#039;&#039;&#039;后继标达式&#039;&#039;&#039;和&#039;&#039;&#039;极限标达式&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
* &#039;&#039;&#039;零表达式&#039;&#039;&#039;：&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P_1&amp;lt;/math&amp;gt;不存在&lt;br /&gt;
* &#039;&#039;&#039;后继标达式&#039;&#039;&#039;：&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P_1&amp;lt;/math&amp;gt;存在且&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;(&amp;lt;/math&amp;gt;&#039;&#039;&#039;序列最后一项&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[1]&amp;lt;/math&amp;gt;或&#039;&#039;&#039;序列&#039;&#039;&#039;只有一项&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;)&amp;lt;/math&amp;gt;&lt;br /&gt;
* &#039;&#039;&#039;极限标达式&#039;&#039;&#039;：&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P_1&amp;lt;/math&amp;gt;存在且序列不是&#039;&#039;&#039;后继标达式&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
== 名词定义 ==&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;末项&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;父项&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;父项&#039;&#039;&#039;需在尽可能&#039;&#039;&#039;不跨括号&#039;&#039;&#039;时尽量靠前，&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;的&#039;&#039;&#039;父项&#039;&#039;&#039;为当前括号第&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;项 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;祖先项&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &#039;&#039;&#039;坏根&#039;&#039;&#039;：在尽可能&#039;&#039;&#039;不跨括号&#039;&#039;&#039;时尽量靠下、靠前且小于右上角的非&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;元素的数，&#039;&#039;&#039;坏根&#039;&#039;&#039;不能跨&#039;&#039;&#039;提取线&#039;&#039;&#039; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;坏部&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &#039;&#039;&#039;左腿&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &#039;&#039;&#039;右腿&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;轮廓边&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;轮廓边&#039;&#039;&#039;不能跨括号 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;平移边&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;平移边&#039;&#039;&#039;不能跨括号 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;填充边&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;填充边&#039;&#039;&#039;不能跨括号 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;兼容区&#039;&#039;&#039;：在&#039;&#039;&#039;山脉图&#039;&#039;&#039;中由&#039;&#039;&#039;坏根&#039;&#039;&#039;与右上角的非&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;元素的数构成的&#039;&#039;&#039;矩形&#039;&#039;&#039;中包括的部分&lt;br /&gt;
&lt;br /&gt;
== 山脉图 ==&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[]&amp;lt;/math&amp;gt;表示第一行&#039;&#039;&#039;山脉&#039;&#039;&#039;,&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;()_n&amp;lt;/math&amp;gt;为第&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;n&amp;lt;/math&amp;gt;行&#039;&#039;&#039;山脉&#039;&#039;&#039;,其余同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &lt;br /&gt;
==展开规则==&lt;br /&gt;
&lt;br /&gt;
当&#039;&#039;&#039;表达式&#039;&#039;&#039;为&#039;&#039;&#039;零表达式&#039;&#039;&#039;时&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S=0&amp;lt;/math&amp;gt; 当&#039;&#039;&#039;表达式&#039;&#039;&#039;为&#039;&#039;&#039;后继标达式&#039;&#039;&#039;时去除&#039;&#039;&#039;末项&#039;&#039;&#039;，&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S+1&amp;lt;/math&amp;gt; 当&#039;&#039;&#039;表达式&#039;&#039;&#039;为&#039;&#039;&#039;极限标达式&#039;&#039;&#039;时画出&#039;&#039;&#039;山脉图&#039;&#039;&#039;并进行以下判断，&#039;&#039;&#039;优先级&#039;&#039;&#039;为从上往下：&lt;br /&gt;
&lt;br /&gt;
* 如果&#039;&#039;&#039;山脉图&#039;&#039;&#039;在&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;中需要展开的&#039;&#039;&#039;行&#039;&#039;&#039;的&#039;&#039;&#039;末项&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;：&lt;br /&gt;
** 当前括号序列&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S_1=[B,[B],[B]...]&amp;lt;/math&amp;gt;&lt;br /&gt;
* 如果&#039;&#039;&#039;山脉图&#039;&#039;&#039;在&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;中需要展开的&#039;&#039;&#039;行&#039;&#039;&#039;的&#039;&#039;&#039;末项&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[n]&amp;lt;/math&amp;gt;的形式，去除&#039;&#039;&#039;末项&#039;&#039;&#039;的&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[]&amp;lt;/math&amp;gt;并按&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;展开&lt;br /&gt;
* 如果&#039;&#039;&#039;山脉图&#039;&#039;&#039;在&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;中需要展开的&#039;&#039;&#039;行&#039;&#039;&#039;的&#039;&#039;&#039;末项&#039;&#039;&#039;为单独的数字，将&#039;&#039;&#039;兼容区&#039;&#039;&#039;复制到&#039;&#039;&#039;山脉图&#039;&#039;&#039;右上角的非&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;元素右边并将右上角的元素和复制后的元素用&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[]~\lfloor\rfloor~\lceil\rceil~||&amp;lt;/math&amp;gt;包起来&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;理想情况&#039;&#039;&#039;下&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y([1,2,4](,1,2)_2)=lim(FFFZ)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
[[分类:记号]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=P1-Y2.3&amp;diff=3757</id>
		<title>P1-Y2.3</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=P1-Y2.3&amp;diff=3757"/>
		<updated>2026-08-30T12:16:55Z</updated>

		<summary type="html">&lt;p&gt;送到：​&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;= P1-Y  =&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y(&amp;lt;/math&amp;gt;&#039;&#039;&#039;伪兼容&#039;&#039;&#039;&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y)&amp;lt;/math&amp;gt; &lt;br /&gt;
==整体规则==&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的合法式型如&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S=[P_1,P_2,P_3...[\#],P_n...[\%]...](!)_a($)_b...(P_1=1,P_n \in \omega)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的&#039;&#039;&#039;极限表达式&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y (1,\omega)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
对&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y (1,\omega)&amp;lt;/math&amp;gt;取有限次&#039;&#039;&#039;基本列&#039;&#039;&#039;得不到的&#039;&#039;&#039;表达式&#039;&#039;&#039;不是&#039;&#039;&#039;标准式&#039;&#039;&#039; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的所有合法式均能画出&#039;&#039;&#039;山脉图&#039;&#039;&#039;，如果不能则不是合法式 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的合法表达式可以分为&#039;&#039;&#039;零表达式&#039;&#039;&#039;、&#039;&#039;&#039;后继标达式&#039;&#039;&#039;和&#039;&#039;&#039;极限标达式&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
* &#039;&#039;&#039;零表达式&#039;&#039;&#039;：&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P_1&amp;lt;/math&amp;gt;不存在&lt;br /&gt;
* &#039;&#039;&#039;后继标达式&#039;&#039;&#039;：&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P_1&amp;lt;/math&amp;gt;存在且&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;(&amp;lt;/math&amp;gt;&#039;&#039;&#039;序列最后一项&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[1]&amp;lt;/math&amp;gt;或&#039;&#039;&#039;序列&#039;&#039;&#039;只有一项&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;)&amp;lt;/math&amp;gt;&lt;br /&gt;
* &#039;&#039;&#039;极限标达式&#039;&#039;&#039;：&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P_1&amp;lt;/math&amp;gt;存在且序列不是&#039;&#039;&#039;后继标达式&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
== 名词定义 ==&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;末项&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;父项&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;父项&#039;&#039;&#039;需在尽可能&#039;&#039;&#039;不跨括号&#039;&#039;&#039;时尽量靠前，&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;的&#039;&#039;&#039;父项&#039;&#039;&#039;为当前括号第&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;项 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;祖先项&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &#039;&#039;&#039;坏根&#039;&#039;&#039;：在尽可能&#039;&#039;&#039;不跨括号&#039;&#039;&#039;时尽量靠下、靠前且小于右上角的非&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;元素的数，&#039;&#039;&#039;坏根&#039;&#039;&#039;不能跨&#039;&#039;&#039;提取线&#039;&#039;&#039; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;坏部&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &#039;&#039;&#039;左腿&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &#039;&#039;&#039;右腿&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;轮廓边&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;轮廓边&#039;&#039;&#039;不能跨括号 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;平移边&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;平移边&#039;&#039;&#039;不能跨括号 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;填充边&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;填充边&#039;&#039;&#039;不能跨括号 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;兼容区&#039;&#039;&#039;：在&#039;&#039;&#039;山脉图&#039;&#039;&#039;中由&#039;&#039;&#039;坏根&#039;&#039;&#039;与右上角的非&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;元素的数构成的&#039;&#039;&#039;矩形&#039;&#039;&#039;中包括的部分&lt;br /&gt;
&lt;br /&gt;
== 山脉图 ==&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[]&amp;lt;/math&amp;gt;表示第一行&#039;&#039;&#039;山脉&#039;&#039;&#039;,&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;()_n&amp;lt;/math&amp;gt;为第&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;n&amp;lt;/math&amp;gt;行&#039;&#039;&#039;山脉&#039;&#039;&#039;,其余同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &lt;br /&gt;
==展开规则==&lt;br /&gt;
&lt;br /&gt;
当&#039;&#039;&#039;表达式&#039;&#039;&#039;为&#039;&#039;&#039;零表达式&#039;&#039;&#039;时&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S=0&amp;lt;/math&amp;gt; 当&#039;&#039;&#039;表达式&#039;&#039;&#039;为&#039;&#039;&#039;后继标达式&#039;&#039;&#039;时去除&#039;&#039;&#039;末项&#039;&#039;&#039;，&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S+1&amp;lt;/math&amp;gt; 当&#039;&#039;&#039;表达式&#039;&#039;&#039;为&#039;&#039;&#039;极限标达式&#039;&#039;&#039;时画出&#039;&#039;&#039;山脉图&#039;&#039;&#039;并进行以下判断，&#039;&#039;&#039;优先级&#039;&#039;&#039;为从上往下：&lt;br /&gt;
&lt;br /&gt;
* 如果&#039;&#039;&#039;山脉图&#039;&#039;&#039;在&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;中需要展开的&#039;&#039;&#039;行&#039;&#039;&#039;的&#039;&#039;&#039;末项&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;：&lt;br /&gt;
** 当前括号序列&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S_1=[B,[B],[B]...]&amp;lt;/math&amp;gt;&lt;br /&gt;
* 如果&#039;&#039;&#039;山脉图&#039;&#039;&#039;在&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;中需要展开的&#039;&#039;&#039;行&#039;&#039;&#039;的&#039;&#039;&#039;末项&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[n]&amp;lt;/math&amp;gt;的形式，去除&#039;&#039;&#039;末项&#039;&#039;&#039;的&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[]&amp;lt;/math&amp;gt;并按&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;展开&lt;br /&gt;
* 如果&#039;&#039;&#039;山脉图&#039;&#039;&#039;在&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;中需要展开的&#039;&#039;&#039;行&#039;&#039;&#039;的&#039;&#039;&#039;末项&#039;&#039;&#039;为单独的数字，将&#039;&#039;&#039;兼容区&#039;&#039;&#039;复制到&#039;&#039;&#039;山脉图&#039;&#039;&#039;右上角的非&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;元素右边并将右上角的元素和复制后的元素用&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[]~\lfloor\rfloor~\lceil\rceil~||&amp;lt;/math&amp;gt;包起来&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;理想情况&#039;&#039;&#039;下&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y([1,2,4](,1,2)_2)=lim(FFFZ)&amp;lt;/math&amp;gt;&lt;br /&gt;
&lt;br /&gt;
[[分类:记号]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E7%94%A8%E6%88%B7:%E9%80%81%E5%88%B0&amp;diff=3756</id>
		<title>用户:送到</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E7%94%A8%E6%88%B7:%E9%80%81%E5%88%B0&amp;diff=3756"/>
		<updated>2026-08-30T12:10:04Z</updated>

		<summary type="html">&lt;p&gt;送到：​&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;擅长批发滚木果糕&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
=记号=&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;\varepsilon_0&amp;lt;/math&amp;gt;以下&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;\varepsilon_0\sim \psi(\Omega_2)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;\psi(\Omega_2)\sim \psi(\Omega_\omega)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;\psi(\Omega_\omega)\sim (0)(1,1,1,1)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;(0)(1,1,1,1)\sim BMS&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;BMS\sim 1-Y&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y\sim \omega-Y&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;\omega-Y\sim \Omega-Y&amp;lt;/math&amp;gt;(多为大饼)&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;\Omega-Y\sim LHO&amp;lt;/math&amp;gt;(多为大饼)&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
[[OTTS]]&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
[[2-GRS]]&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;LHO\sim \omega_1&amp;lt;/math&amp;gt;(多为大饼)&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
[[Ω-GRS]]&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
[[MrFOS]]&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
[[ωLYS]]&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
[[P1-Y2.3|P1-Y]]&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
[[RTP1-Y]]&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
[[Ω-P1-Y]]&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
[[α-P1-Y]]&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;\omega_1&amp;lt;/math&amp;gt;以上?&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
[[Ns]]&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E6%97%A0&amp;diff=3755</id>
		<title>无</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E6%97%A0&amp;diff=3755"/>
		<updated>2026-08-30T04:46:42Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面P1-Y至P1-Y2&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;#重定向 [[P1-Y2]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=P1-Y2&amp;diff=3754</id>
		<title>P1-Y2</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=P1-Y2&amp;diff=3754"/>
		<updated>2026-08-30T04:46:42Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面P1-Y至P1-Y2&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E5%88%86%E6%9E%90&amp;diff=3753</id>
		<title>分类:分析</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E5%88%86%E6%9E%90&amp;diff=3753"/>
		<updated>2026-08-29T17:04:20Z</updated>

		<summary type="html">&lt;p&gt;送到：​&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;此分类储存记号的分析，亦或是分析记号的方法或工具。&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E5%88%86%E6%9E%90&amp;diff=3752</id>
		<title>分类:分析</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E5%88%86%E6%9E%90&amp;diff=3752"/>
		<updated>2026-08-29T17:03:48Z</updated>

		<summary type="html">&lt;p&gt;送到：​&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;此分类储存记号的分析，亦或是分析记号的方法或工具。[[P1-Y2.3|P1-Y]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E7%94%A8%E6%88%B7:%E9%80%81%E5%88%B0&amp;diff=3751</id>
		<title>用户:送到</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E7%94%A8%E6%88%B7:%E9%80%81%E5%88%B0&amp;diff=3751"/>
		<updated>2026-08-29T16:58:53Z</updated>

		<summary type="html">&lt;p&gt;送到：​&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;擅长批发滚木果糕&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
=记号=&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;\omega^\omega&amp;lt;/math&amp;gt;以下&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;\omega^\omega\sim \varepsilon_0&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;\varepsilon_0\sim \psi(\Omega_2)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;\psi(\Omega_2)\sim \psi(\Omega_\omega)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;\psi(\Omega_\omega)\sim \psi(I)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;\psi(I)\sim \psi(2-2)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;\psi(2-2)\sim \psi(\rm{psd.}\Pi_\omega)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;\psi(\rm{psd.}\Pi_\omega)\sim (0)(1,1,1,1)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;(0)(1,1,1,1)\sim 1-Y&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y\sim \omega-Y&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;\omega-Y\sim \Omega-Y&amp;lt;/math&amp;gt;(多为大饼)&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;\Omega-Y\sim LHO&amp;lt;/math&amp;gt;(多为大饼)&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
[[OTTS]]&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
[[2-GRS]]&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;LHO\sim\omega_1&amp;lt;/math&amp;gt;(多为大饼)&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
[[Ω-GRS]]&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
[[MrFOS]]&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
[[ωLYS]]&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
[[P1-Y2.3|P1-Y]]&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
[[RTP1-Y]]&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
[[α-P1-Y]]&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;\omega_1&amp;lt;/math&amp;gt;以上?&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
[[Ns]]&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E8%AE%B0%E5%8F%B7:P1-Y&amp;diff=3750</id>
		<title>分类:记号:P1-Y</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E8%AE%B0%E5%8F%B7:P1-Y&amp;diff=3750"/>
		<updated>2026-08-29T16:56:47Z</updated>

		<summary type="html">&lt;p&gt;送到：​清空全部内容&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E8%AE%B0%E5%8F%B7:P1-Y&amp;diff=3749</id>
		<title>分类:记号:P1-Y</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E8%AE%B0%E5%8F%B7:P1-Y&amp;diff=3749"/>
		<updated>2026-08-29T16:55:58Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面分类:记号:P1-Y至P1-Y2.3&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;#重定向 [[P1-Y2.3]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=P1-Y2.3&amp;diff=3748</id>
		<title>P1-Y2.3</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=P1-Y2.3&amp;diff=3748"/>
		<updated>2026-08-29T16:55:58Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面分类:记号:P1-Y至P1-Y2.3&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;= P1-Y  =&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y(&amp;lt;/math&amp;gt;&#039;&#039;&#039;伪兼容&#039;&#039;&#039;&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y)&amp;lt;/math&amp;gt; &lt;br /&gt;
==整体规则==&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的合法式型如&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S=[P_1,P_2,P_3...[\#],P_n...[\%]...](!)_a($)_b...(P_1=1,P_n \in \omega)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的&#039;&#039;&#039;极限表达式&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y (1,\omega)&amp;lt;/math&amp;gt;&lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
对&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y (1,\omega)&amp;lt;/math&amp;gt;取有限次&#039;&#039;&#039;基本列&#039;&#039;&#039;得不到的&#039;&#039;&#039;表达式&#039;&#039;&#039;不是&#039;&#039;&#039;标准式&#039;&#039;&#039; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的所有合法式均能画出&#039;&#039;&#039;山脉图&#039;&#039;&#039;，如果不能则不是合法式 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y &amp;lt;/math&amp;gt;的合法表达式可以分为&#039;&#039;&#039;零表达式&#039;&#039;&#039;、&#039;&#039;&#039;后继标达式&#039;&#039;&#039;和&#039;&#039;&#039;极限标达式&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
* &#039;&#039;&#039;零表达式&#039;&#039;&#039;：&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P_1&amp;lt;/math&amp;gt;不存在&lt;br /&gt;
* &#039;&#039;&#039;后继标达式&#039;&#039;&#039;：&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P_1&amp;lt;/math&amp;gt;存在且&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;(&amp;lt;/math&amp;gt;&#039;&#039;&#039;序列最后一项&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[1]&amp;lt;/math&amp;gt;或&#039;&#039;&#039;序列&#039;&#039;&#039;只有一项&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;)&amp;lt;/math&amp;gt;&lt;br /&gt;
* &#039;&#039;&#039;极限标达式&#039;&#039;&#039;：&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P_1&amp;lt;/math&amp;gt;存在且序列不是&#039;&#039;&#039;后继标达式&#039;&#039;&#039;&lt;br /&gt;
&lt;br /&gt;
== 名词定义 ==&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;末项&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;父项&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;父项&#039;&#039;&#039;需在尽可能&#039;&#039;&#039;不跨括号&#039;&#039;&#039;时尽量靠前，&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;的&#039;&#039;&#039;父项&#039;&#039;&#039;为当前括号第&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;项 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;祖先项&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &#039;&#039;&#039;坏根&#039;&#039;&#039;：在尽可能&#039;&#039;&#039;不跨括号&#039;&#039;&#039;时尽量靠下、靠前且小于右上角的非&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;元素的数，&#039;&#039;&#039;坏根&#039;&#039;&#039;不能跨&#039;&#039;&#039;提取线&#039;&#039;&#039; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;坏部&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &#039;&#039;&#039;左腿&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &#039;&#039;&#039;右腿&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;轮廓边&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;轮廓边&#039;&#039;&#039;不能跨括号 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;平移边&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;平移边&#039;&#039;&#039;不能跨括号 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;填充边&#039;&#039;&#039;：同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;，&#039;&#039;&#039;填充边&#039;&#039;&#039;不能跨括号 &lt;br /&gt;
&amp;lt;br&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;兼容区&#039;&#039;&#039;：在&#039;&#039;&#039;山脉图&#039;&#039;&#039;中由&#039;&#039;&#039;坏根&#039;&#039;&#039;与右上角的非&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;元素的数构成的&#039;&#039;&#039;矩形&#039;&#039;&#039;中包括的部分&lt;br /&gt;
&lt;br /&gt;
== 山脉图 ==&lt;br /&gt;
&lt;br /&gt;
&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[]&amp;lt;/math&amp;gt;表示第一行&#039;&#039;&#039;山脉&#039;&#039;&#039;,&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;()_n&amp;lt;/math&amp;gt;为第&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;n&amp;lt;/math&amp;gt;行&#039;&#039;&#039;山脉&#039;&#039;&#039;,其余同&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt; &lt;br /&gt;
==展开规则==&lt;br /&gt;
&lt;br /&gt;
当&#039;&#039;&#039;表达式&#039;&#039;&#039;为&#039;&#039;&#039;零表达式&#039;&#039;&#039;时&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S=0&amp;lt;/math&amp;gt; 当&#039;&#039;&#039;表达式&#039;&#039;&#039;为&#039;&#039;&#039;后继标达式&#039;&#039;&#039;时去除&#039;&#039;&#039;末项&#039;&#039;&#039;，&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S+1&amp;lt;/math&amp;gt; 当&#039;&#039;&#039;表达式&#039;&#039;&#039;为&#039;&#039;&#039;极限标达式&#039;&#039;&#039;时画出&#039;&#039;&#039;山脉图&#039;&#039;&#039;并进行以下判断，&#039;&#039;&#039;优先级&#039;&#039;&#039;为从上往下：&lt;br /&gt;
&lt;br /&gt;
* 如果&#039;&#039;&#039;山脉图&#039;&#039;&#039;在&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;中需要展开的&#039;&#039;&#039;行&#039;&#039;&#039;的&#039;&#039;&#039;末项&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;：&lt;br /&gt;
** 当前括号序列&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;S_1=[B,[B],[B]...]&amp;lt;/math&amp;gt;&lt;br /&gt;
* 如果&#039;&#039;&#039;山脉图&#039;&#039;&#039;在&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;中需要展开的&#039;&#039;&#039;行&#039;&#039;&#039;的&#039;&#039;&#039;末项&#039;&#039;&#039;为&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[n]&amp;lt;/math&amp;gt;的形式，去除&#039;&#039;&#039;末项&#039;&#039;&#039;的&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[]&amp;lt;/math&amp;gt;并按&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;展开&lt;br /&gt;
* 如果&#039;&#039;&#039;山脉图&#039;&#039;&#039;在&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1-Y&amp;lt;/math&amp;gt;中需要展开的&#039;&#039;&#039;行&#039;&#039;&#039;的&#039;&#039;&#039;末项&#039;&#039;&#039;为单独的数字，将&#039;&#039;&#039;兼容区&#039;&#039;&#039;复制到&#039;&#039;&#039;山脉图&#039;&#039;&#039;右上角的非&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;1&amp;lt;/math&amp;gt;元素右边并将右上角的元素和复制后的元素用&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;[]~\lfloor\rfloor~\lceil\rceil~||&amp;lt;/math&amp;gt;包起来&lt;br /&gt;
&lt;br /&gt;
&#039;&#039;&#039;理想情况&#039;&#039;&#039;下&amp;lt;math display=&amp;quot;inline&amp;quot;&amp;gt;P1-Y([1,2,4](,1,2)_2)=lim(FFFZ)&amp;lt;/math&amp;gt;&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=P1-Y2&amp;diff=3747</id>
		<title>P1-Y2</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=P1-Y2&amp;diff=3747"/>
		<updated>2026-08-29T16:54:23Z</updated>

		<summary type="html">&lt;p&gt;送到：​清空全部内容&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=P1-Y2&amp;diff=3746</id>
		<title>P1-Y2</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=P1-Y2&amp;diff=3746"/>
		<updated>2026-08-29T16:53:29Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面P1-Y至分类:空9&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;#重定向 [[:分类:空9]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E7%A9%BA9&amp;diff=3745</id>
		<title>分类:空9</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E7%A9%BA9&amp;diff=3745"/>
		<updated>2026-08-29T16:53:29Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面P1-Y至分类:空9&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;#重定向 [[分类讨论:P1-Y]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E7%A9%BA9&amp;diff=3744</id>
		<title>分类:空9</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E7%A9%BA9&amp;diff=3744"/>
		<updated>2026-08-29T16:51:31Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面P1-Y至分类讨论:P1-Y&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;#重定向 [[分类讨论:P1-Y]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB%E8%AE%A8%E8%AE%BA:P1-Y&amp;diff=3743</id>
		<title>分类讨论:P1-Y</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB%E8%AE%A8%E8%AE%BA:P1-Y&amp;diff=3743"/>
		<updated>2026-08-29T16:51:31Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面P1-Y至分类讨论:P1-Y&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{DISPLAYTITLE:空}}&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB%E8%AE%A8%E8%AE%BA:P1-Y&amp;diff=3742</id>
		<title>分类讨论:P1-Y</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB%E8%AE%A8%E8%AE%BA:P1-Y&amp;diff=3742"/>
		<updated>2026-08-29T16:50:52Z</updated>

		<summary type="html">&lt;p&gt;送到：​已移除至空6的重定向&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{DISPLAYTITLE:空}}&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB%E8%AE%A8%E8%AE%BA:P1-Y&amp;diff=3741</id>
		<title>分类讨论:P1-Y</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB%E8%AE%A8%E8%AE%BA:P1-Y&amp;diff=3741"/>
		<updated>2026-08-29T16:49:22Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面P1-Y至空6&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;#重定向 [[空6]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E7%A9%BA6&amp;diff=3740</id>
		<title>空6</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E7%A9%BA6&amp;diff=3740"/>
		<updated>2026-08-29T16:49:22Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面P1-Y至空6&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{DISPLAYTITLE:空5}}&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E7%A9%BA6&amp;diff=3739</id>
		<title>空6</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E7%A9%BA6&amp;diff=3739"/>
		<updated>2026-08-29T16:47:58Z</updated>

		<summary type="html">&lt;p&gt;送到：​&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{DISPLAYTITLE:空5}}&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E7%A9%BA6&amp;diff=3738</id>
		<title>空6</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E7%A9%BA6&amp;diff=3738"/>
		<updated>2026-08-29T16:47:24Z</updated>

		<summary type="html">&lt;p&gt;送到：​清空全部内容&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E7%A9%BA4&amp;diff=3737</id>
		<title>分类:空4</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E7%A9%BA4&amp;diff=3737"/>
		<updated>2026-08-29T16:45:19Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面分类:空4至分类:P1-Y，覆盖重定向：​恢复&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;#重定向 [[:分类:P1-Y]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:P1-Y&amp;diff=3736</id>
		<title>分类:P1-Y</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:P1-Y&amp;diff=3736"/>
		<updated>2026-08-29T16:45:19Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面分类:空4至分类:P1-Y，覆盖重定向：​恢复&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:P1-Y&amp;diff=3734</id>
		<title>分类:P1-Y</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:P1-Y&amp;diff=3734"/>
		<updated>2026-08-29T16:42:36Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面分类:P1-Y至分类:空4&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=Googology_Wiki:P1-Y&amp;diff=3733</id>
		<title>Googology Wiki:P1-Y</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=Googology_Wiki:P1-Y&amp;diff=3733"/>
		<updated>2026-08-29T16:42:21Z</updated>

		<summary type="html">&lt;p&gt;送到：​清空全部内容&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:P1-Y&amp;diff=3732</id>
		<title>分类:P1-Y</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:P1-Y&amp;diff=3732"/>
		<updated>2026-08-29T16:41:49Z</updated>

		<summary type="html">&lt;p&gt;送到：​清空全部内容&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E7%A9%BA6&amp;diff=3731</id>
		<title>空6</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E7%A9%BA6&amp;diff=3731"/>
		<updated>2026-08-29T16:41:22Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面P1-Y至空3&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;#重定向 [[空3]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E7%A9%BA3&amp;diff=3730</id>
		<title>空3</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E7%A9%BA3&amp;diff=3730"/>
		<updated>2026-08-29T16:41:22Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面P1-Y至空3&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:P1-Y&amp;diff=3729</id>
		<title>分类:P1-Y</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:P1-Y&amp;diff=3729"/>
		<updated>2026-08-29T16:40:04Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面分类:P1-Y至分类:空2&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;#重定向 [[:分类:空2]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E7%A9%BA2&amp;diff=3728</id>
		<title>分类:空2</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E7%A9%BA2&amp;diff=3728"/>
		<updated>2026-08-29T16:40:04Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面分类:P1-Y至分类:空2&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;#重定向 [[:分类:空]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E7%A9%BA2&amp;diff=3727</id>
		<title>分类:空2</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E7%A9%BA2&amp;diff=3727"/>
		<updated>2026-08-29T16:39:24Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面分类:P1-Y至分类:空&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;#重定向 [[:分类:空]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E7%A9%BA&amp;diff=3726</id>
		<title>分类:空</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E7%A9%BA&amp;diff=3726"/>
		<updated>2026-08-29T16:39:24Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面分类:P1-Y至分类:空&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E7%A9%BA&amp;diff=3725</id>
		<title>分类:空</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E7%A9%BA&amp;diff=3725"/>
		<updated>2026-08-29T16:38:42Z</updated>

		<summary type="html">&lt;p&gt;送到：​清空全部内容&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E8%AE%B0%E5%8F%B7:P1-Y&amp;diff=3724</id>
		<title>记号:P1-Y</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E8%AE%B0%E5%8F%B7:P1-Y&amp;diff=3724"/>
		<updated>2026-08-29T16:37:44Z</updated>

		<summary type="html">&lt;p&gt;送到：​清空全部内容&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E7%A9%BA&amp;diff=3723</id>
		<title>分类:空</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E5%88%86%E7%B1%BB:%E7%A9%BA&amp;diff=3723"/>
		<updated>2026-08-29T16:35:42Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面分类:P1-Y至P1-Y，覆盖重定向&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;#重定向 [[P1-Y]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E7%A9%BA3&amp;diff=3722</id>
		<title>空3</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E7%A9%BA3&amp;diff=3722"/>
		<updated>2026-08-29T16:35:42Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面分类:P1-Y至P1-Y，覆盖重定向&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E7%A9%BA3&amp;diff=3721</id>
		<title>空3</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E7%A9%BA3&amp;diff=3721"/>
		<updated>2026-08-29T16:34:59Z</updated>

		<summary type="html">&lt;p&gt;送到：​清空全部内容&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E7%A9%BA3&amp;diff=3719</id>
		<title>空3</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E7%A9%BA3&amp;diff=3719"/>
		<updated>2026-08-29T16:29:52Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面P1-Y至分类:P1-Y，覆盖重定向&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;#重定向 [[:分类:记号:P1-Y]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
	<entry>
		<id>http://wiki.googology.top/index.php?title=%E8%AE%B0%E5%8F%B7:P1-Y&amp;diff=3718</id>
		<title>记号:P1-Y</title>
		<link rel="alternate" type="text/html" href="http://wiki.googology.top/index.php?title=%E8%AE%B0%E5%8F%B7:P1-Y&amp;diff=3718"/>
		<updated>2026-08-29T16:28:23Z</updated>

		<summary type="html">&lt;p&gt;送到：​送到移动页面记号:P1-Y至P1-Y，覆盖重定向&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;#重定向 [[P1-Y]]&lt;/div&gt;</summary>
		<author><name>送到</name></author>
	</entry>
</feed>