The Bridge Between Regular Cost Functions and Omega-Regular Languages (Q4598268)
From MaRDI portal
scientific article; zbMATH DE number 6820315
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Bridge Between Regular Cost Functions and Omega-Regular Languages |
scientific article; zbMATH DE number 6820315 |
Statements
19 December 2017
0 references
theory of regular cost functions
0 references
automata with counters
0 references
cost-automata
0 references
quantitative extensions of automata
0 references
determinisation of automata
0 references
The Bridge Between Regular Cost Functions and Omega-Regular Languages (English)
0 references
