Pushdown tree automata (Q3036724)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Pushdown tree automata |
scientific article; zbMATH DE number 3831313
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Pushdown tree automata |
scientific article; zbMATH DE number 3831313 |
Statements
Pushdown tree automata (English)
0 references
1983
0 references
topdown pushdown tree automata
0 references
deterministic tree languages
0 references
indexed languages
0 references
context-free tree languages
0 references
Greibach tree languages
0 references
