ssmt-presentation-material (1005985), страница 5
Текст из файла (страница 5)
3.10 | Furthermore when n gets bigger than 1030 or so, not even a {{one-tape Turing machine}} is realistic: It could never be built. | Кроме того, когда п становится больше, чем 1030 или около того, даже не одна {{машина Тьюринга}} является реалистичной: она никогда не может быть построен. | Кроме того, когда n становится больше чем приблизительно 1030, не, даже {{Машина Тьюринга с одной лентой}} реалистична: Это никогда не могло создаваться. | Кроме того, когда n становится больше, чем 1030 или около того, даже {{одноленточная машина Тьюринга}} не является реалистичной: она никогда не будет построена. |
3.11 | Relevance is more important than realism. | Соответствие является более важным, чем реализм. | Уместность более важна чем реализм. | Принципы важнее реалий. |
3.12 НА | Many years have passed since the author wrote most of the comments above, and everybody can be glad that substantial progress has indeed been made on the theory of linking automata (now called pointer machines). | Много лет прошло с тех пор автор написал большую часть комментарии выше, и все может быть рад, что существенный прогресс действительно были сделаны на теории Образцы автоматов (сейчас он называется указатель машин). | Много лет передали, так как автор записал большинство комментариев выше, и все могут радоваться, что значительный прогресс был действительно сделан на теории соединения автоматов (теперь названным машинами указателя). | Со времени первого написания автором большинства приведенных выше комментариев утекло много воды, и можно порадоваться, что в теории связывающих автоматов (сегодня называемых машинами указателей (pointer machines)) достигнут определенный прогресс, хотя, конечно же, предстоит еще немало сделать в этой области. |
3.13 | But of course much still remains to be done. | Но, конечно, многое еще предстоит сделать. | Но конечно много все еще остается быть сделанным. |
1