Size: a a a

2021 February 18

M

MrSmith in // CIPHERNET
источник

M

MrSmith in // CIPHERNET
Надо пилить курс свой
источник

M

MrSmith in // CIPHERNET
Снова бан шоль хочешь
источник

H

Hirrolot in // CIPHERNET
MrSmith
А многие думают что Хомский это про языки
Классификация хомского про соответствие языков абстрактным машинам
источник

H

Hirrolot in // CIPHERNET
Как покакалось?
источник

H

Hirrolot in // CIPHERNET
А, вижу
источник

M

MrSmith in // CIPHERNET
Hirrolot
Классификация хомского про соответствие языков абстрактным машинам
Собака
источник

H

Hirrolot in // CIPHERNET
MrSmith
Собака
?
источник

M

MrSmith in // CIPHERNET
Ну так верно тоже
источник

M

MrSmith in // CIPHERNET
Глубже смотришь наверное
источник

H

Hirrolot in // CIPHERNET
Я вообще тут подумал что грамматики — это программы
источник

H

Hirrolot in // CIPHERNET
Ну вот регулярные языки описывают конечные автоматы
источник

H

Hirrolot in // CIPHERNET
И так далее, там последняя инстанция машина тьюринга
источник

M

MrSmith in // CIPHERNET
Будет точней высрать даже так, классификация Хомского это про соответствие метаграмматике абстрактной машине на которой она может быть выполнена
источник

M

MrSmith in // CIPHERNET
Но это не точно
источник

H

Hirrolot in // CIPHERNET
MrSmith
Будет точней высрать даже так, классификация Хомского это про соответствие метаграмматике абстрактной машине на которой она может быть выполнена
Да
источник

M

MrSmith in // CIPHERNET
Но вообще не точно, не факт что любая грамматика соответствующая какой либо машине больше не имеет специальных свойств
источник

H

Hirrolot in // CIPHERNET
Это факт, посмотри док-ва
источник

M

MrSmith in // CIPHERNET
Доква там все о достаточности
источник

H

Hirrolot in // CIPHERNET
Нет, о эквивалентности
источник