Publication | Closed Access
Mappings induced by PGSM-mappings and some recursively unsolvable problems of finite probabilistic automata
23
Citations
10
References
1969
Year
Unsolvable ProblemsLogical AutomatonEngineeringAutomated ReasoningFormal MethodsAutomaton NetworkComputational ComplexityAutomaton OperationTree AutomatonComputer ScienceDiscrete MathematicsFinite-state SystemFormal VerificationFinite Probabilistic Automata
| Year | Citations | |
|---|---|---|
Page 1
Page 1