Mappings induced by PGSM-mappings and some recursively unsolvable problems of finite probabilistic automata - Concepedia

Concepedia

Publication | Closed Access

Mappings induced by PGSM-mappings and some recursively unsolvable problems of finite probabilistic automata

23

Citations

10

References

1969

Year

Masakazu Nasu, Namio Honda

Information and Control

Unsolvable ProblemsLogical AutomatonEngineeringAutomated ReasoningFormal MethodsAutomaton NetworkComputational ComplexityAutomaton OperationTree AutomatonComputer ScienceDiscrete MathematicsFinite-state SystemFormal VerificationFinite Probabilistic Automata

References

	Year	Citations

Page 1