GotAI.NET

Форум: Проблемы искусственного интеллекта

 

Регистрация | Вход

 Все темы | Новая тема Стр.1 (1)   Поиск:  
 Автор Тема: Модели алгоритмостроения эквивалентные машине Тьюринга
Болотный троль
Сообщений: 142
Модели алгоритмостроения эквивалентные машине Тьюринга
Добавлено: 29 апр 10 19:02
Машина Тьюринга - головка и лента.
Но на ней сложно проектировать сложные алгоритмические системы.

Вопрос темы: в каком виде ее лучше всего рассматривать, что бы строить сложные алгоритмы было проще?
[Ответ][Цитата]
daner
Сообщений: 4593
На: Модели алгоритмостроения эквивалентные машине Тьюринга
Добавлено: 30 апр 10 3:01
Цитата:
Автор: Болотный троль

Машина Тьюринга - головка и лента.
Но на ней сложно проектировать сложные алгоритмические системы.

Вопрос темы: в каком виде ее лучше всего рассматривать, что бы строить сложные алгоритмы было проще?


в том виде, в котором сейчас программируют.
[Ответ][Цитата]
Болотный троль
Сообщений: 142
На: Модели алгоритмостроения эквивалентные машине Тьюринга
Добавлено: 30 апр 10 6:45
А можно поконкретнее?
[Ответ][Цитата]
daner
Сообщений: 4593
На: Модели алгоритмостроения эквивалентные машине Тьюринга
Добавлено: 30 апр 10 14:25
Цитата:
Автор: Болотный троль
А можно поконкретнее?

компьютер -- система эквивалентная М.Т. Ее программируют спомощью каких-то языков программирования. Все широко используемые парадигмы программирования (ООП,ФП,ЛП,АОП и т.д.) вычислительно эквивалентны М.Т. Поэтому, выбирайте любой из них.
[Ответ][Цитата]
Болотный троль
Сообщений: 142
На: Модели алгоритмостроения эквивалентные машине Тьюринга
Добавлено: 03 май 10 16:51
Цитата:
Автор: daner


компьютер -- система эквивалентная М.Т. Ее программируют спомощью каких-то языков программирования.


Ну это ясно, итак.

Цитата:

Все широко используемые парадигмы программирования (ООП,ФП,ЛП,АОП и т.д.) вычислительно эквивалентны М.Т. Поэтому, выбирайте любой из них.


Вот, вот.. а не могли бы вы порекомендовать литературу, где именно парадигмы программирования, а не языки, описываются.
По сути, мне они не нужны для применения в прямом смысле.
А конкретно по вопросу "Как их вводят?".
[Ответ][Цитата]
NO.
Сообщений: 10700
На: Модели алгоритмостроения эквивалентные машине Тьюринга
Добавлено: 03 май 10 17:31
sicp
[Ответ][Цитата]
Болотный троль
Сообщений: 142
На: Модели алгоритмостроения эквивалентные машине Тьюринга
Добавлено: 03 май 10 23:14
to No:
сенькс, почитал рекомендации, скачал, ознакомлюсь.
[Ответ][Цитата]
Болотный троль
Сообщений: 142
На: Модели алгоритмостроения эквивалентные машине Тьюринга
Добавлено: 06 май 10 6:13
Цитата:
Автор: NO.

sicp


Пролистал книгу, автор направлено и убежденно идет по языку lisp, сам как 10 лет в эту среду прогер на сях, переучиваться уже нет вариантов и не нужно, не вижу задач которые можно реализовать на лиспе, а нельзя на сях...
Вообще форма выражения алгоритмов в виде схем мне не нравиться, использую вариант разработки алгоритмов: записать структуру памяти то что дано, и записать структуру то что найти, и прикинуть как преобразовать структуру в структуру. А человеческий мозг хороший инструмент хранения алгоритмов, и если прикинуть на бумаге, то запрогать в машину будет без проблем, а тупые схемы алгоритмов иногда не катят.

По сути эта книга не ответила на мой вопрос, приведенный выше.

Если есть другие рекомендации, по поводу литературы, заранее спасибо.
[Ответ][Цитата]
NO.
Сообщений: 10700
На: Модели алгоритмостроения эквивалентные машине Тьюринга
Добавлено: 06 май 10 19:30
В хорошем теорвере можно найди доказательство что Ваша идея не выполнима. Напоминает "чтобы бы такого съесть чтобы похудеть".
[Ответ][Цитата]
Болотный троль
Сообщений: 142
На: Модели алгоритмостроения эквивалентные машине Тьюринга
Добавлено: 07 май 10 13:22
Цитата:
Автор: NO.

В хорошем теорвере.....


Вы имеете ввиду теорию вероятности?

Цитата:
...что Ваша идея не выполнима.


Какая идея?

Цитата:
Автор: Болотный троль

А конкретно по вопросу "Как их вводят?".
[Ответ][Цитата]
 Стр.1 (1)