Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
We study caterpillar tree automata that are restricted to enter any subtree at most one time (or k times). We show that, somewhat surprisingly, the deterministic one-visit automata can already, for instance, evaluate trees where the nodes represent some non-associative operations. We show that there exist regular tree languages that cannot be accepted by a one-visit automaton, thus proving a weakened form of a conjecture of Brüggemann-Klein and Wood. We establish that the k-visit property is decidable.
| Язык оригинала | английский |
|---|---|
| Страницы (с-по) | 361-375 |
| Число страниц | 15 |
| Журнал | Fundamenta Informaticae |
| Том | 52 |
| Номер выпуска | 4 |
| Состояние | Опубликовано - 1 окт 2002 |
| Опубликовано для внешнего пользования | Да |
ID: 41145177