#машина_тьюринга — Public Fediverse posts

Часть I. Конечные автоматы. Универсальная машина Тьюринга. Интерпретатор Brainfuck

▒▒▒▒▒▒▒▒▒█▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀█ ▒▒▒▒▒▒▒█░▒▒▒▒▒▒▒▓▒▒▓▒▒▒▒▒▒▒░█ ▒▒▒▒▒▒▒█░▒▒▓▒▒▒▒▒▒▒▒▒▄▄▒▓▒▒░█░▄▄ ▒▒▄▀▀▄▄█░▒▒▒▒▒▒▓▒▒▒▒█░░▀▄▄▄▄▄▀░░█ ▒▒█░░░░█░▒▒▒▒▒▒▒▒▒▒▒█░░░░░░░░░░░█ ▒▒▒▀▀▄▄█░▒▒▒▒▓▒▒▒▓▒█░░░█▒░░░░█▒░░█ ▒▒▒▒▒▒▒█░▒▓▒▒▒▒▓▒▒▒█░░░░░░░▀░░░░░█ ▒▒▒▒▒▄▄█░▒▒▒▓▒▒▒▒▒▒▒█░░█▄▄█▄▄█░░█ ▒▒▒▒█░░░█▄▄▄▄▄▄▄▄▄▄█░█▄▄▄▄▄▄▄▄▄█ ▒▒▒▒█▄▄█░░█▄▄█░░░░░░█▄▄█░░█▄▄█ Я практик и популяризатор языково-ориентированного программирования [1]. В нём задачи решают тройкой: доменная виртуальная машина VM, доменный язык программирования DSL и алгоритмы на нём. В этом курсе удачными фрагментами разных заметок доступно объясним причины многообразия языков и преимущества их разработки. С теорией, историей и примерами. Вся наша работа строится вокруг VM, DSL, EBNF, отношений и графов. Мы увидим, как эти объекты соединяют вместе, получая вычислители и программы.

https://habr.com/ru/articles/1029848/

#компиляторы #конечные_автоматы #машина_тьюринга #brainfuck #ненормальное_программирование #ретро_компьютинг #zx_spectrum #виртуальные_машины #vm #старое_железо

Часть I. Конечные автоматы. Универсальная машина Тьюринга. Интерпретатор Brainfuck

▒▒▒▒▒▒▒▒▒█▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀█ ▒▒▒▒▒▒▒█░▒▒▒▒▒▒▒▓▒▒▓▒▒▒▒▒▒▒░█ ▒▒▒▒▒▒▒█░▒▒▓▒▒▒▒▒▒▒▒▒▄▄▒▓▒▒░█░▄▄ ▒▒▄▀▀▄▄█░▒▒▒▒▒▒▓▒▒▒▒█░░▀▄▄▄▄▄▀░░█ ▒▒█░░░░█░▒▒▒▒▒▒▒▒▒▒▒█░░░░░░░░░░░█ ▒▒▒▀▀▄▄█░▒▒▒▒▓▒▒▒▓▒█░░░█▒░░░░█▒░░█ ▒▒▒▒▒▒▒█░▒▓▒▒▒▒▓▒▒▒█░░░░░░░▀░░░░░█ ▒▒▒▒▒▄▄█░▒▒▒▓▒▒▒▒▒▒▒█░░█▄▄█▄▄█░░█ ▒▒▒▒█░░░█▄▄▄▄▄▄▄▄▄▄█░█▄▄▄▄▄▄▄▄▄█ ▒▒▒▒█▄▄█░░█▄▄█░░░░░░█▄▄█░░█▄▄█ Я практик и популяризатор языково-ориентированного программирования [1]. В нём задачи решают тройкой: доменная виртуальная машина VM, доменный язык программирования DSL и алгоритмы на нём. В этом курсе удачными фрагментами разных заметок доступно объясним причины многообразия языков и преимущества их разработки. С теорией, историей и примерами. Вся наша работа строится вокруг VM, DSL, EBNF, отношений и графов. Мы увидим, как эти объекты соединяют вместе, получая вычислители и программы.

https://habr.com/ru/articles/1029848/

#компиляторы #конечные_автоматы #машина_тьюринга #brainfuck #ненормальное_программирование #ретро_компьютинг #zx_spectrum #виртуальные_машины #vm #старое_железо

Часть I. Конечные автоматы. Универсальная машина Тьюринга. Интерпретатор Brainfuck

▒▒▒▒▒▒▒▒▒█▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀█ ▒▒▒▒▒▒▒█░▒▒▒▒▒▒▒▓▒▒▓▒▒▒▒▒▒▒░█ ▒▒▒▒▒▒▒█░▒▒▓▒▒▒▒▒▒▒▒▒▄▄▒▓▒▒░█░▄▄ ▒▒▄▀▀▄▄█░▒▒▒▒▒▒▓▒▒▒▒█░░▀▄▄▄▄▄▀░░█ ▒▒█░░░░█░▒▒▒▒▒▒▒▒▒▒▒█░░░░░░░░░░░█ ▒▒▒▀▀▄▄█░▒▒▒▒▓▒▒▒▓▒█░░░█▒░░░░█▒░░█ ▒▒▒▒▒▒▒█░▒▓▒▒▒▒▓▒▒▒█░░░░░░░▀░░░░░█ ▒▒▒▒▒▄▄█░▒▒▒▓▒▒▒▒▒▒▒█░░█▄▄█▄▄█░░█ ▒▒▒▒█░░░█▄▄▄▄▄▄▄▄▄▄█░█▄▄▄▄▄▄▄▄▄█ ▒▒▒▒█▄▄█░░█▄▄█░░░░░░█▄▄█░░█▄▄█ Я практик и популяризатор языково-ориентированного программирования [1]. В нём задачи решают тройкой: доменная виртуальная машина VM, доменный язык программирования DSL и алгоритмы на нём. В этом курсе удачными фрагментами разных заметок доступно объясним причины многообразия языков и преимущества их разработки. С теорией, историей и примерами. Вся наша работа строится вокруг VM, DSL, EBNF, отношений и графов. Мы увидим, как эти объекты соединяют вместе, получая вычислители и программы.

https://habr.com/ru/articles/1029848/

#компиляторы #конечные_автоматы #машина_тьюринга #brainfuck #ненормальное_программирование #ретро_компьютинг #zx_spectrum #виртуальные_машины #vm #старое_железо

Часть I. Конечные автоматы. Универсальная машина Тьюринга. Интерпретатор Brainfuck

▒▒▒▒▒▒▒▒▒█▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀▀█ ▒▒▒▒▒▒▒█░▒▒▒▒▒▒▒▓▒▒▓▒▒▒▒▒▒▒░█ ▒▒▒▒▒▒▒█░▒▒▓▒▒▒▒▒▒▒▒▒▄▄▒▓▒▒░█░▄▄ ▒▒▄▀▀▄▄█░▒▒▒▒▒▒▓▒▒▒▒█░░▀▄▄▄▄▄▀░░█ ▒▒█░░░░█░▒▒▒▒▒▒▒▒▒▒▒█░░░░░░░░░░░█ ▒▒▒▀▀▄▄█░▒▒▒▒▓▒▒▒▓▒█░░░█▒░░░░█▒░░█ ▒▒▒▒▒▒▒█░▒▓▒▒▒▒▓▒▒▒█░░░░░░░▀░░░░░█ ▒▒▒▒▒▄▄█░▒▒▒▓▒▒▒▒▒▒▒█░░█▄▄█▄▄█░░█ ▒▒▒▒█░░░█▄▄▄▄▄▄▄▄▄▄█░█▄▄▄▄▄▄▄▄▄█ ▒▒▒▒█▄▄█░░█▄▄█░░░░░░█▄▄█░░█▄▄█ Я практик и популяризатор языково-ориентированного программирования [1]. В нём задачи решают тройкой: доменная виртуальная машина VM, доменный язык программирования DSL и алгоритмы на нём. В этом курсе удачными фрагментами разных заметок доступно объясним причины многообразия языков и преимущества их разработки. С теорией, историей и примерами. Вся наша работа строится вокруг VM, DSL, EBNF, отношений и графов. Мы увидим, как эти объекты соединяют вместе, получая вычислители и программы.

https://habr.com/ru/articles/1029848/

#компиляторы #конечные_автоматы #машина_тьюринга #brainfuck #ненормальное_программирование #ретро_компьютинг #zx_spectrum #виртуальные_машины #vm #старое_железо

Машина Тьюринга в Minecraft

Что если взять одну из базовых концепций computer science и построить её прямо внутри игры — из пикселей, блоков и виртуальных проводов? Именно это я и сделал. Машина Тьюринга — теоретическая модель, которая лежит в основе всех современных компьютеров. Она читает символы, записывает их и переходит между состояниями по заданной программе. Майнкрафт позволяет симулировать электрические сигналы с помощью редстоуна. Из этого материала можно собирать настоящие логические схемы — и в итоге целые вычислительные устройства. Получился полностью рабочий механизм: машина читает данные, выполняет команды и останавливается по завершении программы. Делаем интересную Майнкрафт штуку

https://habr.com/ru/articles/1016582/

#minecraft #машина_тьюринга #конечные_преобразователи #конечные_автоматы #программирование #логические_схемы

Машина Тьюринга в Minecraft

Что если взять одну из базовых концепций computer science и построить её прямо внутри игры — из пикселей, блоков и виртуальных проводов? Именно это я и сделал. Машина Тьюринга — теоретическая модель, которая лежит в основе всех современных компьютеров. Она читает символы, записывает их и переходит между состояниями по заданной программе. Майнкрафт позволяет симулировать электрические сигналы с помощью редстоуна. Из этого материала можно собирать настоящие логические схемы — и в итоге целые вычислительные устройства. Получился полностью рабочий механизм: машина читает данные, выполняет команды и останавливается по завершении программы. Делаем интересную Майнкрафт штуку

https://habr.com/ru/articles/1016582/

#minecraft #машина_тьюринга #конечные_преобразователи #конечные_автоматы #программирование #логические_схемы

Машина Тьюринга в Minecraft

Что если взять одну из базовых концепций computer science и построить её прямо внутри игры — из пикселей, блоков и виртуальных проводов? Именно это я и сделал. Машина Тьюринга — теоретическая модель, которая лежит в основе всех современных компьютеров. Она читает символы, записывает их и переходит между состояниями по заданной программе. Майнкрафт позволяет симулировать электрические сигналы с помощью редстоуна. Из этого материала можно собирать настоящие логические схемы — и в итоге целые вычислительные устройства. Получился полностью рабочий механизм: машина читает данные, выполняет команды и останавливается по завершении программы. Делаем интересную Майнкрафт штуку

https://habr.com/ru/articles/1016582/

#minecraft #машина_тьюринга #конечные_преобразователи #конечные_автоматы #программирование #логические_схемы

Машина Тьюринга в Minecraft

Что если взять одну из базовых концепций computer science и построить её прямо внутри игры — из пикселей, блоков и виртуальных проводов? Именно это я и сделал. Машина Тьюринга — теоретическая модель, которая лежит в основе всех современных компьютеров. Она читает символы, записывает их и переходит между состояниями по заданной программе. Майнкрафт позволяет симулировать электрические сигналы с помощью редстоуна. Из этого материала можно собирать настоящие логические схемы — и в итоге целые вычислительные устройства. Получился полностью рабочий механизм: машина читает данные, выполняет команды и останавливается по завершении программы. Делаем интересную Майнкрафт штуку

https://habr.com/ru/articles/1016582/

#minecraft #машина_тьюринга #конечные_преобразователи #конечные_автоматы #программирование #логические_схемы

[AI ⊂ TM] Машина Тьюринга и искусственный интеллект

Почему машина Тьюринга ( TM ) сегодня в теме про искусственный интеллект ( AI ) ? Ведь AI сегодня это все больше про машинное обучение ( ML ), искусственные нейронные сети ( ANN ), LLM, вычисления на CUDA и т. п. Причина в том, что никакой AI, с точки зрения математики, не превосходит по возможностям TM.

https://habr.com/ru/articles/982124/

#Turing_machine #машина_тьюринга #генетическое_программирование #генетические_алгоритмы #qlearning #reinforcementlearning #reinforecement_learning #нейронная_сеть #neural_network

[AI ⊂ TM] Машина Тьюринга и искусственный интеллект

Почему машина Тьюринга ( TM ) сегодня в теме про искусственный интеллект ( AI ) ? Ведь AI сегодня это все больше про машинное обучение ( ML ), искусственные нейронные сети ( ANN ), LLM, вычисления на CUDA и т. п. Причина в том, что никакой AI, с точки зрения математики, не превосходит по возможностям TM.

https://habr.com/ru/articles/982124/

#Turing_machine #машина_тьюринга #генетическое_программирование #генетические_алгоритмы #qlearning #reinforcementlearning #reinforecement_learning #нейронная_сеть #neural_network

[AI ⊂ TM] Машина Тьюринга и искусственный интеллект

Почему машина Тьюринга ( TM ) сегодня в теме про искусственный интеллект ( AI ) ? Ведь AI сегодня это все больше про машинное обучение ( ML ), искусственные нейронные сети ( ANN ), LLM, вычисления на CUDA и т. п. Причина в том, что никакой AI, с точки зрения математики, не превосходит по возможностям TM.

https://habr.com/ru/articles/982124/

#Turing_machine #машина_тьюринга #генетическое_программирование #генетические_алгоритмы #qlearning #reinforcementlearning #reinforecement_learning #нейронная_сеть #neural_network

[AI ⊂ TM] Машина Тьюринга и искусственный интеллект

Почему машина Тьюринга ( TM ) сегодня в теме про искусственный интеллект ( AI ) ? Ведь AI сегодня это все больше про машинное обучение ( ML ), искусственные нейронные сети ( ANN ), LLM, вычисления на CUDA и т. п. Причина в том, что никакой AI, с точки зрения математики, не превосходит по возможностям TM.

https://habr.com/ru/articles/982124/

#Turing_machine #машина_тьюринга #генетическое_программирование #генетические_алгоритмы #qlearning #reinforcementlearning #reinforecement_learning #нейронная_сеть #neural_network

Машина, которая никогда не останавливается: как одно предложение поставило предел человеческому познанию

Аннотация В 1936 году Алан Тьюринг, пытаясь формализовать пределы вычислений, сформулировал вопрос, навсегда изменивший не только компьютерную науку, но и наше понимание границ познания. Этот вопрос — известная как «Проблема остановки» — звучит обманчиво просто: можно ли создать алгоритм, который, анализируя код любой программы и её входные данные, заранее и безошибочно определит, завершится ли её работа или же она уйдёт в бесконечный цикл? Казалось бы, речь идёт о чисто технической задаче, мечте каждого программиста об идеальном отладчике. Однако ответ Тьюринга, уместившийся в элегантное и почти язвительное доказательство от противного, оказался оглушительным: нет, такой алгоритм принципиально невозможен. В этой статье мы не только разберём суть этого гениального доказательства, которое построено на самореференции и логическом парадоксе, подобном «лжецу», но и визуализируем его ход с помощью наглядного кода в MATLAB, превратив абстрактную логику в динамическую демонстрацию. Мы увидим, как гипотетическая «всезнающая» программа H неминуемо запутывается в сетях, расставленных специально сконструированной программой-провокатором , приводя к неразрешимому противоречию в любом исходе. Это открытие — не просто академическая курьёзность. Оно устанавливает фундаментальный, алгоритмический предел: существуют чётко поставленные вопросы, на которые мы никогда не получим однозначный «да» или «нет» от любой вычислительной машины. Мы проследим глубокую связь этого результата с теоремой Гёделя о неполноте, обсудим другие неразрешимые проблемы, такие как проблема соответствия Поста, и затронем трезвые последствия для современной разработки, верификации программ и даже для мечтаний о создании всесильного искусственного интеллекта. Эта история — о том, как осознание непреодолимой границы стало одним из самых мощных интеллектуальных достижений человечества, чётко очертив то, что мы можем знать, и указав на бескрайние области того, что мы знать не в силах.

https://habr.com/ru/articles/981908/

#Проблема_остановки #Алан_Тьюринг #Неразрешимость #Машина_Тьюринга #Доказательство #Самореференция #Пределы_вычислений #Теорема_Гёделя #matlab #логика

[Перевод] Машины Тьюринга, огромные числа и бобры: что у них общего?

Представьте, что кто-то даёт вам список из пяти чисел: 1, 6, 21, 107 и внезапно — 47 176 870. Догадаетесь, что будет дальше? Если вы не угадаете, ничего страшного — практически никто не угадывает. Вот первые пять чисел «усердного бобра» — последовательности, тесно связанной с одним из самых известных и сложных вопросов теоретической информатики. Он звучит так: сколько времени может работать машина Тьюринга с некоторым набором правил, пока не остановится. Определение значений чисел «усердного бобра» — сложнейшая задача, которая уже более 60 лет привлекает поклонников как среди профессиональных математиков, так и среди любителей.

https://habr.com/ru/companies/first/articles/973502/

#математика #тьюринг #машина_тьюринга #усердные_бобры

[Перевод] Выразительность против разрешимости: почему «мощные» системы тяжело анализировать

В программировании мы привыкли торговаться временем против памяти, но есть ещё один, менее очевидный, компромисс — между тем, что система в принципе умеет выражать, и тем, что о ней потом вообще можно строго сказать. Машины Тьюринга, PDA и DFA, Rust и Python, SAT и SMT, системы типов, макросы и метапрограммирование — всё это разные точки в одной и той же решётке «выразительность против разрешимости», просто по разным осям. В статье разберемся, почему достаточно «мощные» модели и языки неизбежно становятся плохо анализируемыми, почему это не линейный спектр, а набор пересекающихся измерений, и как этот компромисс проступает в очень практичных вещах — от систем типов и статанализа до архитектурных решений в реальных проектах. Читать разбор

https://habr.com/ru/companies/otus/articles/971020/

#разрешимость_задач #машина_Тьюринга #система_типов_Rust #статический_анализ_кода #модель_вычислений

Зачем Тьюринг изобрёл Redux?

Конечно, он его не изобретал. Но если бы посмотрел сегодня сливы собесов, точно увидел бы в них свои идеи. Ведь есть же фундаментальные идеи за всей этой шелухой про синтаксис mapStateToProps ! Императивное программирование Допустим, вам поручили сделать web проигрыватель. Бизнес ставит задачи, сроки горят. Что делаем? Правильно, берём родной <audio> . решить автоматным программированием

https://habr.com/ru/articles/962876/

#конечный_автомат #машина_тьюринга #state_management

Зачем Тьюринг изобрёл Redux?

Конечно, он его не изобретал. Но если бы посмотрел сегодня сливы собесов, точно увидел бы в них свои идеи. Ведь есть же фундаментальные идеи за всей этой шелухой про синтаксис mapStateToProps ! Императивное программирование Допустим, вам поручили сделать web проигрыватель. Бизнес ставит задачи, сроки горят. Что делаем? Правильно, берём родной <audio> . решить автоматным программированием

https://habr.com/ru/articles/962876/

#конечный_автомат #машина_тьюринга #state_management

Зачем Тьюринг изобрёл Redux?

Конечно, он его не изобретал. Но если бы посмотрел сегодня сливы собесов, точно увидел бы в них свои идеи. Ведь есть же фундаментальные идеи за всей этой шелухой про синтаксис mapStateToProps ! Императивное программирование Допустим, вам поручили сделать web проигрыватель. Бизнес ставит задачи, сроки горят. Что делаем? Правильно, берём родной <audio> . решить автоматным программированием

https://habr.com/ru/articles/962876/

#конечный_автомат #машина_тьюринга #state_management

Зачем Тьюринг изобрёл Redux?

Конечно, он его не изобретал. Но если бы посмотрел сегодня сливы собесов, точно увидел бы в них свои идеи. Ведь есть же фундаментальные идеи за всей этой шелухой про синтаксис mapStateToProps ! Императивное программирование Допустим, вам поручили сделать web проигрыватель. Бизнес ставит задачи, сроки горят. Что делаем? Правильно, берём родной <audio> . решить автоматным программированием

https://habr.com/ru/articles/962876/

#конечный_автомат #машина_тьюринга #state_management

Сверхтьюринговые вычисления и гиперкомпьютеры. Тезис Чёрча-Тьюринга как универсальный предел познания

Как говорил Альберт Эйнштейн, «наиболее необъяснимое во Вселенной – это то, что она объяснима». Но что делает Вселенную познаваемой? Почему работает научный метод? Как вообще прямоходящие кожаные мешки с обезьяньим мозгом могут что-либо узнать о физической реальности, если они всю жизнь проводят в виртуальной реальности своего сознания? Ведь всё, что нам известно о мире – продукты нашего разума. Не означает ли это, что мы никогда не сможем узнать, какова реальность на самом деле? Что мы вообще знаем, если Вселенная на 95% состоит из неведомых тёмных субстанций? Откуда мы знаем, что законы физики универсальны и постижимы человеческим разумом? Где гарантия, что законы физики изотропны в пространстве и однородны во времени? Может, они варьируются от места к месту, изменялись в прошлом или изменятся в будущем? Существует ли вычислительно более мощный компьютер, чем машина Тьюринга? Вычислима ли каждая физическая система? Является ли сама Вселенная вычислительной машиной? Каковы фундаментальные физические и логические ограничения на то, что может быть вычислено и постигнуто? Есть ли вычислительный барьер, который невозможно преодолеть, независимо от того, насколько далеко и какими способами развиваются компьютеры? Или новые типы оборудования, основанные на квантовых, релятивистских или квантово-гравитационных явлениях, могут привести к принципиально новым вычислительным парадигмам и сделать невычислимое вычислимым? В этой статье мы погрузимся в глубины теоретической информатики, чтобы выяснить, каковы фундаментальные пределы вычислимости и возможны ли в нашей Вселенной гиперкомпьютеры.

https://habr.com/ru/articles/961020/

#гипервычисления #гиперкомпьютер #сверхзадачи #тезис_чёрчатьюринга #оракул #машина_тьюринга #машина_времени #агностицизм #скептицизм #вещь_в_себе

Настольные игры для юных программистов и робототехников. Что можно купить в 2025 году?

Научные настольные игры для детей продолжают оставаться достаточно специализированной нишей, балансируя на грани между «обычными» настольными играми и методическими пособиями. Я решил рассказать о наиболее интересных новинках с обучающим уклоном в информатику, программирование и робототехнику, доступных в России в 2025 году, которые или можно купить прямо сейчас или предзаказать.

https://habr.com/ru/articles/940282/

#программирование #робототехника #настольные_игры #образование_детей #битва_големов #машина_тьюринга #МАРИ

Настольные игры для юных программистов и робототехников. Что можно купить в 2025 году?

Научные настольные игры для детей продолжают оставаться достаточно специализированной нишей, балансируя на грани между «обычными» настольными играми и методическими пособиями. Я решил рассказать о наиболее интересных новинках с обучающим уклоном в информатику, программирование и робототехнику, доступных в России в 2025 году, которые или можно купить прямо сейчас или предзаказать.

https://habr.com/ru/articles/940282/

#программирование #робототехника #настольные_игры #образование_детей #битва_големов #машина_тьюринга #МАРИ

Настольные игры для юных программистов и робототехников. Что можно купить в 2025 году?

Научные настольные игры для детей продолжают оставаться достаточно специализированной нишей, балансируя на грани между «обычными» настольными играми и методическими пособиями. Я решил рассказать о наиболее интересных новинках с обучающим уклоном в информатику, программирование и робототехнику, доступных в России в 2025 году, которые или можно купить прямо сейчас или предзаказать.

https://habr.com/ru/articles/940282/

#программирование #робототехника #настольные_игры #образование_детей #битва_големов #машина_тьюринга #МАРИ

Настольные игры для юных программистов и робототехников. Что можно купить в 2025 году?

Научные настольные игры для детей продолжают оставаться достаточно специализированной нишей, балансируя на грани между «обычными» настольными играми и методическими пособиями. Я решил рассказать о наиболее интересных новинках с обучающим уклоном в информатику, программирование и робототехнику, доступных в России в 2025 году, которые или можно купить прямо сейчас или предзаказать.

https://habr.com/ru/articles/940282/

#программирование #робототехника #настольные_игры #образование_детей #битва_големов #машина_тьюринга #МАРИ

Конечный автомат, машина Тьюринга, порождающая грамматика и компьютер: в чём разница

В данной статье мы разъясним вопрос, который, находясь в самой основе теоретического программирования, при этом парадоксальным образом очень часто объясняется неправильно или неполно, причём эти неправильные объяснения даже иногда входят в учебные пособия (по крайней мере, известный китайский чатбот не смог мне правильно ответить на вопрос об отличии машины Тьюринга от конечного автомата, хотя, казалось бы, они приходятся чатботу ближайшими родственниками, и он мог бы изучить область деятельности своих создателей в обучающей выборке). А в конце мы немного пофилософствуем на тему, что же такое программа и что такое семантика.

https://habr.com/ru/articles/926394/

#машина_Тьюринга #конечный_автомат #теория_вычислительных_процессов #формальные_грамматики

Реализм против платонизма. Неполнота Гёделя, неразрешимость Тьюринга и физические основания математики

Многие интеллектуалы склонны называть математику «царицей наук» и преподносить её теоремы как абсолютную истину, полученную чисто логическим дедуктивным выводом безотносительно физической реальности, не опираясь на эмпирические данные. Якобы математические объекты существуют вне пространства-времени, в разуме Бога или в платоновском мире идей, а мы лишь открываем вечные истины: числа и арифметические операции, геометрические фигуры, аксиомы и теоремы, а также правила вывода и доказательства истинности или ложности любых математических утверждений. Говорят, наше сознание имеет прямой доступ к этому миру математических абстракций посредством интуиции – не иначе, как божественного откровения или снисхождения самой истины, открывающейся только тем, кто её достоин. Но в данной статье я собираюсь обосновать прямо противоположную и достаточно крамольную идею, что всё наше математическое знание производно от физического знания, а не наоборот. Знание не имеет гарантий, его невозможно получить одной логикой или интуицией. Знание экспериментально, подвержено ошибкам и не является абсолютной истиной, так как мы изучаем математику на опыте, взаимодействуя с физическими объектами. Поэтому математика ничем не лучше и не «точнее» естественных наук. За такую ересь инквизиторы уже могут приговорить меня к сожжению на костре, но пока этого не произошло, позвольте объяснить и обосновать свою позицию.

https://habr.com/ru/articles/925960/

#основания_математики #платонизм #теория_множеств #теорема_гёделя #проблема_разрешимости #машина_тьюринга #проблема_остановки #тезис_чёрчатьюринга #квантовый_компьютер

Об одном красивом неизвестном решении одной известной задачи

«Каждый из нас лишь выиграет, создавая время от времени «игрушечные» программы с заданными искусственными ограничениями, заставляющими нас до предела напрягать свои способности. Искусство решения мини задач на пределе своих возможностей оттачивает наше умение для реальных задач» Дональд Кнут (с) Как известно, на машине Тьюринга (далее МТ) запрограммировать можно всё, что мы вообще считаем программируемым, но в реальности программы на МТ настолько громоздкие, что МТ редко используется даже в академических примерах. И тем не менее в некоторых отдельных случаях с помощью МТ получается написать небольшую программу, на КДПВ изображена программа из 5 состояний на алфавите из 3 символом. Если вы изучали программирование, то задачу, которую решает эта программа, вы скорее всего встречали. Если я сумел вас заинтересовать, то приглашаю в небольшое приключение по реверс инженирингу МТ. Материал статьи предоставлен Владимиром Пинаевым

https://habr.com/ru/articles/909162/

#машина_тьюринга #алгоритмы

Квантовый панкомпьютерализм против цифровой физики. Всё из бита или всё из кубита?

В этой статье я сравниваю две физические парадигмы, объединённые под общим названием «панкомпьютерализм». Их сторонники сходятся во мнении, что Вселенная представляет собой гигантский компьютер, вычисляющий на микроскопическом уровне все сложные макроскопические структуры, включая жизнь и разум. Однако каким является этот компьютер – классическим или квантовым – остаётся предметом споров. Что фундаментальнее – биты или кубиты? Можно ли вывести законы физики из простейших операций математической логики? Или наоборот, набор доказуемых математических утверждений и вычислимых функций определяется физикой мира, где реализован универсальный компьютер? Являются ли все физические объекты и процессы проявлениями абстрактных математических сущностей? Преобразования физических величин непрерывны и недетерминированы, или они дискретны, вычислимы и могут быть оцифрованы? Если вас давно мучают эти вопросы, пришло время получить на них ответы от Универсального объяснителя.

https://habr.com/ru/articles/880404/

#все_из_бита #панкомпьютеционализм #цифровая_физика #тезис_чёрчатьюринга #проблема_остановки #гипотеза_симуляции #машина_тьюринга #вычислительная_физика #стивен_вольфрам #дэвид_дойч

Т-функция: подключаем логику к UI как к БД

Так, давайте еще раз. Я - Владимир, который в прошлый раз рассказал про то, как сделать классную, цельную и масштабируемую логику для кроссплатформенного приложения в вакууме. Открытым остался вопрос: как ее к UI подключать? Точнее я уже частично отвечал на этот вопрос в двух прошлых статьях, но в этой я хотел бы целенаправленно поговорить именно об этой части того подхода, который я предлагаю. В этой статье я разложу по полочкам само решение, как я к нему пришел и при чем тут Алан Тьюринг. А бонусом покажу как это все масштабируется и оставлю вас размышлять о том, почему мы не додумались до этого раньше (ну за 85 лет уже можно было бы). Утонуть в тексте

https://habr.com/ru/articles/871096/

#программирование #архитектура_приложений #архитектура_по #андроид #разработка #проектирование_по #тьюринг #машина_тьюринга #взаимодействие_с_пользователем

[Перевод] find + mkdir полны по Тьюрингу

Введение Мы покажем, что система, имеющая лишь команды GNU find и mkdir , полна по Тьюрингу. Хорошо известно, что команды sed и awk сами по себе полны по Тьюрингу, но мне не удалось найти информации о Тьюринг-полноте find + mkdir . Доказательство основано на реализации таг-системы . Мы по порядку рассмотрим реализацию цикла, FizzBuzz и таг-системы.

https://habr.com/ru/articles/837280/

#полнота_по_тьюрингу #машина_тьюринга #mkdir #find #gnu #регулярные_выражения #fizzbuzz

[Перевод] find + mkdir полны по Тьюрингу

Введение Мы покажем, что система, имеющая лишь команды GNU find и mkdir , полна по Тьюрингу. Хорошо известно, что команды sed и awk сами по себе полны по Тьюрингу, но мне не удалось найти информации о Тьюринг-полноте find + mkdir . Доказательство основано на реализации таг-системы . Мы по порядку рассмотрим реализацию цикла, FizzBuzz и таг-системы.

https://habr.com/ru/articles/837280/

#полнота_по_тьюрингу #машина_тьюринга #mkdir #find #gnu #регулярные_выражения #fizzbuzz

[Перевод] find + mkdir полны по Тьюрингу

Введение Мы покажем, что система, имеющая лишь команды GNU find и mkdir , полна по Тьюрингу. Хорошо известно, что команды sed и awk сами по себе полны по Тьюрингу, но мне не удалось найти информации о Тьюринг-полноте find + mkdir . Доказательство основано на реализации таг-системы . Мы по порядку рассмотрим реализацию цикла, FizzBuzz и таг-системы.

https://habr.com/ru/articles/837280/

#полнота_по_тьюрингу #машина_тьюринга #mkdir #find #gnu #регулярные_выражения #fizzbuzz

Мета-Переводчики: реальность или фантастика?

Всем Хабр! В этой статье пойдет речь о переводчиках. Но не в привычном (во всяком случае, в IT-мире) понимании, - а с точки зрения математики. Да-да, это редкий случай, когда нас будут интересовать переводчики вне позиции смыслов. Сразу оговорюсь, как это стало чаще заводиться в моих статьях: Создать Мета-Переводчик

https://habr.com/ru/articles/794286/

#переводчик #машина_тьюринга #автоматы #GPT #синтаксис #грамматика #иерархия_Хомского #языки

Мета-Переводчики: реальность или фантастика?

Всем Хабр! В этой статье пойдет речь о переводчиках. Но не в привычном (во всяком случае, в IT-мире) понимании, - а с точки зрения математики. Да-да, это редкий случай, когда нас будут интересовать переводчики вне позиции смыслов. Сразу оговорюсь, как это стало чаще заводиться в моих статьях: Создать Мета-Переводчик

https://habr.com/ru/articles/794286/

#переводчик #машина_тьюринга #автоматы #GPT #синтаксис #грамматика #иерархия_Хомского #языки

От дощечки к компьютеру. Путь от ткачества к ЭВМ

Привет, Хабр! Меня зовут Арина Шахтарина, я — инженер в Сбере, а ещё занимаюсь ткачеством. Сегодня поговорим о том, откуда появились первые компьютеры и разберём одну из версий — путь от ткачества к ЭВМ. Кажется, что компьютеры начали разрабатывать совсем недавно, лет 50-70 назад. Но на самом деле предпосылки к этому были очень давно.

https://habr.com/ru/companies/oleg-bunin/articles/791606/

#эвм #ткацкие_станки #бинарный_код #перфокарты #аналитическая_машина #цикл #программирование #аналоговый_компьютер #машина_тьюринга

От дощечки к компьютеру. Путь от ткачества к ЭВМ

Привет, Хабр! Меня зовут Арина Шахтарина, я — инженер в Сбере, а ещё занимаюсь ткачеством. Сегодня поговорим о том, откуда появились первые компьютеры и разберём одну из версий — путь от ткачества к ЭВМ. Кажется, что компьютеры начали разрабатывать совсем недавно, лет 50-70 назад. Но на самом деле предпосылки к этому были очень давно.

https://habr.com/ru/companies/oleg-bunin/articles/791606/

#эвм #ткацкие_станки #бинарный_код #перфокарты #аналитическая_машина #цикл #программирование #аналоговый_компьютер #машина_тьюринга

О мат-нотациях и Машинах Тьюринга

Всем Хабр! Совсем недавно открыл для себя некоторые прелести Латеха и начал активно в нем работать. По ходу дела возникали разные интересные мысли, которыми здесь и поделюсь. В статье пойдет речь о моих небольших дополнениях к мат-нотациям, которых мне не хватало, а также о том, как построить Машину Тьюринга с помощью оных. Сразу оговорюсь. Да, я, конечно, знаю о том, что есть Вольфрам. Да, он содержит большую часть того, о чем пойдет речь, и еще тонну всякого-разного, чего мне не постичь за всю мою жизнь. Поэтому из первого своего прототипа этой статьи я возьму лишь самое интересное и попытаюсь рассказать так, чтобы не звучало как изобретение велосипеда. Прошу не судить строго, ибо я профан. Я лишь делюсь тем, как было бы удобно мне, возможно, кому-то тоже окажется полезным. В том числе я пишу статью, не столько, чтобы что-то рассказать, сколько чтобы быть разумно критикуемым в комментах (вместо пустых дизов). Построить МТ

https://habr.com/ru/articles/790246/

#МТ #машина_тьюринга #Машина_Беббиджа #компиляторы #интерпретаторы #нотации #полнота_по_тьюрингу #тьюрингполнота

О мат-нотациях и Машинах Тьюринга

Всем Хабр! Совсем недавно открыл для себя некоторые прелести Латеха и начал активно в нем работать. По ходу дела возникали разные интересные мысли, которыми здесь и поделюсь. В статье пойдет речь о моих небольших дополнениях к мат-нотациям, которых мне не хватало, а также о том, как построить Машину Тьюринга с помощью оных. Сразу оговорюсь. Да, я, конечно, знаю о том, что есть Вольфрам. Да, он содержит большую часть того, о чем пойдет речь, и еще тонну всякого-разного, чего мне не постичь за всю мою жизнь. Поэтому из первого своего прототипа этой статьи я возьму лишь самое интересное и попытаюсь рассказать так, чтобы не звучало как изобретение велосипеда. Прошу не судить строго, ибо я профан. Я лишь делюсь тем, как было бы удобно мне, возможно, кому-то тоже окажется полезным. В том числе я пишу статью, не столько, чтобы что-то рассказать, сколько чтобы быть разумно критикуемым в комментах (вместо пустых дизов). Построить МТ

https://habr.com/ru/articles/790246/

#МТ #машина_тьюринга #Машина_Беббиджа #компиляторы #интерпретаторы #нотации #полнота_по_тьюрингу #тьюрингполнота