A note on deciding the controllability of a language K with respect to a language L (Q5288788)
From MaRDI portal
scientific article; zbMATH DE number 270104
Language | Label | Description | Also known as |
---|---|---|---|
English | A note on deciding the controllability of a language K with respect to a language L |
scientific article; zbMATH DE number 270104 |
Statements
A note on deciding the controllability of a language K with respect to a language L (English)
0 references
22 August 1993
0 references
controllability of a language
0 references
plant automaton
0 references
decidability
0 references
Petri net reachability problem
0 references