OberonCore https://forum.oberoncore.ru/ |
|
Нормальные марковские алгоритмы https://forum.oberoncore.ru/viewtopic.php?f=72&t=3053 |
Страница 1 из 2 |
Автор: | Alexey Veselovsky [ Среда, 08 Декабрь, 2010 08:36 ] |
Заголовок сообщения: | Нормальные марковские алгоритмы |
Есть курс видеолекций на intuit.ru где есть лекция посвященная именно марковским алгоритмам. http://www.intuit.ru/department/algorithms/introalgo/ Конкретна эта видеолекция: http://www.intuit.ru/department/algorit ... roalgo/3/# Надо не забыть посмотреть. PS. Кто-нибудь может посоветовать какую-нибудь литературу по теме? |
Автор: | Info21 [ Среда, 08 Декабрь, 2010 09:53 ] |
Заголовок сообщения: | Re: Нормальные марковские алгоритмы |
теория: Мальцев практика: Снобол-4 (еще есть узкоспец. Schoonschip) |
Автор: | Alexey Veselovsky [ Среда, 08 Декабрь, 2010 14:04 ] |
Заголовок сообщения: | Re: Нормальные марковские алгоритмы |
Info21 писал(а): теория: Мальцев Как книжка называется? А то гугл выдал массу книг с таким автором. Info21 писал(а): практика: Снобол-4 (еще есть узкоспец. Schoonschip) Почему не Рефал? И обязательно ли именно Снобол-4? Снобол-3 сильно в этом плане отличается? |
Автор: | Info21 [ Среда, 08 Декабрь, 2010 14:30 ] |
Заголовок сообщения: | Re: Нормальные марковские алгоритмы |
Alexey Veselovsky писал(а): Info21 писал(а): теория: Мальцев Как книжка называется? А то гугл выдал массу книг с таким автором. Info21 писал(а): практика: Снобол-4 (еще есть узкоспец. Schoonschip) Почему не Рефал? И обязательно ли именно Снобол-4? Снобол-3 сильно в этом плане отличается? Не помню как называется. По мат. логике. Снобол-4 -- книжечка была. А по -3 не было. Вы же литературу хотели. А Рефал, говорят, фунцкиональный язык. |
Автор: | Alexey Veselovsky [ Среда, 08 Декабрь, 2010 14:52 ] |
Заголовок сообщения: | Re: Нормальные марковские алгоритмы |
Ясно. Спасибо. По Рефалу -- нашел несколько упоминаний что рефал построен целиком на марковских алгоритмах. Т.е. императивные языки построены на базе машины тьюринга, функциональные на базе лямбда исчисления, а рефал на базе алгорифмов маркова. Т.е. он вроде как не функциональный, не логический и не императивный. Он марковский. Хотя возможно конечно это пальцем в небо. |
Автор: | Alexey Veselovsky [ Среда, 08 Декабрь, 2010 15:01 ] |
Заголовок сообщения: | Re: Нормальные марковские алгоритмы |
А что скажите про: - А.Марков "Теория алгорифмов" - Х.Карри "Основания математической логики" |
Автор: | Валерий Лаптев [ Среда, 08 Декабрь, 2010 18:00 ] |
Заголовок сообщения: | Re: Нормальные марковские алгоритмы |
Info21 писал(а): Alexey Veselovsky писал(а): Info21 писал(а): теория: Мальцев Как книжка называется? А то гугл выдал массу книг с таким автором. Info21 писал(а): практика: Снобол-4 (еще есть узкоспец. Schoonschip) Почему не Рефал? И обязательно ли именно Снобол-4? Снобол-3 сильно в этом плане отличается? Не помню как называется. По мат. логике. Снобол-4 -- книжечка была. А по -3 не было. Вы же литературу хотели. А Рефал, говорят, фунцкиональный язык. По сноболу уточню. Книжка из серии МО ЭВМ издательства Мир. Один из авторов Грисуолд - создательСнобола. |
Автор: | Илья Ермаков [ Среда, 08 Декабрь, 2010 18:11 ] |
Заголовок сообщения: | Re: Нормальные марковские алгоритмы |
Держите Гринсуолда: http://narod.ru/disk/1030305001/SNOBOL-4.djvu.html |
Автор: | Alexey Veselovsky [ Среда, 08 Декабрь, 2010 19:14 ] |
Заголовок сообщения: | Re: Нормальные марковские алгоритмы |
Судя по всему язык Icon эквивалентен Cноболу, но при этом выполнен в более современном (алголоподобном) стиле. |
Автор: | Info21 [ Среда, 08 Декабрь, 2010 21:20 ] |
Заголовок сообщения: | Re: Нормальные марковские алгоритмы |
Alexey Veselovsky писал(а): А что скажите про: Марков -- первоисточник, первоисточники желательно знать.- А.Марков "Теория алгорифмов" - Х.Карри "Основания математической логики" А Карри -- просто хорошая книга. |
Автор: | Alexey Veselovsky [ Пятница, 10 Декабрь, 2010 09:11 ] |
Заголовок сообщения: | Re: Нормальные марковские алгоритмы |
Как интересно. Похоже, что столь популярный ныне среди функциональщиков, и не только, pattern matching (сопоставление с образцом), появился впервые в SNOBOL'e (1962 год), ну и само описание алгорифмов маркова подозрительно напоминает этот самый pattern matching. |
Автор: | Info21 [ Пятница, 10 Декабрь, 2010 11:52 ] |
Заголовок сообщения: | Re: Нормальные марковские алгоритмы |
Alexey Veselovsky писал(а): Как интересно. Десять лет говорю, что профессионал обязан знать, что такое марковская парадигма. И что неизменный blank stare в ответ на вопрос "а марковскую парадигму знаешь?" -- яркое свидетельство текущего уровня "программеров" как класса. |
Автор: | Alexey Veselovsky [ Пятница, 10 Декабрь, 2010 11:58 ] |
Заголовок сообщения: | Re: Нормальные марковские алгоритмы |
Вообще, когда читал про лямбда-исчисление, как основу для функциональных языков, меня постоянно мучал вопрос -- откуда же тут следует сопоставление с образцом? Похоже что ниоткуда. А ведь сопоставление с образцом считается одной из ключевых особенностей современных ФЯ. |
Автор: | Geniepro [ Пятница, 10 Декабрь, 2010 12:56 ] |
Заголовок сообщения: | Re: Нормальные марковские алгоритмы |
Рефал 66 года, и в нём есть паттерн-матчинг. А Рефал не зря всё-таки расшифровывается как "РЕкурсивных Функций АЛгоритмический язык" -- он вполне себе ФЯ -- в нём есть функции высшего порядка. Современное ФП по сути имеет трёх родителей -- лямбда-исчисление, комбинаторная логика и марковские алгорифмы... |
Автор: | Alexey Veselovsky [ Пятница, 10 Декабрь, 2010 13:57 ] |
Заголовок сообщения: | Re: Нормальные марковские алгоритмы |
Geniepro писал(а): Рефал 66 года, и в нём есть паттерн-матчинг. А Рефал не зря всё-таки расшифровывается как "РЕкурсивных Функций АЛгоритмический язык" -- он вполне себе ФЯ -- в нём есть функции высшего порядка. А снобол 62 года. И там тоже паттерн матчинг. А алгорифмы маркова чуть менее чем полностью состоят из оного паттерн-матчинга. Собственно про то и речь. Geniepro писал(а): Современное ФП по сути имеет трёх родителей -- лямбда-исчисление, комбинаторная логика и марковские алгорифмы... Ну да. Только если про лямбду кричат на всех углах, комбинаторную логику вспоминают иногда, а вот марковские алгорифмы не упоминают вообще. Соответственно сопоставление с образцом в ФЯ как бы появляется ВНЕЗАПНО и из неоткуда. |
Автор: | Geniepro [ Пятница, 10 Декабрь, 2010 14:07 ] |
Заголовок сообщения: | Re: Нормальные марковские алгоритмы |
Alexey Veselovsky писал(а): А снобол 62 года. И там тоже паттерн матчинг. Пытался я понять пару программ на этом сноболе -- ниасилил. Где там паттерн-матчинг -- вапще не понятно...Icon в этом плане да, более понятный язык. |
Автор: | Peter Almazov [ Пятница, 10 Декабрь, 2010 14:17 ] |
Заголовок сообщения: | Re: Нормальные марковские алгоритмы |
Раздел 2.3. Но по моему - пустая трата времени. |
Автор: | Geniepro [ Пятница, 10 Декабрь, 2010 15:21 ] |
Заголовок сообщения: | Re: Нормальные марковские алгоритмы |
Alexey Veselovsky писал(а): А алгорифмы маркова чуть менее чем полностью состоят из оного паттерн-матчинга. Где-то в районе 90-92-го года, ещё в школе, читал статью В.В. Прохорова о языке PROLAN/M (кажется так он его назвал) в журнале "Информатика и образование" за 86 г. Там как раз описывался вот этот процесс подстановки строк. Решал простенькие задачки на этом языке -- на бумажке. Позже как-то сделал его интерпретатор на дельфях. Я тогда и не знал, что это называется марковским программированием :о)) Но про лиспы и прологи уже читал. А ещё позже узнал про всякие хаскеллы и окамли. |
Автор: | Geniepro [ Пятница, 10 Декабрь, 2010 16:04 ] |
Заголовок сообщения: | Re: Нормальные марковские алгоритмы |
Geniepro писал(а): Позже как-то сделал его интерпретатор на дельфях. Пытался найти его на рабочем компе -- не нашёл. Стал искать на эту тему в гугле -- нашёл на этом же форуме :о) viewtopic.php?p=7205#p7205 |
Автор: | Geniepro [ Пятница, 10 Декабрь, 2010 18:16 ] |
Заголовок сообщения: | Re: Нормальные марковские алгоритмы |
Вот ещё старое обсуждение этой темы: viewtopic.php?f=8&t=1567&start=0 |
Страница 1 из 2 | Часовой пояс: UTC + 3 часа |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |