Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs. (Q5089287)
From MaRDI portal
scientific article; zbMATH DE number 7559478
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs. |
scientific article; zbMATH DE number 7559478 |
Statements
18 July 2022
0 references
probabilistic finite automata
0 references
cutpoint isolation problem
0 references
letter-bounded context-free languages
0 references
0 references
0 references
Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs. (English)
0 references
