Аноним

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

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