查看“︁P1-Y2.3”︁的源代码

{{DISPLAYTITLE:P1-Y}}

= 定义  =

<math display="inline">P1-Y(</math>'''伪兼容'''<math display="inline">1-Y)</math> 
==整体规则==

<math display="inline">P1-Y </math>的合法式型如<math display="inline">S=[P_1,P_2,P_3...[\#],P_n...[\%]...](!)_a($)_b...(P_1=1,P_n \in \omega)</math>
<br>
<math display="inline">P1-Y </math>的'''极限表达式'''为<math display="inline">P1-Y (1,\omega)</math>
<br>
对<math display="inline">P1-Y (1,\omega)</math>取有限次'''基本列'''得不到的'''表达式'''不是'''标准式''' 
<br>
<math display="inline">P1-Y </math>的所有合法式均能画出'''山脉图'''，如果不能则不是合法式 
<br>
<math display="inline">P1-Y </math>的合法表达式可以分为'''零表达式'''、'''后继标达式'''和'''极限标达式'''

* '''零表达式'''：<math display="inline">P_1</math>不存在
* '''后继标达式'''：<math display="inline">P_1</math>存在且<math display="inline">(</math>'''序列最后一项'''为<math display="inline">[1]</math>或'''序列'''只有一项<math display="inline">)</math>
* '''极限标达式'''：<math display="inline">P_1</math>存在且序列不是'''后继标达式'''

== 名词定义 ==

'''末项'''：同<math display="inline">1-Y</math> 
<br>
'''父项'''：同<math display="inline">1-Y</math>，'''父项'''需在尽可能'''不跨括号'''时尽量靠前，<math display="inline">1</math>的'''父项'''为当前括号第<math display="inline">1</math>项 
<br>
'''祖先项'''：同<math display="inline">1-Y</math> '''坏根'''：在尽可能'''不跨括号'''时尽量靠下、靠前且小于右上角的非<math display="inline">1</math>元素的数，'''坏根'''不能跨'''提取线''' 
<br>
'''坏部'''：同<math display="inline">1-Y</math> '''左腿'''：同<math display="inline">1-Y</math> '''右腿'''：同<math display="inline">1-Y</math> 
<br>
'''轮廓边'''：同<math display="inline">1-Y</math>，'''轮廓边'''不能跨括号 
<br>
'''平移边'''：同<math display="inline">1-Y</math>，'''平移边'''不能跨括号 
<br>
'''填充边'''：同<math display="inline">1-Y</math>，'''填充边'''不能跨括号 
<br>
'''兼容区'''：在'''山脉图'''中由'''坏根'''与右上角的非<math display="inline">1</math>元素的数构成的'''矩形'''中包括的部分

== 山脉图 ==

<math display="inline">[]</math>表示第一行'''山脉''',<math display="inline">()_n</math>为第<math display="inline">n</math>行'''山脉''',其余同<math display="inline">1-Y</math> 
==展开规则==

当'''表达式'''为'''零表达式'''时<math display="inline">S=0</math> 当'''表达式'''为'''后继标达式'''时去除'''末项'''，<math display="inline">S+1</math> 当'''表达式'''为'''极限标达式'''时画出'''山脉图'''并进行以下判断，'''优先级'''为从上往下：

* 如果'''山脉图'''在<math display="inline">1-Y</math>中需要展开的'''行'''的'''末项'''为<math display="inline">1</math>：
** 当前括号序列<math display="inline">S_1=[B,[B],[B]...]</math>
* 如果'''山脉图'''在<math display="inline">1-Y</math>中需要展开的'''行'''的'''末项'''为<math display="inline">[n]</math>的形式，去除'''末项'''的<math display="inline">[]</math>并按<math display="inline">1-Y</math>展开
* 如果'''山脉图'''在<math display="inline">1-Y</math>中需要展开的'''行'''的'''末项'''为单独的数字，将'''兼容区'''复制到'''山脉图'''右上角的非<math display="inline">1</math>元素右边并将右上角的元素和复制后的元素用<math display="inline">[]~\lfloor\rfloor~\lceil\rceil~||</math>包起来

'''理想情况'''下<math display="inline">P1-Y([1,2,4](,1,2)_2)=lim(FFFZ)</math>

{{默认排序:序数记号}}
[[分类:记号]]