Вход на сайт
Ну и образование.
2716 просмотров
Перейти к просмотру всей ветки
в ответ Findеr 11.08.04 00:13
>И где же специалистами применяется машина Тьюринга?
В теоретической информатике. Например для того, чтобы доказать что Diagonalsprache ist nicht rekursiv aufzählbar (извини, но соответствующей русской терминологией я не владею, так как учил вс╦ на немецком и английском), ну а потом, исходя от этого языка доказать и другие свойства других языков. Или для определения классов P и NP и различных доказательств с ними связанных.
В теоретической информатике. Например для того, чтобы доказать что Diagonalsprache ist nicht rekursiv aufzählbar (извини, но соответствующей русской терминологией я не владею, так как учил вс╦ на немецком и английском), ну а потом, исходя от этого языка доказать и другие свойства других языков. Или для определения классов P и NP и различных доказательств с ними связанных.