OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Воскресенье, 08 Декабрь, 2019 05:44

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 38 ]  На страницу 1, 2  След.
Автор Сообщение
 Заголовок сообщения: Нормальные марковские алгоритмы
СообщениеДобавлено: Среда, 08 Декабрь, 2010 08:36 

Зарегистрирован: Вторник, 25 Апрель, 2006 16:21
Сообщения: 2180
Откуда: Нижний Новгород
Есть курс видеолекций на intuit.ru где есть лекция посвященная именно марковским алгоритмам.

http://www.intuit.ru/department/algorithms/introalgo/
Конкретна эта видеолекция: http://www.intuit.ru/department/algorit ... roalgo/3/#

Надо не забыть посмотреть.

PS. Кто-нибудь может посоветовать какую-нибудь литературу по теме?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 08 Декабрь, 2010 09:53 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8209
Откуда: Троицк, Москва
теория: Мальцев
практика: Снобол-4 (еще есть узкоспец. Schoonschip)


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 08 Декабрь, 2010 14:04 

Зарегистрирован: Вторник, 25 Апрель, 2006 16:21
Сообщения: 2180
Откуда: Нижний Новгород
Info21 писал(а):
теория: Мальцев

Как книжка называется? А то гугл выдал массу книг с таким автором.
Info21 писал(а):
практика: Снобол-4 (еще есть узкоспец. Schoonschip)

Почему не Рефал? И обязательно ли именно Снобол-4? Снобол-3 сильно в этом плане отличается?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 08 Декабрь, 2010 14:30 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8209
Откуда: Троицк, Москва
Alexey Veselovsky писал(а):
Info21 писал(а):
теория: Мальцев

Как книжка называется? А то гугл выдал массу книг с таким автором.
Info21 писал(а):
практика: Снобол-4 (еще есть узкоспец. Schoonschip)

Почему не Рефал? И обязательно ли именно Снобол-4? Снобол-3 сильно в этом плане отличается?

Не помню как называется. По мат. логике.

Снобол-4 -- книжечка была. А по -3 не было. Вы же литературу хотели.

А Рефал, говорят, фунцкиональный язык.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 08 Декабрь, 2010 14:52 

Зарегистрирован: Вторник, 25 Апрель, 2006 16:21
Сообщения: 2180
Откуда: Нижний Новгород
Ясно. Спасибо.

По Рефалу -- нашел несколько упоминаний что рефал построен целиком на марковских алгоритмах. Т.е. императивные языки построены на базе машины тьюринга, функциональные на базе лямбда исчисления, а рефал на базе алгорифмов маркова.

Т.е. он вроде как не функциональный, не логический и не императивный. Он марковский.

Хотя возможно конечно это пальцем в небо.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 08 Декабрь, 2010 15:01 

Зарегистрирован: Вторник, 25 Апрель, 2006 16:21
Сообщения: 2180
Откуда: Нижний Новгород
А что скажите про:
- А.Марков "Теория алгорифмов"
- Х.Карри "Основания математической логики"


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 08 Декабрь, 2010 18:00 

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 3124
Откуда: Астрахань
Info21 писал(а):
Alexey Veselovsky писал(а):
Info21 писал(а):
теория: Мальцев

Как книжка называется? А то гугл выдал массу книг с таким автором.
Info21 писал(а):
практика: Снобол-4 (еще есть узкоспец. Schoonschip)

Почему не Рефал? И обязательно ли именно Снобол-4? Снобол-3 сильно в этом плане отличается?

Не помню как называется. По мат. логике.

Снобол-4 -- книжечка была. А по -3 не было. Вы же литературу хотели.

А Рефал, говорят, фунцкиональный язык.

По сноболу уточню. Книжка из серии МО ЭВМ издательства Мир. Один из авторов Грисуолд - создательСнобола.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 08 Декабрь, 2010 18:11 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9162
Откуда: Россия, Орёл
Держите Гринсуолда:
http://narod.ru/disk/1030305001/SNOBOL-4.djvu.html


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 08 Декабрь, 2010 19:14 

Зарегистрирован: Вторник, 25 Апрель, 2006 16:21
Сообщения: 2180
Откуда: Нижний Новгород
Судя по всему язык Icon эквивалентен Cноболу, но при этом выполнен в более современном (алголоподобном) стиле.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 08 Декабрь, 2010 21:20 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8209
Откуда: Троицк, Москва
Alexey Veselovsky писал(а):
А что скажите про:
- А.Марков "Теория алгорифмов"
- Х.Карри "Основания математической логики"
Марков -- первоисточник, первоисточники желательно знать.

А Карри -- просто хорошая книга.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 10 Декабрь, 2010 09:11 

Зарегистрирован: Вторник, 25 Апрель, 2006 16:21
Сообщения: 2180
Откуда: Нижний Новгород
Как интересно. Похоже, что столь популярный ныне среди функциональщиков, и не только, pattern matching (сопоставление с образцом), появился впервые в SNOBOL'e (1962 год), ну и само описание алгорифмов маркова подозрительно напоминает этот самый pattern matching.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 10 Декабрь, 2010 11:52 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 8209
Откуда: Троицк, Москва
Alexey Veselovsky писал(а):
Как интересно.
Десять лет говорю, что профессионал обязан знать, что такое марковская парадигма.

И что неизменный blank stare в ответ на вопрос "а марковскую парадигму знаешь?" -- яркое свидетельство текущего уровня "программеров" как класса.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 10 Декабрь, 2010 11:58 

Зарегистрирован: Вторник, 25 Апрель, 2006 16:21
Сообщения: 2180
Откуда: Нижний Новгород
Вообще, когда читал про лямбда-исчисление, как основу для функциональных языков, меня постоянно мучал вопрос -- откуда же тут следует сопоставление с образцом? Похоже что ниоткуда. А ведь сопоставление с образцом считается одной из ключевых особенностей современных ФЯ.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 10 Декабрь, 2010 12:56 

Зарегистрирован: Четверг, 12 Июль, 2007 23:18
Сообщения: 1982
Откуда: Узбекистан, Чирчик
Рефал 66 года, и в нём есть паттерн-матчинг. А Рефал не зря всё-таки расшифровывается как "РЕкурсивных Функций АЛгоритмический язык" -- он вполне себе ФЯ -- в нём есть функции высшего порядка.

Современное ФП по сути имеет трёх родителей -- лямбда-исчисление, комбинаторная логика и марковские алгорифмы...


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 10 Декабрь, 2010 13:57 

Зарегистрирован: Вторник, 25 Апрель, 2006 16:21
Сообщения: 2180
Откуда: Нижний Новгород
Geniepro писал(а):
Рефал 66 года, и в нём есть паттерн-матчинг. А Рефал не зря всё-таки расшифровывается как "РЕкурсивных Функций АЛгоритмический язык" -- он вполне себе ФЯ -- в нём есть функции высшего порядка.

А снобол 62 года. И там тоже паттерн матчинг. А алгорифмы маркова чуть менее чем полностью состоят из оного паттерн-матчинга. Собственно про то и речь.
Geniepro писал(а):
Современное ФП по сути имеет трёх родителей -- лямбда-исчисление, комбинаторная логика и марковские алгорифмы...

Ну да. Только если про лямбду кричат на всех углах, комбинаторную логику вспоминают иногда, а вот марковские алгорифмы не упоминают вообще. Соответственно сопоставление с образцом в ФЯ как бы появляется ВНЕЗАПНО и из неоткуда.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 10 Декабрь, 2010 14:07 

Зарегистрирован: Четверг, 12 Июль, 2007 23:18
Сообщения: 1982
Откуда: Узбекистан, Чирчик
Alexey Veselovsky писал(а):
А снобол 62 года. И там тоже паттерн матчинг.
Пытался я понять пару программ на этом сноболе -- ниасилил. Где там паттерн-матчинг -- вапще не понятно...
Icon в этом плане да, более понятный язык.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 10 Декабрь, 2010 14:17 

Зарегистрирован: Пятница, 24 Апрель, 2009 16:28
Сообщения: 531
Откуда: Москва
Раздел 2.3. Но по моему - пустая трата времени.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 10 Декабрь, 2010 15:21 

Зарегистрирован: Четверг, 12 Июль, 2007 23:18
Сообщения: 1982
Откуда: Узбекистан, Чирчик
Alexey Veselovsky писал(а):
А алгорифмы маркова чуть менее чем полностью состоят из оного паттерн-матчинга.

Где-то в районе 90-92-го года, ещё в школе, читал статью В.В. Прохорова о языке PROLAN/M (кажется так он его назвал) в журнале "Информатика и образование" за 86 г. Там как раз описывался вот этот процесс подстановки строк. Решал простенькие задачки на этом языке -- на бумажке. Позже как-то сделал его интерпретатор на дельфях.
Я тогда и не знал, что это называется марковским программированием :о)) Но про лиспы и прологи уже читал.
А ещё позже узнал про всякие хаскеллы и окамли.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 10 Декабрь, 2010 16:04 

Зарегистрирован: Четверг, 12 Июль, 2007 23:18
Сообщения: 1982
Откуда: Узбекистан, Чирчик
Geniepro писал(а):
Позже как-то сделал его интерпретатор на дельфях.


Пытался найти его на рабочем компе -- не нашёл. Стал искать на эту тему в гугле -- нашёл на этом же форуме :о)

viewtopic.php?p=7205#p7205


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 10 Декабрь, 2010 18:16 

Зарегистрирован: Четверг, 12 Июль, 2007 23:18
Сообщения: 1982
Откуда: Узбекистан, Чирчик
Вот ещё старое обсуждение этой темы:

viewtopic.php?f=8&t=1567&start=0


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 38 ]  На страницу 1, 2  След.

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 0


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
cron
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2019, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB