Loops and Overloops for Tree Walking Automata (Q5200062)
From MaRDI portal
scientific article; zbMATH DE number 5934389
Language | Label | Description | Also known as |
---|---|---|---|
English | Loops and Overloops for Tree Walking Automata |
scientific article; zbMATH DE number 5934389 |
Statements
Loops and Overloops for Tree Walking Automata (English)
0 references
29 July 2011
0 references
tree walking automata (TWA)
0 references
loops
0 references
overloops
0 references
membership
0 references
emptiness
0 references
approximation
0 references