Автомат над деревьями: различия между версиями

'''Автомат над деревьями''' ([[Tree automation]]) - обобщение понятия ''[[конечный автомат|конечного автомата]]'' применительно к [[дерево|деревьям]], отличным от [[цепочка|цепочек]]. Существуют две версии такого автомата. Автомат нисходящего типа начинает работу с [[корень|корня]] дерева; прочитав символ в [[вершина|вершине]], он соответствующим образом изменяет состояние и разделяется на <math>d</math> автоматов для обработки <math>d</math> [[потомок вершины|вершин-потомков]] по отдельности. Автомат восходящего типа начинает с нескольких самовозбуждений --- по