В автомате с магазинной памятью присутствует
Если автомат с магазинной памятью имеет ровно одно начальное состояние и все переходы этого автомата попарно несовместны, то его называют
Речь идет о конечном синтаксическом моноиде только тогда, когда
Параллельными называют переходы
Если две грамматики порождают один и тот же язык, то они называются
Состояния полного детерминированного конечного автомата называются различными, если существует слово, которое их
Индукцией по сумме избытков всех переходов доказывается
Полный детерминированный конечный автомат не должен содержать переходов с метками длины
При помощи метода индукции по сумме избытков всех переходов можно определить
Замена в метках переходов пустое слово на 1, а каждое непустое слово - на произведение его букв приведет к