| Several design elements of Launcher are generated algorithmically. |
Некоторые элементы дизайна Лончера генерируются алгоритмически. |
| This mixture was then operated upon algorithmically using biochemical techniques to winnow out the 'incorrect' strands, leaving behind only those strands that 'satisfied' the problem. |
Затем эту смесь обработали алгоритмически с помощью биохимических методов, отсеивая «неправильные» нити, оставляя только те нити, которые «удовлетворяют» проблеме. |
| The second one was written by an algorithm that took all the language from my Facebook feed on one day and then regenerated it algorithmically, according to methods that I'll describe a little bit later on. |
Очень смело, потому что первое стихотворение было написано поэтом Вильямом Блейком. Второе было написано при помощи алгоритма, который запомнил все записи из моей ленты Facebook за один день и затем восстановил их алгоритмически в соответствии с методами, которые я опишу немного позже. |
| He went on to prove that there was no solution to the Entscheidungsproblem by first showing that the halting problem for Turing machines is undecidable: in general, it is not possible to decide algorithmically whether a given Turing machine will ever halt. |
Далее Тьюринг показал, что не существует решения Entscheidungsproblem, сперва доказав, что Проблема остановки для машины Тьюринга неразрешима: в общем случае невозможно алгоритмически определить, остановится ли когда-нибудь данная машина Тьюринга. |
| Some functions may be algorithmically linear. |
Но удовлетворение некоторых условий может являться алгоритмически неразрешимым. |