Jax-dan/zhwiki-latest huggingface dataset:
小行星列表/242001-243000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 242001-242100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 242101-242200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 242201-242300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 242301-242400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 242401-242500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 242501-242600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 242601-242700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 242701-242800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 242801-242900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 242901-243000
小行星列表/243001-244000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 243001-243100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 243101-243200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 243201-243300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 243301-243400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 243401-243500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 243501-243600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 243601-243700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 243701-243800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 243801-243900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 243901-244000
小行星列表/244001-245000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 244001-244100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 244101-244200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 244201-244300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 244301-244400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 244401-244500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 244501-244600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 244601-244700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 244701-244800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 244801-244900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 244901-245000
小行星列表/245001-246000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 245001-245100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 245101-245200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 245201-245300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 245301-245400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 245401-245500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 245501-245600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 245601-245700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 245701-245800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 245801-245900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 245901-246000
小行星列表/246001-247000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 246001-246100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 246101-246200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 246201-246300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 246301-246400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 246401-246500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 246501-246600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 246601-246700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 246701-246800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 246801-246900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 246901-247000
小行星列表/247001-248000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 247001-247100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 247101-247200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 247201-247300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 247301-247400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 247401-247500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 247501-247600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 247601-247700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 247701-247800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 247801-247900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 247901-248000
小行星列表/248001-249000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 248001-248100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 248101-248200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 248201-248300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 248301-248400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 248401-248500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 248501-248600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 248601-248700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 248701-248800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 248801-248900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 248901-249000
小行星列表/249001-250000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 249001-249100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 249101-249200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 249201-249300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 249301-249400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 249401-249500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 249501-249600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 249601-249700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 249701-249800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 249801-249900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 249901-250000
小行星列表/250001-251000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 250001-250100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 250101-250200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 250201-250300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 250301-250400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 250401-250500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 250501-250600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 250601-250700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 250701-250800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 250801-250900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 250901-251000
小行星列表/251001-252000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 251001-251100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 251101-251200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 251201-251300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 251301-251400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 251401-251500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 251501-251600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 251601-251700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 251701-251800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 251801-251900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 251901-252000
小行星列表/252001-253000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 252001-252100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 252101-252200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 252201-252300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 252301-252400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 252401-252500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 252501-252600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 252601-252700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 252701-252800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 252801-252900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 252901-253000
定义可达性

在编译器理论中，一个指令的定义可达性（Reaching Definition）必然是另外一个指令，而这个指令则是一个没有交错赋值指令的目标变数，举例来说：
 d1 : y := 3
 d2 : x := y
在codice_1中，codice_2为定义可达性，而在下列的范例中：
 d1 : y := 3
 d2 : y := 4
 d3 : x := y
codice_2 在 codice_4不再是定义可达性，因为codice_1使它不再可能被到达。
作为分析用途.
定义可达性也可称为数据流分析，它静态的决定在程式码当中哪些定义可以被到达，由于他相当简单，它在教课书当中通常被使用作数据分析的经典范例。数据流汇流运算（data-flow confluence operator）则是使用联集，而他的分析则是正向流动。定义可达性被使用在计算UD链以及DU链。
资料流方程式，给定一个基本区块 formula_1在定义可达性：
换句话说，定义可达性的集合为formula_1，formula_5为formula_1的前身，在控制流程图（Control flow graph）中，formula_5包含所有在formula_1区块前的基本区块。定义可达性出来的formula_1，为所有定义可达性自己前身减掉那些被formula_1剃除掉的变数，再加上formula_1产生的新的定义。
我们定义通用的指令formula_12及formula_13如下：
formula_16为所有赋值给formula_17变数定义的集合，formula_18是一个独立的标签附加在赋值的指令，那么定义可达性的值域就是这些指令标签。
小行星列表/253001-254000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 253001-253100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 253101-253200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 253201-253300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 253301-253400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 253401-253500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 253501-253600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 253601-253700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 253701-253800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 253801-253900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 253901-254000
小行星列表/254001-255000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 254001-254100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 254101-254200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 254201-254300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 254301-254400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 254401-254500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 254501-254600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 254601-254700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 254701-254800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 254801-254900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 254901-255000
小行星列表/255001-256000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 255001-255100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 255101-255200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 255201-255300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 255301-255400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 255401-255500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 255501-255600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 255601-255700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 255701-255800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 255801-255900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 255901-256000
小行星列表/256001-257000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 256001-256100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 256101-256200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 256201-256300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 256301-256400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 256401-256500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 256501-256600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 256601-256700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 256701-256800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 256801-256900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 256901-257000
小行星列表/257001-258000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 257001-257100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 257101-257200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 257201-257300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 257301-257400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 257401-257500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 257501-257600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 257601-257700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 257701-257800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 257801-257900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 257901-258000
小行星列表/258001-259000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 258001-258100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 258101-258200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 258201-258300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 258301-258400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 258401-258500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 258501-258600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 258601-258700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 258701-258800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 258801-258900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 258901-259000
小行星列表/259001-260000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 259001-259100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 259101-259200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 259201-259300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 259301-259400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 259401-259500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 259501-259600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 259601-259700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 259701-259800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 259801-259900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 259901-260000
小行星列表/260001-261000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 260001-260100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 260101-260200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 260201-260300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 260301-260400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 260401-260500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 260501-260600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 260601-260700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 260701-260800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 260801-260900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 260901-261000
小行星列表/261001-262000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 261001-261100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 261101-261200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 261201-261300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 261301-261400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 261401-261500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 261501-261600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 261601-261700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 261701-261800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 261801-261900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 261901-262000
小行星列表/262001-263000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 262001-262100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 262101-262200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 262201-262300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 262301-262400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 262401-262500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 262501-262600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 262601-262700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 262701-262800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 262801-262900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 262901-263000
小行星列表/263001-264000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 263001-263100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 263101-263200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 263201-263300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 263301-263400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 263401-263500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 263501-263600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 263601-263700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 263701-263800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 263801-263900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 263901-264000
小行星列表/264001-265000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 264001-264100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 264101-264200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 264201-264300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 264301-264400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 264401-264500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 264501-264600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 264601-264700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 264701-264800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 264801-264900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 264901-265000
小行星列表/265001-266000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 265001-265100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 265101-265200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 265201-265300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 265301-265400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 265401-265500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 265501-265600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 265601-265700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 265701-265800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 265801-265900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 265901-266000
小行星列表/266001-267000

! colspan="5" style="background-color:silver;text-align:center;" id="001" | 266001-266100 
! colspan="5" style="background-color:silver;text-align:center;" id="101" | 266101-266200 
! colspan="5" style="background-color:silver;text-align:center;" id="201" | 266201-266300 
! colspan="5" style="background-color:silver;text-align:center;" id="301" | 266301-266400 
! colspan="5" style="background-color:silver;text-align:center;" id="401" | 266401-266500 
! colspan="5" style="background-color:silver;text-align:center;" id="501" | 266501-266600 
! colspan="5" style="background-color:silver;text-align:center;" id="601" | 266601-266700 
! colspan="5" style="background-color:silver;text-align:center;" id="701" | 266701-266800 
! colspan="5" style="background-color:silver;text-align:center;" id="801" | 266801-266900 
! colspan="5" style="background-color:silver;text-align:center;" id="901" | 266901-267000