Цитата:
|
Вот машина Тьюринга -- простая-простая, а написать можно все, что угодно.
|
(Отметим в скобочках, что не такая уж и простая, а также, что данное утверждение недоказуемо)
Цитата:
|
Машина Тьюринга, для тех, кто не знает - это абстрактная система очень элементарного типа, на которой, тем не менее, можно написать любую программу.
|
Уважаемый дон путает понятия программы и алгоритма
Любой алгоритм можно реализовать в виде машины Тьюринга, но что есть, скажем программа на С или на Паскале с точки зрения такой машины?
Цитата:
|
Очень удобно для доказательства, что не бывает плохих языков программирования.
|
(опять в скобочках: или наоборот, для доказательства, что бывают плохие языки)
Цитата:
|
Так вот, вопрос. Хочется найти что-нибудь подобное для естественных языков. Вроде бы очевидно, что на русском и английском можно выразить примерно одно и то же, но хотелось бы найти какой-нибудь совсем простой язык, на котором это тоже можно было бы сделать.
|
Во-первых, всё-таки советую определиться, что мы хотим формализовать. А во-вторых, есть такие вещи как логика предикатов 1го порядка (а также высших порядков, если вдруг 1го окажется мало), а также всяческие модальные и темпоральные логики.
Только важно вот что:
- любая формализация есть ограничение (теорему Гёделя знаете?)
- естественные языки крайне неоднозначны (и это уже не исправишь!)
Всё-таки машина Тьюринга это некая "игрушечная" модель (одна из многих, кстати, хотя и самая известная), а применяя подобные конструкции в жизни получим, что "На практике, теория отличается от практики даже больше, чем в теории" (не я придумал)
