#теория_вычислительных_процессов — Public Fediverse posts

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

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

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

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