Если автомат с магазинной памятью имеет ровно одно начальное состояние и все переходы этого автомата попарно несовместны, то его называют
Если в конечном автомате имеются несколько переходов с общим началом и общим концом, то такие переходы называются
Синтаксическим анализом называют
Обращением или зеркальным образом называют
Неотрицательные целые числа называют
Два конечных автомата называют эквивалентными, если
Детерминированным контекстно-свободным языком называют
При определенных условиях линейно ограниченным автоматом называют