693
правки
Изменения
→теорема о рекурсии: новая тема
== теорема о рекурсии ==
добро пожаловать на страницу, посвящённую любви к глазам и экономии драгоценного времени ;)
'''''понимаете, такое дело, нашла несколько багов...'''''
1a) например, тут пишут getSrc() разным шрифтом внутри одного конспекта. какой стиль больше подойдёт?
<tex>\mathrm{getSrc()}</tex>
getSrc()
1b) А ещё напрягает использование
p.getSrc()
нельзя ли аккуратнее как-то?)
2) здесь ещё тусили разношёрстные эпсилоны (fixed)
3) взято [[Карлукова M32342 теорема о рекурсии (типа тикеты)#.D0.9F.D1.80.D0.B8.D0.BC.D0.B5.D1.80_.D0.B8.D1.81.D0.BF.D0.BE.D0.BB.D1.8C.D0.B7.D0.BE.D0.B2.D0.B0.D0.BD.D0.B8.D1.8F_.D1.82.D0.B5.D0.BE.D1.80.D0.B5.D0.BC.D1.8B_.D0.BE_.D1.80.D0.B5.D0.BA.D1.83.D1.80.D1.81.D0.B8.D0.B8_.D0.B2_.D0.B4.D0.BE.D0.BA.D0.B0.D0.B7.D0.B0.D1.82.D0.B5.D0.BB.D1.8C.D1.81.D1.82.D0.B2.D0.B5_.D0.BD.D0.B5.D1.80.D0.B0.D0.B7.D1.80.D0.B5.D1.88.D0.B8.D0.BC.D0.BE.D1.81.D1.82.D0.B8_.D1.8F.D0.B7.D1.8B.D0.BA.D0.B0|отсюда]]. имхо, p надо сделать пожирнее. или tex/tex+mathbb, как [[Карлукова M32342 теорема о рекурсии (типа тикеты)#.D0.A2.D0.B5.D0.BE.D1.80.D0.B5.D0.BC.D0.B0_.D0.BE_.D0.BD.D0.B5.D0.BF.D0.BE.D0.B4.D0.B2.D0.B8.D0.B6.D0.BD.D0.BE.D0.B9_.D1.82.D0.BE.D1.87.D0.BA.D0.B5|где-то выше]]. крч, выделить
p(x):
'''if''' r(getSrc())
'''return''' 1
'''while''' ''true''
4) кому нужен двойной пробел в комментариях? куда лучше двойная порция вкусняшек в моём животике :)
'''program string''' p('''string''' y):
'''string''' V('''string''' x, '''string''' y):
...
'''string''' main():
'''return''' V(getSrc(), y)
'''string''' getSrc():
'''string''' src = getOtherSrc()
'''return''' ```$src <font color="green">// символ $ перед названием переменной используется для подстановки значения этой переменной в строку</font>
<nowiki>|</nowiki>string getOtherSrc(): <font color="green">// многострочные строки заключаются в ``` и используют <nowiki>|</nowiki> в качестве разделителя</font>
<nowiki>|</nowiki> return $src```
'''string''' getOtherSrc():
...
я просто люблю напрашиваться на баллы и утверждаю, что лучше смотрится запись ниже, пусть она даже без еды:
'''program string''' p('''string''' y):
'''string''' V('''string''' x, '''string''' y):
...
'''string''' main():
'''return''' V(getSrc(), y)
'''string''' getSrc():
'''string''' src = getOtherSrc()
'''return''' ```$src <font color="green">// символ $ перед названием переменной используется для подстановки значения этой переменной в строку</font>
<nowiki>|</nowiki>string getOtherSrc(): <font color="green">// многострочные строки заключаются в ``` и используют <nowiki>|</nowiki> в качестве разделителя</font>
<nowiki>|</nowiki> return $src```
'''string''' getOtherSrc():
...
кстати, может, не строками назвать многострочные конструкции? или многострочные строки норм?
... интересно, есть ли ещё баги тут ...
над [[Карлукова M32342 теорема о рекурсии (типа тикеты)|статьёй]], в общем, работать и работать. Вам так не кажется, дорогой читатель?
добро пожаловать на страницу, посвящённую любви к глазам и экономии драгоценного времени ;)
'''''понимаете, такое дело, нашла несколько багов...'''''
1a) например, тут пишут getSrc() разным шрифтом внутри одного конспекта. какой стиль больше подойдёт?
<tex>\mathrm{getSrc()}</tex>
getSrc()
1b) А ещё напрягает использование
p.getSrc()
нельзя ли аккуратнее как-то?)
2) здесь ещё тусили разношёрстные эпсилоны (fixed)
3) взято [[Карлукова M32342 теорема о рекурсии (типа тикеты)#.D0.9F.D1.80.D0.B8.D0.BC.D0.B5.D1.80_.D0.B8.D1.81.D0.BF.D0.BE.D0.BB.D1.8C.D0.B7.D0.BE.D0.B2.D0.B0.D0.BD.D0.B8.D1.8F_.D1.82.D0.B5.D0.BE.D1.80.D0.B5.D0.BC.D1.8B_.D0.BE_.D1.80.D0.B5.D0.BA.D1.83.D1.80.D1.81.D0.B8.D0.B8_.D0.B2_.D0.B4.D0.BE.D0.BA.D0.B0.D0.B7.D0.B0.D1.82.D0.B5.D0.BB.D1.8C.D1.81.D1.82.D0.B2.D0.B5_.D0.BD.D0.B5.D1.80.D0.B0.D0.B7.D1.80.D0.B5.D1.88.D0.B8.D0.BC.D0.BE.D1.81.D1.82.D0.B8_.D1.8F.D0.B7.D1.8B.D0.BA.D0.B0|отсюда]]. имхо, p надо сделать пожирнее. или tex/tex+mathbb, как [[Карлукова M32342 теорема о рекурсии (типа тикеты)#.D0.A2.D0.B5.D0.BE.D1.80.D0.B5.D0.BC.D0.B0_.D0.BE_.D0.BD.D0.B5.D0.BF.D0.BE.D0.B4.D0.B2.D0.B8.D0.B6.D0.BD.D0.BE.D0.B9_.D1.82.D0.BE.D1.87.D0.BA.D0.B5|где-то выше]]. крч, выделить
p(x):
'''if''' r(getSrc())
'''return''' 1
'''while''' ''true''
4) кому нужен двойной пробел в комментариях? куда лучше двойная порция вкусняшек в моём животике :)
'''program string''' p('''string''' y):
'''string''' V('''string''' x, '''string''' y):
...
'''string''' main():
'''return''' V(getSrc(), y)
'''string''' getSrc():
'''string''' src = getOtherSrc()
'''return''' ```$src <font color="green">// символ $ перед названием переменной используется для подстановки значения этой переменной в строку</font>
<nowiki>|</nowiki>string getOtherSrc(): <font color="green">// многострочные строки заключаются в ``` и используют <nowiki>|</nowiki> в качестве разделителя</font>
<nowiki>|</nowiki> return $src```
'''string''' getOtherSrc():
...
я просто люблю напрашиваться на баллы и утверждаю, что лучше смотрится запись ниже, пусть она даже без еды:
'''program string''' p('''string''' y):
'''string''' V('''string''' x, '''string''' y):
...
'''string''' main():
'''return''' V(getSrc(), y)
'''string''' getSrc():
'''string''' src = getOtherSrc()
'''return''' ```$src <font color="green">// символ $ перед названием переменной используется для подстановки значения этой переменной в строку</font>
<nowiki>|</nowiki>string getOtherSrc(): <font color="green">// многострочные строки заключаются в ``` и используют <nowiki>|</nowiki> в качестве разделителя</font>
<nowiki>|</nowiki> return $src```
'''string''' getOtherSrc():
...
кстати, может, не строками назвать многострочные конструкции? или многострочные строки норм?
... интересно, есть ли ещё баги тут ...
над [[Карлукова M32342 теорема о рекурсии (типа тикеты)|статьёй]], в общем, работать и работать. Вам так не кажется, дорогой читатель?