LINUX.ORG.RU

История изменений

Исправление proud_anon, (текущая версия) :

Во первых, эта длина все равно ограничена длиной входной строки

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

во-вторых, длина этой подстроки не имеет никакого отношения к состоянию автомата.

Ну и как же будет выглядеть конечный автомат, распознающий (a+)b\1, если количество символов a до b должно быть строго таким же, что и после b?

На этом я этот спор заканчиваю. Во-первых, оффтопик, во-вторых, мне кажется, что ты очередная реинкарнация анонiмуса.

Исходная версия proud_anon, :

Во первых, эта длина все равно ограничена длиной входной строки

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

во-вторых, длина этой подстроки не имеет никакого отношения к состоянию автомата.

Ну и как же будет выглядеть конечный автомат, распознающий (a+)b\1, если количество символов a до b должно быть строго таким же, что и после b?

На этом я этот спор заканчиваю. Во-первых, оффтопик, во-вторых, мне кажется, что ты очередная реинкарнация анонiмуса.