RB
Си, например, не Тьюринг полный ^_^
Чивоооо?
Size: a a a
2020 January 27
AV
У си по стандарту ограниченный размер указателя, значит у программы счетное число состояний, любая программа на си это большая стейт машина.
K
У си по стандарту ограниченный размер указателя, значит у программы счетное число состояний, любая программа на си это большая стейт машина.
по стандарту ограничение только снизу
МБ
Си, например, не Тьюринг полный ^_^
Надо для этого указать вычислимую функцию, которую на Си не закодировать
AV
по стандарту ограничение только снизу
Ну нет, там в каждой конкретной реализации фиксируется размер
K
Ну нет, там в каждой конкретной реализации фиксируется размер
мы про стандарт или реализацию?
МБ
У си по стандарту ограниченный размер указателя, значит у программы счетное число состояний, любая программа на си это большая стейт машина.
С чего это? Я вон пишу программы на Си с использованием MPI. Они работают с памятью большей, чем размер указателя
RB
У си по стандарту ограниченный размер указателя, значит у программы счетное число состояний, любая программа на си это большая стейт машина.
А почему тогда на С написан полный по Тьюрингу ЯП?
AV
Давайте я оставлю ссылку на тех кому не лень писать примерно то же что я говорю: https://memo.barrucadu.co.uk/c-is-not-turing-complete.html
МБ
Давайте я оставлю ссылку на тех кому не лень писать примерно то же что я говорю: https://memo.barrucadu.co.uk/c-is-not-turing-complete.html
Ещё раз. Единственное доказательство неполноты по Тьюрингу - это не философские рассуждения, а демонстрация вычислимой функции, которую нельзя запрограммировать на Си.
FO
С помощью UB Вы можете превратить Ваш неполный по Тьюрингу ЯП в полный... 🤣
RB
О, вот
Допустим у меня есть язык А
Как мне проверить, что язык А полный по Тьюрингу?
Есть статья? Или это определяется автоматически?
Допустим у меня есть язык А
Как мне проверить, что язык А полный по Тьюрингу?
Есть статья? Или это определяется автоматически?
I
О, вот
Допустим у меня есть язык А
Как мне проверить, что язык А полный по Тьюрингу?
Есть статья? Или это определяется автоматически?
Допустим у меня есть язык А
Как мне проверить, что язык А полный по Тьюрингу?
Есть статья? Или это определяется автоматически?
Реализовать Тьюринг-машину на нем же.
I
Или что-либо эквивалентное.
RB
Реализовать Тьюринг-машину на нем же.
А, и всё🤔?
Тогда Си не полон? Бесконечная лента не бесконечная?
Тогда Си не полон? Бесконечная лента не бесконечная?
RB
Или стоп🤔
RB
Не, пизжу
RB
Полон