а вот ещё такой есть Шалыто

[juan_gandhi]

За каким-то хреном ознакомился с историей вопроса, и, в частности, как он громит Дмитрия Павлова, как бы выпускника ЛИТМО.

По-моему, Шалыто этот - обычный советский идиот. Как это у него получается, что он конечные автоматы изобрёл?
Извините если что.

Comments

[ivan-gandhi.livejournal.com]

Там же Шалыто пишет, что для верификации программ нужен автоматный подход.

Что, собственно, напоминает мне мой смешной вопрос для интервью: напишите регулярное выражение для проверки парности скобок в выражении.

Если Шалыто этого не понимает, то этот профессор профнепригоден.

Мне вот ещё понравилось:

"Однажды утром в субботу я в присутствии однокурсников спросил Павлова, может ли он сегодня ко мне подойти, и, услышав слово «Могу», ждал его прихода до вечера. Он не только не пришел, но даже не позвонил, а когда в понедельник я при тех же ребятах спросил Павлова, как воспринимать его выходку, он спокойно ответил, что он не говорил, что придет, а сказал только, что может прийти!!!"

[nikaan.livejournal.com]

это правда поначалу раздражает. Но раздувать из этого скандал)))) http://nikaan.livejournal.com/153019.html. Ещё был скандал с Николенко, по ссылке есть ссылка. Странный дядя, хотя и полезное он, кажется, делает.

[nikaan.livejournal.com]

а, это уже новый тест, после Николенко. Однако, это скоро станет его профессиональным занятием, благо получается неплохо.

[nivanych.livejournal.com]

> http://nikaan.livejournal.com/153019.html.

Оно же защищённое. Ну да ладно.

[nikaan.livejournal.com]

уже не для всех. Но там всё равно ничего особо интересного - кроме моего отношения к. Ссылка,вот - http://is.ifmo.ru/belletristic/shalyto_vs_nikolenko

[nivanych.livejournal.com]

Ага, спасибо!

[http://users.livejournal.com/_windwalker_/]

гг. Показывает что Шалыто не программист.

[ivan-gandhi.livejournal.com]

Мало того что не программист. Не отличает регулярные языки от контекстно-свободных. А это уже, для "профессора компьютерных наук" - диагноз.

[dmzlj.livejournal.com]

Ну ваше, компилитить часть программы, которая может быть так скомпилирована, в автоматы --- дело довольно полезное, так как там можно в компайл тайме вычислить потребную память, например, или там время реакции. Для риалтайма полезно. Вон hume есть, так у них есть автоматное подмножество.

Другое дело, что нормальный компилятор нормального языка (не Си) может такой анализ проводить без всяких автоматов. Только его еще не написали, этот компилятор.

[ivan-gandhi.livejournal.com]

Ну можете вы скомпилировать такой автомат, чтобы проверял парность скобок в выражении? Или для этого нужен Шалыто?

[dmzlj.livejournal.com]

Ну, очевидно что эта не та задача, которая решается теми автоматами, которые мы любим и ценим --- которые за O(1) памяти работают.

Но есть много задач, которые можно компилировать в автоматы, для риалтайма хорошо.

[vit-r.livejournal.com]

http://modelcompilers.com/

Компиляция автоматов в код - дело нетривиальное. Практически на получение оптимизирующих компиляторов ушло десять лет.

[dmzlj.livejournal.com]

"Однажды утром в субботу я в присутствии однокурсников спросил Павлова, может ли он сегодня ко мне подойти, и, услышав слово «Могу», ждал его прихода до вечера. Он не только не пришел, но даже не позвонил, а когда в понедельник я при тех же ребятах спросил Павлова, как воспринимать его выходку, он спокойно ответил, что он не говорил, что придет, а сказал только, что может прийти!!!"

Это отлично вообще. Я знаю, кто из них двоих --- программист.

[raydac.livejournal.com]

да я тожеб прикололся и решил бы что парень просто вырожденный логик, но вот "Дальше я сказал, что тогда его придется отчислить, на что Димуля мне сразу же пообещал, что меня уволят, а затем добавил, что его никто не отчислит, а курсовик он, все же, сдавать не будет." мне сильно напомнило песню Шевчука про мальчиков мажоров, а у меня очень плохие ассоциации вызывает, есть у меня знакомый который теперь "крупный бизнесмен-надежда россии и президента", ужос

[dmzlj.livejournal.com]

Если Шалыто правда такой, как о нём пишут и занимается по жизни продажей фьючерсов на снег, то такого грех не потролить.

Как преподавателя какой-нибудь охраны труда или военной кафедры в универе.

Упомянутого товарища я почитал у него в журнале и по ссылкам, и от его текстов создается впечатление вменяемости, в отличие от текстов Ш.

Совочек, отняли, ёпты. В ведро для куличиков нассали. Ну и отчислял бы тогда, чего трепать-то в интернетах?

[nikaan.livejournal.com]

У Димы бывают (или бывали?) странные идеи, плохо принимаемые обществом) Но, мне кажется, вышеописанное не очень хорошо, потому что хамство, но для студента вполне простительно ещё. Да и вообще, для всех простительно, если есть причина конфликта - естественно, Шалыто, как и полагается в таких текстах, о части деталей умалчивает, а часть выставляет в несколько ином свете. Что без сомнения верно - учебный процесс в ИТМО Дима ставил ниже плинтуса. Как самоцель - тем более.

[dmitri-pavlov.livejournal.com]

Про то, что его уволят — это уже выдумки Шалыто.
В реальности ничего такого не было.

[nivanych.livejournal.com]

> напишите регулярное выражение
> для проверки парности скобок в выражении

А может, мы просмотрели, и он имеет в виду, в том числе, автоматы с магазинной памятью?
Так хоть скобки можно распарсить ;-)

Вот ещё вопрос, не знаю, кому бы его адресовать.
Все-все его работы можно посмотреть на сайте http://is.ifmo.ru ?

[nivanych.livejournal.com]

> автоматы с магазинной памятью?

Да нет.
Вполне так конкретно, имеются в виду конечные автоматы.
http://is.ifmo.ru/persons/shalyto

Может, они и не подходят для вычислительной геометрии, нооо... И далее, сказка про белого бычка.
Какая риторика, блин. Аж "завидно".

[mr-aleph.livejournal.com]

>> Там же Шалыто пишет, что для верификации программ нужен автоматный подход.

ну в верификации на самом деле применяются всякие автоматы (конечные и без памяти). Например, модель Крипке вполне себе конечный автомат.

[ivan-gandhi.livejournal.com]

как-то мне это не очевидно.

[mr-aleph.livejournal.com]

не очевидно что именно?

что структура Крипке это своего рода конечный автомат?

или что структуры Крипке используются в теории?

[das-mutante.livejournal.com]

> смешной вопрос для интервью: напишите регулярное выражение для проверки парности скобок в выражении.

А что собственно такого?

Вводите ограничение на вложенность скобок, 999 например. И генерите парзящий регексп скриптом. В жизни-то они более ~20 глубины и не встречаются.

[ivan-gandhi.livejournal.com]

Ну-ну.

[das-mutante.livejournal.com]

Не "ну-ну", а весьма полезный приём проектирования. Особенно для увлекающихся математикой.