Finite tree automata with cost functions (Q1325851)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finite tree automata with cost functions |
scientific article |
Statements
Finite tree automata with cost functions (English)
0 references
1994
0 references
finite tree automata
0 references
cost automaton
0 references
arctical semiring
0 references
semiring of nonnegative integers
0 references
tropical semiring
0 references
semiring of finite subsets of nonnegative integers
0 references
decidability of boundedness
0 references
cost functions
0 references
