Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs. (Q5089287): Difference between revisions
From MaRDI portal
Latest revision as of 09:03, 30 July 2024
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