Finite tree automata with cost functions (Q1325851)
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: Finite tree automata with cost functions |
scientific article; zbMATH DE number 567729
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Finite tree automata with cost functions |
scientific article; zbMATH DE number 567729 |
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
0.87610507
0 references
0.8741788
0 references
0.8740956
0 references
0 references
