Пересечение автоматных языков дает в итоге
Алгоритм, позволяющий определить, является ли пустым множеством пересечение языков грамматик
Класс автоматных языков замкнут относительно
Класс автоматных языков замкнут относительно
Относительно дополнения и пересечения класс автоматных языков
Свойства замкнутости класса всех автоматных языков
Свойства замкнутости класса всех автоматных языков используют
Пересечение языков является непустым тогда и только тогда, когда постовская система соответствия
Класс всех автоматных языков относительно взятия гомоморфного образа
Использование свойств замкнутости класса всех автоматных языков, как достаточных условий автоматности