Автомат над деревьями: различия между версиями
Glk (обсуждение | вклад) (Создана новая страница размером '''Автомат над деревьями''' (Tree automation) - обобщение понятия ''конечного автомат...) |
KVN (обсуждение | вклад) |
||
| (не показаны 3 промежуточные версии 1 участника) | |||
| Строка 1: | Строка 1: | ||
'''Автомат над деревьями''' (Tree automation) | '''Автомат над деревьями''' ([[Tree automation]]) — обобщение понятия ''[[конечный автомат|конечного автомата]]'' применительно к [[дерево|деревьям]], отличным от [[цепочка|цепочек]]. Существуют две версии такого автомата. Автомат нисходящего типа начинает работу с [[корень|корня]] дерева; прочитав символ в [[вершина|вершине]], он соответствующим образом изменяет состояние и разделяется на <math>d</math> автоматов для обработки <math>d</math> [[потомок вершины|вершин-потомков]] по отдельности. Автомат восходящего типа начинает с нескольких самовозбуждений — по | ||
обобщение понятия ''конечного автомата'' применительно к деревьям, | одному на каждый [[лист]] дерева. По завершении обработки всех [[поддерево|поддеревьев]] конкретной вершины автоматы, которые обрабатывают эти поддеревья, заменяются одним автоматом данной вершины. Его состояние определяется символом в этой вершине и конечными состояниями автоматов-потомков. Полученный автомат сам теперь может использоваться при дальнейшем объединении поддеревьев более высоких вершин. | ||
отличным от цепочек. Существуют две версии такого автомата. Автомат | |||
нисходящего типа начинает работу с корня дерева; прочитав символ в | |||
вершине, он соответствующим образом изменяет состояние и разделяется | |||
на <math>d</math> автоматов для обработки <math>d</math> вершин-потомков по отдельности. | |||
Автомат восходящего типа начинает с нескольких самовозбуждений | |||
одному на каждый лист дерева. По завершении обработки всех поддеревьев | |||
конкретной вершины автоматы, которые обрабатывают эти поддеревья, | |||
заменяются одним автоматом данной вершины. Его состояние определяется | |||
символом в этой вершине и конечными состояниями автоматов-потомков. | |||
Полученный автомат сам теперь может использоваться при дальнейшем | |||
объединении поддеревьев более высоких вершин. | |||
==Литература== | ==Литература== | ||
[ | |||
* Толковый словарь по вычислительным системам. — М.: Машиностроение, 1991. | |||
[[Категория:Основные термины]] | |||
[[Категория:Преобразование программ]] | |||
[[Категория:Русские термины]] | |||
[[Категория:Теория вычислений]] | |||
[[Категория:Теория программирования]] | |||
Текущая версия от 20:28, 26 декабря 2024
Автомат над деревьями (Tree automation) — обобщение понятия конечного автомата применительно к деревьям, отличным от цепочек. Существуют две версии такого автомата. Автомат нисходящего типа начинает работу с корня дерева; прочитав символ в вершине, он соответствующим образом изменяет состояние и разделяется на [math]\displaystyle{ d }[/math] автоматов для обработки [math]\displaystyle{ d }[/math] вершин-потомков по отдельности. Автомат восходящего типа начинает с нескольких самовозбуждений — по одному на каждый лист дерева. По завершении обработки всех поддеревьев конкретной вершины автоматы, которые обрабатывают эти поддеревья, заменяются одним автоматом данной вершины. Его состояние определяется символом в этой вершине и конечными состояниями автоматов-потомков. Полученный автомат сам теперь может использоваться при дальнейшем объединении поддеревьев более высоких вершин.
Литература
- Толковый словарь по вычислительным системам. — М.: Машиностроение, 1991.