The equivalence and learning of probabilistic automata
- 1 January 1989
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE) in 30th Annual Symposium on Foundations of Computer Science
- p. 268-273
- https://doi.org/10.1109/sfcs.1989.63489
Abstract
It is proved that the equivalence problem for probabilistic automata is solvable in time O((n/sub 1/+n/sub 2/)/sup 4/), where n/sub 1/ and n/sub 2/ are numbers of states of two given probabilistic automata. This result improves the best previous upper bound of coNP. The algorithm has some interesting applications, for example, to the covering and equivalence problems for uninitiated probabilistic automata, the equivalence and containment problems for unambiguous nondeterministic finite automata, and the path-equivalence problem for nondeterministic finite automata. Using the same technique, a polynomial-time algorithm for learning probabilistic automata is developed. The learning protocol is learning by means of queries.Keywords
This publication has 9 references indexed in Scilit:
- The minimum consistent DFA problem cannot be approximated within any polynomialPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- On the Equivalence and Containment Problems for Unambiguous Regular Expressions, Regular Grammars and Finite AutomataSIAM Journal on Computing, 1985
- Inferring the structure of a Markov Chain from its outputPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1985
- A theory of the learnableCommunications of the ACM, 1984
- A new polynomial-time algorithm for linear programmingPublished by Association for Computing Machinery (ACM) ,1984
- Polynomial algorithms in linear programmingUSSR Computational Mathematics and Mathematical Physics, 1980
- On the complexity of minimum inference of regular setsInformation and Control, 1978
- Complexity of automaton identification from given dataInformation and Control, 1978
- Probabilistic automataInformation and Control, 1963